Test elided-lifetimes-in-paths outside of function signatures

Author: shepmaster

tests/ui/lifetimes/elided-lifetimes-in-type-paths.rs

@@ -0,0 +1,83 @@
+#![deny(elided_lifetimes_in_paths)]
+
+// Most of the time, we focus on elided lifetimes in function
+// signatures, but they can also appear in other places! The original
+// version of this lint handled all these cases in one location, but
+// it's desired that the one lint actually be multiple.
+
+struct ContainsLifetime<'a>(&'a u8);
+
+impl<'a> ContainsLifetime<'a> {
+    fn use_it() {}
+}
+
+struct ContainsLifetimeAndType<'a, T>(&'a T);
+
+impl<'a, T> ContainsLifetimeAndType<'a, T> {
+    fn use_it() {}
+}
+
+fn use_via_turbofish<T>() {}
+
+trait UseViaTrait {
+    fn use_it() {}
+}
+
+impl UseViaTrait for ContainsLifetime<'_> {}
+
+trait TraitWithLifetime<'a> {
+    fn use_it() {}
+}
+
+impl<'a> TraitWithLifetime<'a> for u8 {}
+
+enum EnumWithType<T> {
+    VariantStructLike { v: T },
+    VariantTupleLike(T),
+    VariantUnit,
+}
+
+type TypeAliasWithLifetime<'a> = EnumWithType<&'a u8>;
+
+// ==========
+
+static USE_VIA_STATIC: ContainsLifetime = ContainsLifetime(&42);
+//~^ ERROR hidden lifetime parameters
+
+fn main() {
+    use_via_turbofish::<ContainsLifetime>();
+    //~^ ERROR hidden lifetime parameters
+
+    let _use_via_binding: ContainsLifetime;
+    //~^ ERROR hidden lifetime parameters
+
+    <ContainsLifetime as UseViaTrait>::use_it();
+    //~^ ERROR hidden lifetime parameters
+
+    <ContainsLifetime>::use_it();
+    //~^ ERROR hidden lifetime parameters
+
+    ContainsLifetime::use_it();
+
+    ContainsLifetimeAndType::<u8>::use_it();
+
+    <u8 as TraitWithLifetime>::use_it();
+}
+
+impl TypeAliasWithLifetime<'_> {
+    fn use_via_match(self) {
+        match self {
+            TypeAliasWithLifetime::VariantStructLike { .. } => (),
+            TypeAliasWithLifetime::VariantTupleLike(_) => (),
+            TypeAliasWithLifetime::VariantUnit => (),
+        }
+    }
+
+    fn use_via_create(v: u8) -> Self {
+        match v {
+            0 => TypeAliasWithLifetime::VariantStructLike { v: &42 },
+            1 => TypeAliasWithLifetime::VariantTupleLike(&42),
+            _ => TypeAliasWithLifetime::VariantUnit,
+        }
+    }
+}

tests/ui/lifetimes/elided-lifetimes-in-type-paths.stderr

@@ -0,0 +1,62 @@
+error: hidden lifetime parameters in types are deprecated
+  --> $DIR/elided-lifetimes-in-type-paths.rs:44:24
+   |
+LL | static USE_VIA_STATIC: ContainsLifetime = ContainsLifetime(&42);
+   |                        ^^^^^^^^^^^^^^^^ expected lifetime parameter
+   |
+note: the lint level is defined here
+  --> $DIR/elided-lifetimes-in-type-paths.rs:1:9
+   |
+LL | #![deny(elided_lifetimes_in_paths)]
+   |         ^^^^^^^^^^^^^^^^^^^^^^^^^
+help: indicate the anonymous lifetime
+   |
+LL | static USE_VIA_STATIC: ContainsLifetime<'_> = ContainsLifetime(&42);
+   |                                        ++++
+
+error: hidden lifetime parameters in types are deprecated
+  --> $DIR/elided-lifetimes-in-type-paths.rs:48:25
+   |
+LL |     use_via_turbofish::<ContainsLifetime>();
+   |                         ^^^^^^^^^^^^^^^^ expected lifetime parameter
+   |
+help: indicate the anonymous lifetime
+   |
+LL |     use_via_turbofish::<ContainsLifetime<'_>>();
+   |                                         ++++
+
+error: hidden lifetime parameters in types are deprecated
+  --> $DIR/elided-lifetimes-in-type-paths.rs:51:27
+   |
+LL |     let _use_via_binding: ContainsLifetime;
+   |                           ^^^^^^^^^^^^^^^^ expected lifetime parameter
+   |
+help: indicate the anonymous lifetime
+   |
+LL |     let _use_via_binding: ContainsLifetime<'_>;
+   |                                           ++++
+
+error: hidden lifetime parameters in types are deprecated
+  --> $DIR/elided-lifetimes-in-type-paths.rs:54:6
+   |
+LL |     <ContainsLifetime as UseViaTrait>::use_it();
+   |      ^^^^^^^^^^^^^^^^ expected lifetime parameter
+   |
+help: indicate the anonymous lifetime
+   |
+LL |     <ContainsLifetime<'_> as UseViaTrait>::use_it();
+   |                      ++++
+
+error: hidden lifetime parameters in types are deprecated
+  --> $DIR/elided-lifetimes-in-type-paths.rs:57:6
+   |
+LL |     <ContainsLifetime>::use_it();
+   |      ^^^^^^^^^^^^^^^^ expected lifetime parameter
+   |
+help: indicate the anonymous lifetime
+   |
+LL |     <ContainsLifetime<'_>>::use_it();
+   |                      ++++
+
+error: aborting due to 5 previous errors
+