tests: unconstrain params in non_lifetime_binders

davidtwco · davidtwco · commit b178a28228af · 2025-04-11T17:26:23.000+01:00
It seems like generics from `non_lifetime_binders` don't have any default
bounds like normal generics, so all of the `?Sized` relaxations need
to be further relaxed with `PointeeSized` for this test to be the
equivalent of before.
diff --git a/tests/ui/traits/non_lifetime_binders/basic.rs b/tests/ui/traits/non_lifetime_binders/basic.rs
@@ -1,12 +1,15 @@
 //@ check-pass
 // Basic test that show's we can successfully typeck a `for<T>` where clause.
 
+#![feature(sized_hierarchy)]
 #![feature(non_lifetime_binders)]
 //~^ WARN the feature `non_lifetime_binders` is incomplete
 
-trait Trait {}
+use std::marker::PointeeSized;
 
-impl<T: ?Sized> Trait for T {}
+trait Trait: PointeeSized {}
+
+impl<T: PointeeSized> Trait for T {}
 
 fn foo()
 where
diff --git a/tests/ui/traits/non_lifetime_binders/basic.stderr b/tests/ui/traits/non_lifetime_binders/basic.stderr
@@ -1,5 +1,5 @@
 warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/basic.rs:4:12
+  --> $DIR/basic.rs:5:12
    |
 LL | #![feature(non_lifetime_binders)]
    |            ^^^^^^^^^^^^^^^^^^^^
diff --git a/tests/ui/traits/non_lifetime_binders/diagnostic-hir-wf-check.rs b/tests/ui/traits/non_lifetime_binders/diagnostic-hir-wf-check.rs
@@ -1,11 +1,14 @@
 // Make sure not to construct predicates with escaping bound vars in `diagnostic_hir_wf_check`.
 // Regression test for <https://github.com/rust-lang/rust/issues/139330>.
 
+#![feature(sized_hierarchy)]
 #![feature(non_lifetime_binders)]
 //~^ WARN the feature `non_lifetime_binders` is incomplete
 
-trait A<T: ?Sized> {}
-impl<T: ?Sized> A<T> for () {}
+use std::marker::PointeeSized;
+
+trait A<T: PointeeSized> {}
+impl<T: PointeeSized> A<T> for () {}
 
 trait B {}
 struct W<T: B>(T);
diff --git a/tests/ui/traits/non_lifetime_binders/diagnostic-hir-wf-check.stderr b/tests/ui/traits/non_lifetime_binders/diagnostic-hir-wf-check.stderr
@@ -1,5 +1,5 @@
 warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/diagnostic-hir-wf-check.rs:4:12
+  --> $DIR/diagnostic-hir-wf-check.rs:5:12
    |
 LL | #![feature(non_lifetime_binders)]
    |            ^^^^^^^^^^^^^^^^^^^^
@@ -8,54 +8,54 @@ LL | #![feature(non_lifetime_binders)]
    = note: `#[warn(incomplete_features)]` on by default
 
 error[E0277]: the trait bound `(): B` is not satisfied
-  --> $DIR/diagnostic-hir-wf-check.rs:13:12
+  --> $DIR/diagnostic-hir-wf-check.rs:16:12
    |
 LL | fn b() -> (W<()>, impl for<C> A<C>) { (W(()), ()) }
    |            ^^^^^ the trait `B` is not implemented for `()`
    |
 help: this trait has no implementations, consider adding one
-  --> $DIR/diagnostic-hir-wf-check.rs:10:1
+  --> $DIR/diagnostic-hir-wf-check.rs:13:1
    |
 LL | trait B {}
    | ^^^^^^^
 note: required by a bound in `W`
-  --> $DIR/diagnostic-hir-wf-check.rs:11:13
+  --> $DIR/diagnostic-hir-wf-check.rs:14:13
    |
 LL | struct W<T: B>(T);
    |             ^ required by this bound in `W`
 
 error[E0277]: the trait bound `(): B` is not satisfied
