use rustc_no_implicit_bounds

Author: TaKO8Ki

tests/ui/traits/non_lifetime_binders/normalized-param-env-unconstrained-type-120033.rs

@@ -2,12 +2,12 @@
 
 // Regression test for <https://github.com/rust-lang/rust/issues/120033>
 
+#![feature(rustc_attrs)]
 #![feature(non_lifetime_binders)] //~ WARN the feature `non_lifetime_binders` is incomplete
-#![allow(sized_hierarchy_migration)] //~ WARN unknown lint: `sized_hierarchy_migration`
-#![feature(sized_hierarchy)] // added to keep parameters unconstrained
+#![rustc_no_implicit_bounds]
 
-pub trait Foo<T: std::marker::PointeeSized> {
-    type Bar<K: std::marker::PointeeSized>;
+pub trait Foo<T> {
+    type Bar<K>;
 }
 
 pub struct Bar<T: ?AutoTrait> {} //~ ERROR cannot find trait `AutoTrait`

tests/ui/traits/non_lifetime_binders/normalized-param-env-unconstrained-type-120033.stderr

@@ -4,16 +4,8 @@ error[E0405]: cannot find trait `AutoTrait` in this scope
 LL | pub struct Bar<T: ?AutoTrait> {}
    |                    ^^^^^^^^^ not found in this scope
 
-warning: unknown lint: `sized_hierarchy_migration`
-  --> $DIR/normalized-param-env-unconstrained-type-120033.rs:6:10
-   |
-LL | #![allow(sized_hierarchy_migration)]
-   |          ^^^^^^^^^^^^^^^^^^^^^^^^^
-   |
-   = note: `#[warn(unknown_lints)]` on by default
-
 warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/normalized-param-env-unconstrained-type-120033.rs:5:12
+  --> $DIR/normalized-param-env-unconstrained-type-120033.rs:6:12
    |
 LL | #![feature(non_lifetime_binders)]
    |            ^^^^^^^^^^^^^^^^^^^^
@@ -30,7 +22,7 @@ LL |     T1: for<T> Foo<usize, Bar = Bar<T>>,
 note: associated type defined here, with 1 generic parameter: `K`
   --> $DIR/normalized-param-env-unconstrained-type-120033.rs:10:10
    |
-LL |     type Bar<K: std::marker::PointeeSized>;
+LL |     type Bar<K>;
    |          ^^^ -
 help: add missing generic argument
    |
@@ -46,15 +38,15 @@ LL |     T1: for<T> Foo<usize, Bar = Bar<T>>,
 note: associated type defined here, with 1 generic parameter: `K`
   --> $DIR/normalized-param-env-unconstrained-type-120033.rs:10:10
    |
-LL |     type Bar<K: std::marker::PointeeSized>;
+LL |     type Bar<K>;
    |          ^^^ -
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: add missing generic argument
    |
 LL |     T1: for<T> Foo<usize, Bar<K> = Bar<T>>,
    |                              +++
 
-error: aborting due to 3 previous errors; 2 warnings emitted
+error: aborting due to 3 previous errors; 1 warning emitted
 
 Some errors have detailed explanations: E0107, E0405.
 For more information about an error, try `rustc --explain E0107`.