rust/compiler/rustc_trait_selection/src/solve
bors ae4d89dfb5 Auto merge of #106742 - compiler-errors:new-solver-make-it-not-ice, r=lcnr
Implement some FIXME methods in the new trait solver

Implement just enough of the solver's response logic to make it not ICE.

Also, fix a bug with `no_bound_vars` call failing due to canonical bound vars.

r? `@lcnr`
2023-01-15 15:07:27 +00:00
..
assembly.rs Implement dummy query responses and a jank instantiate 2023-01-12 21:01:34 +00:00
cache.rs Implement dummy query responses and a jank instantiate 2023-01-12 21:01:34 +00:00
fulfill.rs Implement dummy query responses and a jank instantiate 2023-01-12 21:01:34 +00:00
infcx_ext.rs implement the skeleton of the updated trait solver 2022-12-19 16:46:17 +00:00
mod.rs HACK: Handle escaping bound vars from the canonical query 2023-01-12 21:01:34 +00:00
overflow.rs Implement dummy query responses and a jank instantiate 2023-01-12 21:01:34 +00:00
project_goals.rs change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_ref query; add EarlyBinder to impl_trait_ref in metadata 2023-01-14 00:29:56 -07:00
trait_goals.rs change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_ref query; add EarlyBinder to impl_trait_ref in metadata 2023-01-14 00:29:56 -07:00