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

Author: shepmaster

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

@@ -0,0 +1,38 @@
+#![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 foo() {}
+}
+
+fn use_via_turbofish<T>() {}
+
+trait UseViaTrait {
+    fn use_it(&self) {}
+}
+
+impl UseViaTrait for ContainsLifetime<'_> {}
+
+// ==========
+
+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::foo();
+}

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

@@ -0,0 +1,51 @@
+error: hidden lifetime parameters in types are deprecated
+  --> $DIR/elided-lifetimes-in-type-paths.rs:24: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:28: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:31: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:34:10
+   |
+LL |     _ = <ContainsLifetime as UseViaTrait>::use_it;
+   |          ^^^^^^^^^^^^^^^^ expected lifetime parameter
+   |
+help: indicate the anonymous lifetime
+   |
+LL |     _ = <ContainsLifetime<'_> as UseViaTrait>::use_it;
+   |                          ++++
+
+error: aborting due to 4 previous errors
+