nyaaaa

Author: lcnr

compiler/rustc_next_trait_solver/src/solve/eval_ctxt/canonical.rs

@@ -371,7 +371,9 @@ where
                 if let Some(v) = opt_values[ty::BoundVar::from_usize(index)] {
                     if let CanonicalVarKind::Ty { universe: _, sub_root } = info.kind {
                         if let Some(prev) = var_values.get(sub_root.as_usize()) {
-                            match (v.expect_ty().kind(), prev.expect_ty().kind()) {
+                            let v = delegate.shallow_resolve(v.expect_ty());
+                            let prev = delegate.shallow_resolve(prev.expect_ty());
+                            match (v.kind(), prev.kind()) {
                                 (ty::Infer(ty::TyVar(vid)), ty::Infer(ty::TyVar(sub_root))) => {
                                     delegate.sub_ty_vids_raw(vid, sub_root)
                                 }