mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix bad assertion

Browse Source
This commit is contained in:
Boxy 2023-03-17 14:40:16 +00:00
parent e624ef4d64
commit 9df35a5050
2 changed files with 4 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
compiler/rustc_trait_selection/src/solve/canonical/mod.rs
View File

@ -55,13 +55,6 @@ pub(super) fn evaluate_added_goals_and_make_canonical_response(
let goals_certainty = self.try_evaluate_added_goals()?;
let certainty = certainty.unify_and(goals_certainty);
if let Certainty::Yes = certainty {
assert!(
self.nested_goals.is_empty(),
"Cannot be certain of query response if unevaluated goals exist"
);
}
let external_constraints = self.compute_external_query_constraints()?;
let response = Response { var_values: self.var_values, external_constraints, certainty };

4
compiler/rustc_trait_selection/src/solve/mod.rs
View File

@ -88,12 +88,10 @@ fn evaluate_root_goal(
};
let result = ecx.evaluate_goal(IsNormalizesToHack::No, goal);
if let Ok((_, Certainty::Yes)) = result {
assert!(
ecx.nested_goals.is_empty(),
"Cannot be certain of query response if unevaluated goals exist"
"root `EvalCtxt` should not have any goals added to it"
);
}
assert!(search_graph.is_empty());
result