Remove redundant match arm for RPITITs

spastorino · spastorino · commit 9547302677f1 · 2023-07-06T17:24:12.000-03:00
diff --git a/compiler/rustc_hir_analysis/src/variance/mod.rs b/compiler/rustc_hir_analysis/src/variance/mod.rs
@@ -122,13 +122,6 @@ fn variance_of_opaque(tcx: TyCtxt<'_>, item_def_id: LocalDefId) -> &[ty::Varianc
                 {
                     self.visit_opaque(*def_id, substs)
                 }
-                // FIXME(-Zlower-impl-trait-in-trait-to-assoc-ty) check whether this is necessary
-                // at all for RPITITs.
-                ty::Alias(_, ty::AliasTy { def_id, substs, .. })
-                    if self.tcx.is_impl_trait_in_trait(*def_id) =>
-                {
-                    self.visit_opaque(*def_id, substs)
-                }
                 _ => t.super_visit_with(self),
             }
         }

Original file line number	Diff line number	Diff line change
`@@ -122,13 +122,6 @@ fn variance_of_opaque(tcx: TyCtxt<'_>, item_def_id: LocalDefId) -> &[ty::Varianc`
`122`	`122`	`{`
`123`	`123`	`self.visit_opaque(*def_id, substs)`
`124`	`124`	`}`
`125`		`- // FIXME(-Zlower-impl-trait-in-trait-to-assoc-ty) check whether this is necessary`
`126`		`- // at all for RPITITs.`
`127`		`- ty::Alias(_, ty::AliasTy { def_id, substs, .. })`
`128`		`- if self.tcx.is_impl_trait_in_trait(*def_id) =>`
`129`		`- {`
`130`		`- self.visit_opaque(*def_id, substs)`
`131`		`- }`
`132`	`125`	`_ => t.super_visit_with(self),`
`133`	`126`	`}`
`134`	`127`	`}`