-  --> $DIR/diagnostic-hir-wf-check.rs:13:42
+  --> $DIR/diagnostic-hir-wf-check.rs:16:42
    |
 LL | fn b() -> (W<()>, impl for<C> A<C>) { (W(()), ()) }
    |                                        - ^^ the trait `B` is not implemented for `()`
    |                                        |
    |                                        required by a bound introduced by this call
    |
 help: this trait has no implementations, consider adding one
-  --> $DIR/diagnostic-hir-wf-check.rs:10:1
+  --> $DIR/diagnostic-hir-wf-check.rs:13:1
    |
 LL | trait B {}
    | ^^^^^^^
 note: required by a bound in `W`
-  --> $DIR/diagnostic-hir-wf-check.rs:11:13
+  --> $DIR/diagnostic-hir-wf-check.rs:14:13
    |
 LL | struct W<T: B>(T);
    |             ^ required by this bound in `W`
 
 error[E0277]: the trait bound `(): B` is not satisfied
-  --> $DIR/diagnostic-hir-wf-check.rs:13:40
+  --> $DIR/diagnostic-hir-wf-check.rs:16:40
    |
 LL | fn b() -> (W<()>, impl for<C> A<C>) { (W(()), ()) }
    |                                        ^^^^^ the trait `B` is not implemented for `()`
    |
 help: this trait has no implementations, consider adding one
-  --> $DIR/diagnostic-hir-wf-check.rs:10:1
+  --> $DIR/diagnostic-hir-wf-check.rs:13:1
    |
 LL | trait B {}
    | ^^^^^^^
 note: required by a bound in `W`
-  --> $DIR/diagnostic-hir-wf-check.rs:11:13
+  --> $DIR/diagnostic-hir-wf-check.rs:14:13
    |
 LL | struct W<T: B>(T);
    |             ^ required by this bound in `W`
diff --git a/tests/ui/traits/non_lifetime_binders/on-rpit.rs b/tests/ui/traits/non_lifetime_binders/on-rpit.rs
@@ -1,11 +1,14 @@
 //@ check-pass
 
+#![feature(sized_hierarchy)]
 #![feature(non_lifetime_binders)]
 //~^ WARN the feature `non_lifetime_binders` is incomplete
 
-trait Trait<T: ?Sized> {}
+use std::marker::PointeeSized;
 
