WF check lifetime bounds for locals with type params

Author: ShoyuVanilla

compiler/rustc_hir_typeck/src/fn_ctxt/_impl.rs

@@ -547,7 +547,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
     where
         T: TypeVisitable<TyCtxt<'tcx>>,
     {
-        t.has_free_regions() || t.has_aliases() || t.has_infer_types()
+        t.has_free_regions() || t.has_aliases() || t.has_infer_types() || t.has_param()
     }
 
     pub(crate) fn node_ty(&self, id: HirId) -> Ty<'tcx> {

tests/ui/consts/issue-102117.stderr

@@ -2,7 +2,7 @@ error[E0310]: the parameter type `T` may not live long enough
   --> $DIR/issue-102117.rs:17:26
    |
 LL |                 type_id: TypeId::of::<T>(),
-   |                          ^^^^^^^^^^^^^^^^^
+   |                          ^^^^^^^^^^^^^^^
    |                          |
    |                          the parameter type `T` must be valid for the static lifetime...
    |                          ...so that the type `T` will meet its required lifetime bounds
@@ -16,7 +16,7 @@ error[E0310]: the parameter type `T` may not live long enough
   --> $DIR/issue-102117.rs:17:26
    |
 LL |                 type_id: TypeId::of::<T>(),
-   |                          ^^^^^^^^^^^^^^^^^
+   |                          ^^^^^^^^^^^^^^^
    |                          |
    |                          the parameter type `T` must be valid for the static lifetime...
    |                          ...so that the type `T` will meet its required lifetime bounds

tests/ui/higher-ranked/leak-check/candidate-from-env-universe-err-project.current.stderr

@@ -2,15 +2,10 @@ error[E0308]: mismatched types
   --> $DIR/candidate-from-env-universe-err-project.rs:38:5
    |
 LL |     projection_bound::<T>();
-   |     ^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other
+   |     ^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other
    |
    = note: expected associated type `<T as Trait<'static>>::Assoc`
               found associated type `<T as Trait<'a>>::Assoc`
-note: the lifetime requirement is introduced here
-  --> $DIR/candidate-from-env-universe-err-project.rs:19:42
-   |
-LL | fn projection_bound<T: for<'a> Trait<'a, Assoc = usize>>() {}
-   |                                          ^^^^^^^^^^^^^
 
 error[E0308]: mismatched types
   --> $DIR/candidate-from-env-universe-err-project.rs:52:30

tests/ui/nll/issue-98693.stderr

@@ -2,7 +2,7 @@ error[E0310]: the parameter type `T` may not live long enough
   --> $DIR/issue-98693.rs:16:9
    |
 LL |         assert_static::<T>();
-   |         ^^^^^^^^^^^^^^^^^^^^
+   |         ^^^^^^^^^^^^^^^^^^
    |         |
    |         the parameter type `T` must be valid for the static lifetime...
    |         ...so that the type `T` will meet its required lifetime bounds

tests/ui/nll/type-test-universe.stderr

@@ -2,7 +2,7 @@ error: `S` does not live long enough
   --> $DIR/type-test-universe.rs:11:5
    |
 LL |     outlives_forall::<S>();
-   |     ^^^^^^^^^^^^^^^^^^^^^^
+   |     ^^^^^^^^^^^^^^^^^^^^
 
 error: lifetime may not live long enough
   --> $DIR/type-test-universe.rs:17:5

tests/ui/regions/forall-wf-ref-reflexive.stderr

@@ -2,7 +2,7 @@ error: `T` does not live long enough
   --> $DIR/forall-wf-ref-reflexive.rs:12:5
    |
 LL |     self_wf2::<T>();
-   |     ^^^^^^^^^^^^^^^
+   |     ^^^^^^^^^^^^^
 
 error: aborting due to 1 previous error
 

tests/ui/regions/wf-bound-region-in-local-issue-115175.rs

@@ -0,0 +1,11 @@
+// A regression test for https://github.com/rust-lang/rust/issues/115175.
+// This used to compile without error despite of unsatisfied outlives bound `T: 'static` on local.
+
+struct Static<T: 'static>(T);
+
+fn test<T>() {
+    let _ = None::<Static<T>>;
+    //~^ ERROR the parameter type `T` may not live long enough
+}
+
+fn main() {}

tests/ui/regions/wf-bound-region-in-local-issue-115175.stderr

@@ -0,0 +1,17 @@
+error[E0310]: the parameter type `T` may not live long enough
+  --> $DIR/wf-bound-region-in-local-issue-115175.rs:7:13
+   |
+LL |     let _ = None::<Static<T>>;
+   |             ^^^^^^^^^^^^^^^^^
+   |             |
+   |             the parameter type `T` must be valid for the static lifetime...
+   |             ...so that the type `T` will meet its required lifetime bounds
+   |
+help: consider adding an explicit lifetime bound
+   |
+LL | fn test<T: 'static>() {
+   |          +++++++++
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0310`.

tests/ui/type-alias-impl-trait/implied_lifetime_wf_check3.stderr

@@ -28,7 +28,7 @@ error[E0310]: the parameter type `A` may not live long enough
   --> $DIR/implied_lifetime_wf_check3.rs:55:5
    |
 LL |     test_type_param::assert_static::<A>()
-   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    |     |
    |     the parameter type `A` must be valid for the static lifetime...
    |     ...so that the type `A` will meet its required lifetime bounds

tests/ui/type-alias-impl-trait/implied_lifetime_wf_check4_static.stderr

@@ -21,7 +21,7 @@ error[E0310]: the parameter type `A` may not live long enough
   --> $DIR/implied_lifetime_wf_check4_static.rs:15:5
    |
 LL |     assert_static::<A>()
-   |     ^^^^^^^^^^^^^^^^^^^^
+   |     ^^^^^^^^^^^^^^^^^^
    |     |
    |     the parameter type `A` must be valid for the static lifetime...
    |     ...so that the type `A` will meet its required lifetime bounds