about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/variance/constraints.rs
diff options
context:
space:
mode:
authorMichael Goulet <michael@errs.io>2022-11-27 17:52:17 +0000
committerMichael Goulet <michael@errs.io>2022-12-13 17:48:55 +0000
commit96cb18e864eb31f164fdfee5cb011d3576415b5d (patch)
treeba2af016af5496f3086b0df0f3abee0fdedfd48b /compiler/rustc_hir_analysis/src/variance/constraints.rs
parent61adaf81873101587ffff4e1b8671acbc33d3df1 (diff)
downloadrust-96cb18e864eb31f164fdfee5cb011d3576415b5d.tar.gz
rust-96cb18e864eb31f164fdfee5cb011d3576415b5d.zip
Combine identical alias arms
Diffstat (limited to 'compiler/rustc_hir_analysis/src/variance/constraints.rs')
-rw-r--r--compiler/rustc_hir_analysis/src/variance/constraints.rs6
1 files changed, 1 insertions, 5 deletions
diff --git a/compiler/rustc_hir_analysis/src/variance/constraints.rs b/compiler/rustc_hir_analysis/src/variance/constraints.rs
index 75bb7abf0ed..5e4d82b6fd5 100644
--- a/compiler/rustc_hir_analysis/src/variance/constraints.rs
+++ b/compiler/rustc_hir_analysis/src/variance/constraints.rs
@@ -249,14 +249,10 @@ impl<'a, 'tcx> ConstraintContext<'a, 'tcx> {
                 self.add_constraints_from_substs(current, def.did(), substs, variance);
             }
 
-            ty::Alias(ty::Projection, ref data) => {
+            ty::Alias(_, ref data) => {
                 self.add_constraints_from_invariant_substs(current, data.substs, variance);
             }
 
-            ty::Alias(ty::Opaque, ty::AliasTy { 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);