add tests in #111906

tests/ui/impl-trait/recursive/recursive-impl-trait-type-direct-with-earlybound-lifetime-2.rs

@@ -0,0 +1,9 @@
+#![allow(unconditional_recursion)]
+
+fn foo<'a: 'a>() -> impl Sized {
+    let _: *mut &'a () = foo::<'a>();
+    //~^ ERROR
+    loop {}
+}
+
+fn main() {}

tests/ui/impl-trait/recursive/recursive-impl-trait-type-direct-with-earlybound-lifetime-2.stderr

@@ -0,0 +1,18 @@
+error[E0700]: hidden type for `impl Sized` captures lifetime that does not appear in bounds
+  --> $DIR/recursive-impl-trait-type-direct-with-earlybound-lifetime-2.rs:4:12
+   |
+LL | fn foo<'a: 'a>() -> impl Sized {
+   |        --           ---------- opaque type defined here
+   |        |
+   |        hidden type `*mut &'a ()` captures the lifetime `'a` as defined here
+LL |     let _: *mut &'a () = foo::<'a>();
+   |            ^^^^^^^^^^^
+   |
+help: to declare that `impl Sized` captures `'a`, you can add an explicit `'a` lifetime bound
+   |
+LL | fn foo<'a: 'a>() -> impl Sized + 'a {
+   |                                ++++
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0700`.

tests/ui/impl-trait/recursive/recursive-impl-trait-type-direct-with-earlybound-lifetime-3.rs

@@ -0,0 +1,10 @@
+// check-pass
+
+#![allow(unconditional_recursion)]
+
+fn foo<'a: 'a>() -> impl Sized + 'a {
+    let _: *mut &'a () = foo::<'a>();
+    loop {}
+}
+
+fn main() {}

tests/ui/impl-trait/recursive/recursive-impl-trait-type-direct-with-earlybound-lifetime-4.rs

@@ -0,0 +1,13 @@
+#![allow(unconditional_recursion)]
+
+trait Trait<'a, 'b> {}
+impl<'a, 'b, T> Trait<'a, 'b> for T {}
+
+fn foo<'a: 'a, 'b: 'b>() -> impl Trait<'a, 'b> {
+    let _: *mut &'a () = foo::<'a, 'b>();
+    let _: *mut &'b () = foo::<'a, 'b>();
+    //~^ ERROR
+    loop {}
+}
+
+fn main() {}

tests/ui/impl-trait/recursive/recursive-impl-trait-type-direct-with-earlybound-lifetime-4.stderr

@@ -0,0 +1,14 @@
+error: concrete type differs from previous defining opaque type use
+  --> $DIR/recursive-impl-trait-type-direct-with-earlybound-lifetime-4.rs:8:12
+   |
+LL |     let _: *mut &'b () = foo::<'a, 'b>();
+   |            ^^^^^^^^^^^ expected `*mut &'a ()`, got `*mut &'b ()`
+   |
+note: previous use here
+  --> $DIR/recursive-impl-trait-type-direct-with-earlybound-lifetime-4.rs:7:12
+   |
+LL |     let _: *mut &'a () = foo::<'a, 'b>();
+   |            ^^^^^^^^^^^
+
+error: aborting due to previous error
+

tests/ui/impl-trait/recursive/recursive-impl-trait-type-direct-with-earlybound-lifetime.rs

@@ -0,0 +1,10 @@
+// check-pass
+
+#![allow(unconditional_recursion)]
+
+fn foo<'a: 'a>() -> impl Sized {
+    let _: () = foo::<'a>();
+    loop {}
+}
+
+fn main() {}