Make enum variant paths induce trait object lifetime defaults in the enum path segment

Author: fmease

compiler/rustc_hir_analysis/src/collect/resolve_bound_vars.rs

@@ -1691,7 +1691,9 @@ impl<'a, 'tcx> BoundVarContext<'a, 'tcx> {
         // which requires object lifetime defaults.
         let type_def_id = match res {
             Res::Def(DefKind::AssocTy, def_id) if depth == 1 => Some(self.tcx.parent(def_id)),
-            Res::Def(DefKind::Variant, def_id) if depth == 0 => Some(self.tcx.parent(def_id)),
+            Res::Def(DefKind::Variant, def_id) if depth == 0 || depth == 1 => {
+                Some(self.tcx.parent(def_id))
+            }
             Res::Def(
                 DefKind::Struct
                 | DefKind::Union

tests/ui/object-lifetime/object-lifetime-default-enum-variant.rs

@@ -0,0 +1,19 @@
+//@ check-pass
+
+enum Enum<'a, T: ?Sized + 'a> {
+    Variant,
+
+    Carry(&'a T),
+}
+
+fn scope<'any>() {
+    // We elaborate `dyn Trait` to `dyn Trait + 'any` due to bound `'a` on `T`.
+    let _: Enum<'_, dyn Trait + 'any> = Enum::Variant::<'any, dyn Trait> {};
+
+    // Similarly here.
+    let _: Enum<'_, dyn Trait + 'any> = Enum::<'any, dyn Trait>::Variant {};
+}
+
+trait Trait {}
+
+fn main() {}