-impl<T: ?Sized> Trait<T> for i32 {}
+trait Trait<T: PointeeSized> {}
+
+impl<T: PointeeSized> Trait<T> for i32 {}
 
 fn produce() -> impl for<T> Trait<T> {
     16
diff --git a/tests/ui/traits/non_lifetime_binders/on-rpit.stderr b/tests/ui/traits/non_lifetime_binders/on-rpit.stderr
@@ -1,5 +1,5 @@
 warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/on-rpit.rs:3:12
+  --> $DIR/on-rpit.rs:4:12
    |
 LL | #![feature(non_lifetime_binders)]
    |            ^^^^^^^^^^^^^^^^^^^^
diff --git a/tests/ui/traits/non_lifetime_binders/supertrait-dyn-compatibility.rs b/tests/ui/traits/non_lifetime_binders/supertrait-dyn-compatibility.rs
@@ -1,19 +1,22 @@
+#![feature(sized_hierarchy)]
 #![feature(non_lifetime_binders)]
 //~^ WARN the feature `non_lifetime_binders` is incomplete
 
+use std::marker::PointeeSized;
+
 trait Foo: for<T> Bar<T> {}
 
-trait Bar<T: ?Sized> {
+trait Bar<T: PointeeSized>: PointeeSized {
     fn method(&self) {}
 }
 
-fn needs_bar(x: &(impl Bar<i32> + ?Sized)) {
+fn needs_bar(x: &(impl Bar<i32> + PointeeSized)) {
     x.method();
 }
 
 impl Foo for () {}
 
-impl<T: ?Sized> Bar<T> for () {}
+impl<T: PointeeSized> Bar<T> for () {}
 
 fn main() {
     let x: &dyn Foo = &();
diff --git a/tests/ui/traits/non_lifetime_binders/supertrait-dyn-compatibility.stderr b/tests/ui/traits/non_lifetime_binders/supertrait-dyn-compatibility.stderr
@@ -1,5 +1,5 @@
 warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/supertrait-dyn-compatibility.rs:1:12
+  --> $DIR/supertrait-dyn-compatibility.rs:2:12
    |
 LL | #![feature(non_lifetime_binders)]
    |            ^^^^^^^^^^^^^^^^^^^^
@@ -8,14 +8,14 @@ LL | #![feature(non_lifetime_binders)]
    = note: `#[warn(incomplete_features)]` on by default
 
 error[E0038]: the trait `Foo` is not dyn compatible
-  --> $DIR/supertrait-dyn-compatibility.rs:19:23
+  --> $DIR/supertrait-dyn-compatibility.rs:22:23
    |
 LL |     let x: &dyn Foo = &();
    |                       ^^^ `Foo` is not dyn compatible
    |
 note: for a trait to be dyn compatible it needs to allow building a vtable
       for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>
-  --> $DIR/supertrait-dyn-compatibility.rs:4:12
+  --> $DIR/supertrait-dyn-compatibility.rs:7:12
    |
 LL | trait Foo: for<T> Bar<T> {}
    |       ---  ^^^^^^^^^^^^^ ...because where clause cannot reference non-lifetime `for<...>` variables
@@ -25,14 +25,14 @@ LL | trait Foo: for<T> Bar<T> {}
    = note: required for the cast from `&()` to `&dyn Foo`
 
 error[E0038]: the trait `Foo` is not dyn compatible
-  --> $DIR/supertrait-dyn-compatibility.rs:19:12
+  --> $DIR/supertrait-dyn-compatibility.rs:22:12
    |
 LL |     let x: &dyn Foo = &();
    |            ^^^^^^^^ `Foo` is not dyn compatible
    |
 note: for a trait to be dyn compatible it needs to allow building a vtable
       for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>
-  --> $DIR/supertrait-dyn-compatibility.rs:4:12
+  --> $DIR/supertrait-dyn-compatibility.rs:7:12
    |
 LL | trait Foo: for<T> Bar<T> {}
    |       ---  ^^^^^^^^^^^^^ ...because where clause cannot reference non-lifetime `for<...>` variables
@@ -41,14 +41,14 @@ LL | trait Foo: for<T> Bar<T> {}
    = help: only type `()` implements `Foo`; consider using it directly instead.
 
 error[E0038]: the trait `Foo` is not dyn compatible
-  --> $DIR/supertrait-dyn-compatibility.rs:22:5
+  --> $DIR/supertrait-dyn-compatibility.rs:25:5
    |
 LL |     needs_bar(x);
    |     ^^^^^^^^^ `Foo` is not dyn compatible
    |
 note: for a trait to be dyn compatible it needs to allow building a vtable
       for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>
-  --> $DIR/supertrait-dyn-compatibility.rs:4:12
+  --> $DIR/supertrait-dyn-compatibility.rs:7:12
    |
 LL | trait Foo: for<T> Bar<T> {}
    |       ---  ^^^^^^^^^^^^^ ...because where clause cannot reference non-lifetime `for<...>` variables
diff --git a/tests/ui/traits/non_lifetime_binders/unifying-placeholders-in-query-response-2.current.stderr b/tests/ui/traits/non_lifetime_binders/unifying-placeholders-in-query-response-2.current.stderr
@@ -1,5 +1,5 @@
 warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/unifying-placeholders-in-query-response-2.rs:6:12
+  --> $DIR/unifying-placeholders-in-query-response-2.rs:7:12
    |
 LL | #![feature(non_lifetime_binders)]
    |            ^^^^^^^^^^^^^^^^^^^^
diff --git a/tests/ui/traits/non_lifetime_binders/unifying-placeholders-in-query-response-2.next.stderr b/tests/ui/traits/non_lifetime_binders/unifying-placeholders-in-query-response-2.next.stderr
@@ -1,5 +1,5 @@
 warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/unifying-placeholders-in-query-response-2.rs:6:12
+  --> $DIR/unifying-placeholders-in-query-response-2.rs:7:12
    |
 LL | #![feature(non_lifetime_binders)]
    |            ^^^^^^^^^^^^^^^^^^^^
diff --git a/tests/ui/traits/non_lifetime_binders/unifying-placeholders-in-query-response-2.rs b/tests/ui/traits/non_lifetime_binders/unifying-placeholders-in-query-response-2.rs
@@ -3,19 +3,22 @@
 //@[next] compile-flags: -Znext-solver
 //@ check-pass
 
+#![feature(sized_hierarchy)]
 #![feature(non_lifetime_binders)]
 //~^ WARN the feature `non_lifetime_binders` is incomplete
 
-trait Id {
-    type Output: ?Sized;
+use std::marker::PointeeSized;
+
+trait Id: PointeeSized {
+    type Output: PointeeSized;
 }
 
-impl<T: ?Sized> Id for T {
+impl<T: PointeeSized> Id for T {
     type Output = T;
 }
 
-trait Everyone {}
-impl<T: ?Sized> Everyone for T {}
+trait Everyone: PointeeSized {}
+impl<T: PointeeSized> Everyone for T {}
 
 fn hello() where for<T> <T as Id>::Output: Everyone {}
 
diff --git a/tests/ui/traits/non_lifetime_binders/unifying-placeholders-in-query-response.current.stderr b/tests/ui/traits/non_lifetime_binders/unifying-placeholders-in-query-response.current.stderr
@@ -1,5 +1,5 @@
 warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/unifying-placeholders-in-query-response.rs:6:12
+  --> $DIR/unifying-placeholders-in-query-response.rs:7:12
    |
 LL | #![feature(non_lifetime_binders)]
    |            ^^^^^^^^^^^^^^^^^^^^
diff --git a/tests/ui/traits/non_lifetime_binders/unifying-placeholders-in-query-response.next.stderr b/tests/ui/traits/non_lifetime_binders/unifying-placeholders-in-query-response.next.stderr
@@ -1,5 +1,5 @@
 warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/unifying-placeholders-in-query-response.rs:6:12
+  --> $DIR/unifying-placeholders-in-query-response.rs:7:12
    |
 LL | #![feature(non_lifetime_binders)]
    |            ^^^^^^^^^^^^^^^^^^^^
diff --git a/tests/ui/traits/non_lifetime_binders/unifying-placeholders-in-query-response.rs b/tests/ui/traits/non_lifetime_binders/unifying-placeholders-in-query-response.rs
@@ -3,15 +3,18 @@
 //@[next] compile-flags: -Znext-solver
 //@ check-pass
 
+#![feature(sized_hierarchy)]
 #![feature(non_lifetime_binders)]
 //~^ WARN the feature `non_lifetime_binders` is incomplete
 
-pub trait Foo<T: ?Sized> {
-    type Bar<K: ?Sized>: ?Sized;
+use std::marker::PointeeSized;
+
+pub trait Foo<T: PointeeSized> {
+    type Bar<K: PointeeSized>: PointeeSized;
 }
 
 impl Foo<usize> for () {
-    type Bar<K: ?Sized> = K;
+    type Bar<K: PointeeSized> = K;
 }
 
 pub fn f<T1, T2>(a: T1, b: T2)
diff --git a/tests/ui/traits/non_lifetime_binders/universe-error1.rs b/tests/ui/traits/non_lifetime_binders/universe-error1.rs
@@ -1,12 +1,15 @@
+#![feature(sized_hierarchy)]
 #![feature(non_lifetime_binders)]
 //~^ WARN the feature `non_lifetime_binders` is incomplete
 
-trait Other<U: ?Sized> {}
+use std::marker::PointeeSized;
 
-impl<U: ?Sized> Other<U> for U {}
+trait Other<U: PointeeSized>: PointeeSized {}
+
+impl<U: PointeeSized> Other<U> for U {}
 
 #[rustfmt::skip]
-fn foo<U: ?Sized>()
+fn foo<U: PointeeSized>()
 where
     for<T> T: Other<U> {}
 
diff --git a/tests/ui/traits/non_lifetime_binders/universe-error1.stderr b/tests/ui/traits/non_lifetime_binders/universe-error1.stderr
@@ -1,5 +1,5 @@
 warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/universe-error1.rs:1:12
+  --> $DIR/universe-error1.rs:2:12
    |
 LL | #![feature(non_lifetime_binders)]
    |            ^^^^^^^^^^^^^^^^^^^^
@@ -8,15 +8,15 @@ LL | #![feature(non_lifetime_binders)]
    = note: `#[warn(incomplete_features)]` on by default
 
 error[E0277]: the trait bound `T: Other<_>` is not satisfied
-  --> $DIR/universe-error1.rs:14:11
+  --> $DIR/universe-error1.rs:17:11
    |
 LL |     foo::<_>();
    |           ^ the trait `Other<_>` is not implemented for `T`
    |
 note: required by a bound in `foo`
-  --> $DIR/universe-error1.rs:11:15
+  --> $DIR/universe-error1.rs:14:15
    |
-LL | fn foo<U: ?Sized>()
+LL | fn foo<U: PointeeSized>()
    |    --- required by a bound in this function
 LL | where
 LL |     for<T> T: Other<U> {}

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
`2`		`- --> $DIR/basic.rs:4:12`
	`2`	`+ --> $DIR/basic.rs:5:12`
`3`	`3`	`\|`
`4`	`4`	`LL \| #![feature(non_lifetime_binders)]`
`5`	`5`	`\| ^^^^^^^^^^^^^^^^^^^^`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
`2`		`- --> $DIR/diagnostic-hir-wf-check.rs:4:12`
	`2`	`+ --> $DIR/diagnostic-hir-wf-check.rs:5:12`
`3`	`3`	`\|`
`4`	`4`	`LL \| #![feature(non_lifetime_binders)]`
`5`	`5`	`\| ^^^^^^^^^^^^^^^^^^^^`
`@@ -8,54 +8,54 @@ LL \| #![feature(non_lifetime_binders)]`
`8`	`8`	= note: `#[warn(incomplete_features)]` on by default
`9`	`9`
`10`	`10`	error[E0277]: the trait bound `(): B` is not satisfied
`11`		`- --> $DIR/diagnostic-hir-wf-check.rs:13:12`
	`11`	`+ --> $DIR/diagnostic-hir-wf-check.rs:16:12`
`12`	`12`	`\|`
`13`	`13`	`LL \| fn b() -> (W<()>, impl for<C> A<C>) { (W(()), ()) }`
`14`	`14`	\| ^^^^^ the trait `B` is not implemented for `()`
`15`	`15`	`\|`
`16`	`16`	`help: this trait has no implementations, consider adding one`
`17`		`- --> $DIR/diagnostic-hir-wf-check.rs:10:1`
	`17`	`+ --> $DIR/diagnostic-hir-wf-check.rs:13:1`
`18`	`18`	`\|`
`19`	`19`	`LL \| trait B {}`
`20`	`20`	`\| ^^^^^^^`
`21`	`21`	note: required by a bound in `W`
`22`		`- --> $DIR/diagnostic-hir-wf-check.rs:11:13`
	`22`	`+ --> $DIR/diagnostic-hir-wf-check.rs:14:13`
`23`	`23`	`\|`
`24`	`24`	`LL \| struct W<T: B>(T);`
`25`	`25`	\| ^ required by this bound in `W`
`26`	`26`
`27`	`27`	error[E0277]: the trait bound `(): B` is not satisfied
`28`		`- --> $DIR/diagnostic-hir-wf-check.rs:13:42`
	`28`	`+ --> $DIR/diagnostic-hir-wf-check.rs:16:42`
`29`	`29`	`\|`
`30`	`30`	`LL \| fn b() -> (W<()>, impl for<C> A<C>) { (W(()), ()) }`
`31`	`31`	\| - ^^ the trait `B` is not implemented for `()`
`32`	`32`	`\| \|`
`33`	`33`	`\| required by a bound introduced by this call`
`34`	`34`	`\|`
`35`	`35`	`help: this trait has no implementations, consider adding one`
`36`		`- --> $DIR/diagnostic-hir-wf-check.rs:10:1`
	`36`	`+ --> $DIR/diagnostic-hir-wf-check.rs:13:1`
`37`	`37`	`\|`
`38`	`38`	`LL \| trait B {}`
`39`	`39`	`\| ^^^^^^^`
`40`	`40`	note: required by a bound in `W`
`41`		`- --> $DIR/diagnostic-hir-wf-check.rs:11:13`
	`41`	`+ --> $DIR/diagnostic-hir-wf-check.rs:14:13`
`42`	`42`	`\|`
`43`	`43`	`LL \| struct W<T: B>(T);`
`44`	`44`	\| ^ required by this bound in `W`
`45`	`45`
`46`	`46`	error[E0277]: the trait bound `(): B` is not satisfied
`47`		`- --> $DIR/diagnostic-hir-wf-check.rs:13:40`
	`47`	`+ --> $DIR/diagnostic-hir-wf-check.rs:16:40`
`48`	`48`	`\|`
`49`	`49`	`LL \| fn b() -> (W<()>, impl for<C> A<C>) { (W(()), ()) }`
`50`	`50`	\| ^^^^^ the trait `B` is not implemented for `()`
`51`	`51`	`\|`
`52`	`52`	`help: this trait has no implementations, consider adding one`
`53`		`- --> $DIR/diagnostic-hir-wf-check.rs:10:1`
	`53`	`+ --> $DIR/diagnostic-hir-wf-check.rs:13:1`
`54`	`54`	`\|`
`55`	`55`	`LL \| trait B {}`
`56`	`56`	`\| ^^^^^^^`
`57`	`57`	note: required by a bound in `W`
`58`		`- --> $DIR/diagnostic-hir-wf-check.rs:11:13`
	`58`	`+ --> $DIR/diagnostic-hir-wf-check.rs:14:13`
`59`	`59`	`\|`
`60`	`60`	`LL \| struct W<T: B>(T);`
`61`	`61`	\| ^ required by this bound in `W`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
`2`		`- --> $DIR/on-rpit.rs:3:12`
	`2`	`+ --> $DIR/on-rpit.rs:4:12`
`3`	`3`	`\|`
`4`	`4`	`LL \| #![feature(non_lifetime_binders)]`
`5`	`5`	`\| ^^^^^^^^^^^^^^^^^^^^`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
`2`		`- --> $DIR/supertrait-dyn-compatibility.rs:1:12`
	`2`	`+ --> $DIR/supertrait-dyn-compatibility.rs:2:12`
`3`	`3`	`\|`
`4`	`4`	`LL \| #![feature(non_lifetime_binders)]`
`5`	`5`	`\| ^^^^^^^^^^^^^^^^^^^^`
`@@ -8,14 +8,14 @@ LL \| #![feature(non_lifetime_binders)]`
`8`	`8`	= note: `#[warn(incomplete_features)]` on by default
`9`	`9`
`10`	`10`	error[E0038]: the trait `Foo` is not dyn compatible
`11`		`- --> $DIR/supertrait-dyn-compatibility.rs:19:23`
	`11`	`+ --> $DIR/supertrait-dyn-compatibility.rs:22:23`
`12`	`12`	`\|`
`13`	`13`	`LL \| let x: &dyn Foo = &();`
`14`	`14`	\| ^^^ `Foo` is not dyn compatible
`15`	`15`	`\|`
`16`	`16`	`note: for a trait to be dyn compatible it needs to allow building a vtable`
`17`	`17`	`for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>`
`18`		`- --> $DIR/supertrait-dyn-compatibility.rs:4:12`
	`18`	`+ --> $DIR/supertrait-dyn-compatibility.rs:7:12`
`19`	`19`	`\|`
`20`	`20`	`LL \| trait Foo: for<T> Bar<T> {}`
`21`	`21`	\| --- ^^^^^^^^^^^^^ ...because where clause cannot reference non-lifetime `for<...>` variables
`@@ -25,14 +25,14 @@ LL \| trait Foo: for<T> Bar<T> {}`
`25`	`25`	= note: required for the cast from `&()` to `&dyn Foo`
`26`	`26`
`27`	`27`	error[E0038]: the trait `Foo` is not dyn compatible
`28`		`- --> $DIR/supertrait-dyn-compatibility.rs:19:12`
	`28`	`+ --> $DIR/supertrait-dyn-compatibility.rs:22:12`
`29`	`29`	`\|`
`30`	`30`	`LL \| let x: &dyn Foo = &();`
`31`	`31`	\| ^^^^^^^^ `Foo` is not dyn compatible
`32`	`32`	`\|`
`33`	`33`	`note: for a trait to be dyn compatible it needs to allow building a vtable`
`34`	`34`	`for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>`
`35`		`- --> $DIR/supertrait-dyn-compatibility.rs:4:12`
	`35`	`+ --> $DIR/supertrait-dyn-compatibility.rs:7:12`
`36`	`36`	`\|`
`37`	`37`	`LL \| trait Foo: for<T> Bar<T> {}`
`38`	`38`	\| --- ^^^^^^^^^^^^^ ...because where clause cannot reference non-lifetime `for<...>` variables
`@@ -41,14 +41,14 @@ LL \| trait Foo: for<T> Bar<T> {}`
`41`	`41`	= help: only type `()` implements `Foo`; consider using it directly instead.
`42`	`42`
`43`	`43`	error[E0038]: the trait `Foo` is not dyn compatible
`44`		`- --> $DIR/supertrait-dyn-compatibility.rs:22:5`
	`44`	`+ --> $DIR/supertrait-dyn-compatibility.rs:25:5`
`45`	`45`	`\|`
`46`	`46`	`LL \| needs_bar(x);`
`47`	`47`	\| ^^^^^^^^^ `Foo` is not dyn compatible
`48`	`48`	`\|`
`49`	`49`	`note: for a trait to be dyn compatible it needs to allow building a vtable`
`50`	`50`	`for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>`
`51`		`- --> $DIR/supertrait-dyn-compatibility.rs:4:12`
	`51`	`+ --> $DIR/supertrait-dyn-compatibility.rs:7:12`
`52`	`52`	`\|`
`53`	`53`	`LL \| trait Foo: for<T> Bar<T> {}`
`54`	`54`	\| --- ^^^^^^^^^^^^^ ...because where clause cannot reference non-lifetime `for<...>` variables
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
`2`		`- --> $DIR/unifying-placeholders-in-query-response-2.rs:6:12`
	`2`	`+ --> $DIR/unifying-placeholders-in-query-response-2.rs:7:12`
`3`	`3`	`\|`
`4`	`4`	`LL \| #![feature(non_lifetime_binders)]`
`5`	`5`	`\| ^^^^^^^^^^^^^^^^^^^^`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
`2`		`- --> $DIR/universe-error1.rs:1:12`
	`2`	`+ --> $DIR/universe-error1.rs:2:12`
`3`	`3`	`\|`
`4`	`4`	`LL \| #![feature(non_lifetime_binders)]`
`5`	`5`	`\| ^^^^^^^^^^^^^^^^^^^^`
`@@ -8,15 +8,15 @@ LL \| #![feature(non_lifetime_binders)]`
`8`	`8`	= note: `#[warn(incomplete_features)]` on by default
`9`	`9`
`10`	`10`	error[E0277]: the trait bound `T: Other<_>` is not satisfied
`11`		`- --> $DIR/universe-error1.rs:14:11`
	`11`	`+ --> $DIR/universe-error1.rs:17:11`
`12`	`12`	`\|`
`13`	`13`	`LL \| foo::<_>();`
`14`	`14`	\| ^ the trait `Other<_>` is not implemented for `T`
`15`	`15`	`\|`
`16`	`16`	note: required by a bound in `foo`
`17`		`- --> $DIR/universe-error1.rs:11:15`
	`17`	`+ --> $DIR/universe-error1.rs:14:15`
`18`	`18`	`\|`
`19`		`-LL \| fn foo<U: ?Sized>()`
	`19`	`+LL \| fn foo<U: PointeeSized>()`
`20`	`20`	`\| --- required by a bound in this function`
`21`	`21`	`LL \| where`
`22`	`22`	`LL \| for<T> T: Other<U> {}`