bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

exhaustively destructure external constraints

Browse source
This commit is contained in:
lcnr 2024-07-09 09:10:19 +02:00
parent 9af6fee87d
commit 7097dbc50c
1 changed files with 11 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

14
compiler/rustc_next_trait_solver/src/solve/mod.rs
View file

@ -48,12 +48,20 @@ enum GoalEvaluationKind {
Nested, Nested,
} }
// FIXME(trait-system-refactor-initiative#117): we don't detect whether a response
// ended up pulling down any universes.
fn has_no_inference_or_external_constraints<I: Interner>( fn has_no_inference_or_external_constraints<I: Interner>(
response: ty::Canonical<I, Response<I>>, response: ty::Canonical<I, Response<I>>,
) -> bool { ) -> bool {
response.value.external_constraints.region_constraints.is_empty() let ExternalConstraintsData {
&& response.value.var_values.is_identity() ref region_constraints,
&& response.value.external_constraints.opaque_types.is_empty() ref opaque_types,
ref normalization_nested_goals,
} = *response.value.external_constraints;
response.value.var_values.is_identity()
&& region_constraints.is_empty()
&& opaque_types.is_empty()
&& normalization_nested_goals.is_empty()
} }
impl<'a, D, I> EvalCtxt<'a, D> impl<'a, D, I> EvalCtxt<'a, D>