Rollup merge of #106995 - lukas-code:align_offset_assembly_test, r=cuviper

[rust.git] / compiler / rustc_hir_analysis / src / variance / constraints.rs

diff --git a/compiler/rustc_hir_analysis/src/variance/constraints.rs b/compiler/rustc_hir_analysis/src/variance/constraints.rs
index 31806ff6766ea976b96a1fa5556a8007c8a835e8..5e4d82b6fd5697ce31b095b0431a804f67d383f5 100644 (file)
--- a/compiler/rustc_hir_analysis/src/variance/constraints.rs
+++ b/compiler/rustc_hir_analysis/src/variance/constraints.rs
@@ -249,14 +249,10 @@ fn add_constraints_from_ty(
                 self.add_constraints_from_substs(current, def.did(), substs, variance);
             }
 
-            ty::Projection(ref data) => {
+            ty::Alias(_, ref data) => {
                 self.add_constraints_from_invariant_substs(current, data.substs, variance);
             }
 
-            ty::Opaque(ty::OpaqueTy { def_id: _, substs }) => {
-                self.add_constraints_from_invariant_substs(current, substs, variance);
-            }
-
             ty::Dynamic(data, r, _) => {
                 // The type `Foo<T+'a>` is contravariant w/r/t `'a`:
                 let contra = self.contravariant(variance);