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

add assert

Browse Source
This commit is contained in:
Boxy 2023-03-17 13:37:47 +00:00
parent ee31e5fc57
commit ea08d3a47c
1 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -78,15 +78,22 @@ impl<'tcx> InferCtxtEvalExt<'tcx> for InferCtxt<'tcx> {
) -> Result<(bool, Certainty), NoSolution> { ) -> Result<(bool, Certainty), NoSolution> {
let mut search_graph = search_graph::SearchGraph::new(self.tcx); let mut search_graph = search_graph::SearchGraph::new(self.tcx);
let result = EvalCtxt { let mut ecx = EvalCtxt {
search_graph: &mut search_graph, search_graph: &mut search_graph,
infcx: self, infcx: self,
// Only relevant when canonicalizing the response. // Only relevant when canonicalizing the response.
max_input_universe: ty::UniverseIndex::ROOT, max_input_universe: ty::UniverseIndex::ROOT,
var_values: CanonicalVarValues::dummy(), var_values: CanonicalVarValues::dummy(),
nested_goals: NestedGoals::new(), nested_goals: NestedGoals::new(),
};
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"
);
} }
.evaluate_goal(IsNormalizesToHack::No, goal);
assert!(search_graph.is_empty()); assert!(search_graph.is_empty());
result result