bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Use ObligationCtxt::new_in_snapshot in satisfied_from_param_env

Browse source
This commit is contained in:
Michael Goulet 2023-01-30 19:04:55 +00:00
parent f55b0022db
commit 343a359109
3 changed files with 57 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_trait_selection/src/traits/const_evaluatable.rs
View file

@ -219,7 +219,7 @@ fn satisfied_from_param_env<'tcx>(
}
if let Some(Ok(c)) = single_match {
let ocx = ObligationCtxt::new(infcx);
let ocx = ObligationCtxt::new_in_snapshot(infcx);
assert!(ocx.eq(&ObligationCause::dummy(), param_env, c.ty(), ct.ty()).is_ok());
assert!(ocx.eq(&ObligationCause::dummy(), param_env, c, ct).is_ok());
assert!(ocx.select_all_or_error().is_empty());