bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

normalize if-eq bounds before testing

Browse source 
Hat-tip: aliemjay
This commit is contained in:
Niko Matsakis 2022-06-23 16:53:44 -04:00
parent e6b630c5b1
commit c3137d9e8c
2 changed files with 39 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
compiler/rustc_infer/src/infer/lexical_region_resolve/mod.rs
View file

@ -823,10 +823,11 @@ impl<'cx, 'tcx> LexicalResolver<'cx, 'tcx> {
) -> bool {
match bound {
VerifyBound::IfEq(verify_if_eq_b) => {
let verify_if_eq_b = var_values.normalize(self.region_rels.tcx, *verify_if_eq_b);
match test_type_match::extract_verify_if_eq(
self.tcx(),
self.param_env,
verify_if_eq_b,
&verify_if_eq_b,
generic_ty,
) {
Some(r) => {