Bless existing UI tests

Author: LlewVallis

tests/ui/associated-types/issue-26262.stderr

@@ -3,12 +3,16 @@ error[E0207]: the type parameter `T` is not constrained by the impl trait, self
    |
 LL | impl<T: Tr> S<T::Assoc> {
    |      ^ unconstrained type parameter
+   |
+   = note: to constrain `T`, use it in the self type, or in an equality with an associated type
 
 error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait, self type, or predicates
   --> $DIR/issue-26262.rs:17:6
    |
 LL | impl<'a,T: Trait2<'a>> Trait1<<T as Trait2<'a>>::Foo> for T {
    |      ^^ unconstrained lifetime parameter
+   |
+   = note: to constrain `'a`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error: aborting due to 2 previous errors
 

tests/ui/async-await/in-trait/unconstrained-impl-region.stderr

@@ -19,6 +19,8 @@ error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait,
    |
 LL | impl<'a> Actor for () {
    |      ^^ unconstrained lifetime parameter
+   |
+   = note: to constrain `'a`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error: aborting due to 2 previous errors
 

tests/ui/async-await/issues/issue-78654.full.stderr

@@ -10,6 +10,7 @@ error[E0207]: the const parameter `H` is not constrained by the impl trait, self
 LL | impl<const H: feature> Foo {
    |      ^^^^^^^^^^^^^^^^ unconstrained const parameter
    |
+   = note: to constrain `H`, use it in the self type, or in an equality with an associated type
    = note: expressions using a const parameter must map each value to a distinct output value
    = note: proving the result of expressions other than the parameter are unique is not supported
 

tests/ui/async-await/issues/issue-78654.min.stderr

@@ -10,6 +10,7 @@ error[E0207]: the const parameter `H` is not constrained by the impl trait, self
 LL | impl<const H: feature> Foo {
    |      ^^^^^^^^^^^^^^^^ unconstrained const parameter
    |
+   = note: to constrain `H`, use it in the self type, or in an equality with an associated type
    = note: expressions using a const parameter must map each value to a distinct output value
    = note: proving the result of expressions other than the parameter are unique is not supported
 

tests/ui/const-generics/ice-unexpected-inference-var-122549.stderr

@@ -52,6 +52,7 @@ error[E0207]: the const parameter `N` is not constrained by the impl trait, self
 LL | impl<'a, T, const N: usize> Iterator for ConstChunksExact<'a, T, {}> {
    |             ^^^^^^^^^^^^^^ unconstrained const parameter
    |
+   = note: to constrain `N`, use it in the implemented trait, in the self type, or in an equality with an associated type
    = note: expressions using a const parameter must map each value to a distinct output value
    = note: proving the result of expressions other than the parameter are unique is not supported
 

tests/ui/const-generics/issues/issue-68366.full.stderr

@@ -16,6 +16,7 @@ error[E0207]: the const parameter `N` is not constrained by the impl trait, self
 LL | impl <const N: usize> Collatz<{Some(N)}> {}
    |       ^^^^^^^^^^^^^^ unconstrained const parameter
    |
+   = note: to constrain `N`, use it in the self type, or in an equality with an associated type
    = note: expressions using a const parameter must map each value to a distinct output value
    = note: proving the result of expressions other than the parameter are unique is not supported
 
@@ -25,6 +26,7 @@ error[E0207]: the const parameter `N` is not constrained by the impl trait, self
 LL | impl<const N: usize> Foo {}
    |      ^^^^^^^^^^^^^^ unconstrained const parameter
    |
+   = note: to constrain `N`, use it in the self type, or in an equality with an associated type
    = note: expressions using a const parameter must map each value to a distinct output value
    = note: proving the result of expressions other than the parameter are unique is not supported
 

tests/ui/const-generics/issues/issue-68366.min.stderr

@@ -25,6 +25,7 @@ error[E0207]: the const parameter `N` is not constrained by the impl trait, self
 LL | impl <const N: usize> Collatz<{Some(N)}> {}
    |       ^^^^^^^^^^^^^^ unconstrained const parameter
    |
+   = note: to constrain `N`, use it in the self type, or in an equality with an associated type
    = note: expressions using a const parameter must map each value to a distinct output value
    = note: proving the result of expressions other than the parameter are unique is not supported
 
@@ -34,6 +35,7 @@ error[E0207]: the const parameter `N` is not constrained by the impl trait, self
 LL | impl<const N: usize> Foo {}
    |      ^^^^^^^^^^^^^^ unconstrained const parameter
    |
+   = note: to constrain `N`, use it in the self type, or in an equality with an associated type
    = note: expressions using a const parameter must map each value to a distinct output value
    = note: proving the result of expressions other than the parameter are unique is not supported
 

tests/ui/consts/rustc-impl-const-stability.stderr

@@ -13,6 +13,7 @@ error[E0207]: the const parameter `host` is not constrained by the impl trait, s
 LL | impl const Default for Data {
    |      ^^^^^ unconstrained const parameter
    |
+   = note: to constrain `host`, use it in the implemented trait, in the self type, or in an equality with an associated type
    = note: expressions using a const parameter must map each value to a distinct output value
    = note: proving the result of expressions other than the parameter are unique is not supported
 

tests/ui/error-codes/E0207.stderr

@@ -3,6 +3,8 @@ error[E0207]: the type parameter `T` is not constrained by the impl trait, self
    |
 LL | impl<T: Default> Foo {
    |      ^ unconstrained type parameter
+   |
+   = note: to constrain `T`, use it in the self type, or in an equality with an associated type
 
 error: aborting due to 1 previous error
 

tests/ui/generic-associated-types/bugs/issue-87735.stderr

@@ -3,6 +3,9 @@ error[E0207]: the type parameter `U` is not constrained by the impl trait, self
    |
 LL | impl<'b, T, U> AsRef2 for Foo<T>
    |             ^ unconstrained type parameter
+   |
+   = note: to constrain `U`, use it in the implemented trait, in the self type, or in an equality with an associated type
+   = note: `U` is bound to an associated type, but the reference to the associated type itself uses unconstrained generic parameters
 
 error[E0309]: the parameter type `U` may not live long enough
   --> $DIR/issue-87735.rs:34:21

tests/ui/generic-associated-types/bugs/issue-88526.stderr

@@ -3,6 +3,9 @@ error[E0207]: the type parameter `I` is not constrained by the impl trait, self
    |
 LL | impl<'q, Q, I, F> A for TestB<Q, F>
    |             ^ unconstrained type parameter
+   |
+   = note: to constrain `I`, use it in the implemented trait, in the self type, or in an equality with an associated type
+   = note: `I` is bound to an associated type, but the reference to the associated type itself uses unconstrained generic parameters
 
 error[E0309]: the parameter type `F` may not live long enough
   --> $DIR/issue-88526.rs:16:18

tests/ui/generic-associated-types/gat-trait-path-generic-type-arg.stderr

@@ -18,6 +18,8 @@ error[E0207]: the type parameter `T1` is not constrained by the impl trait, self
    |
 LL | impl <T, T1> Foo for T {
    |          ^^ unconstrained type parameter
+   |
+   = note: to constrain `T1`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error: aborting due to 3 previous errors
 

tests/ui/impl-trait/in-trait/unconstrained-lt.stderr

@@ -3,6 +3,8 @@ error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait,
    |
 LL | impl<'a, T> Foo for T {
    |      ^^ unconstrained lifetime parameter
+   |
+   = note: to constrain `'a`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error: aborting due to 1 previous error
 

tests/ui/impl-trait/issues/issue-87340.stderr

@@ -3,6 +3,8 @@ error[E0207]: the type parameter `T` is not constrained by the impl trait, self
    |
 LL | impl<T> X for () {
    |      ^ unconstrained type parameter
+   |
+   = note: to constrain `T`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error[E0282]: type annotations needed
   --> $DIR/issue-87340.rs:11:23

tests/ui/impl-unused-rps-in-assoc-type.stderr

@@ -3,6 +3,8 @@ error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait,
    |
 LL | impl<'a> Fun for Holder {
    |      ^^ unconstrained lifetime parameter
+   |
+   = note: to constrain `'a`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error: aborting due to 1 previous error
 

tests/ui/impl-unused-tps-inherent.stderr

@@ -3,12 +3,16 @@ error[E0207]: the type parameter `T` is not constrained by the impl trait, self
    |
 LL | impl<T> MyType {
    |      ^ unconstrained type parameter
+   |
+   = note: to constrain `T`, use it in the self type, or in an equality with an associated type
 
 error[E0207]: the type parameter `U` is not constrained by the impl trait, self type, or predicates
   --> $DIR/impl-unused-tps-inherent.rs:17:8
    |
 LL | impl<T,U> MyType1<T> {
    |        ^ unconstrained type parameter
+   |
+   = note: to constrain `U`, use it in the self type, or in an equality with an associated type
 
 error: aborting due to 2 previous errors
 

tests/ui/impl-unused-tps.stderr

@@ -25,30 +25,42 @@ error[E0207]: the type parameter `U` is not constrained by the impl trait, self
    |
 LL | impl<T,U> Foo<T> for [isize;1] {
    |        ^ unconstrained type parameter
+   |
+   = note: to constrain `U`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error[E0207]: the type parameter `U` is not constrained by the impl trait, self type, or predicates
   --> $DIR/impl-unused-tps.rs:31:8
    |
 LL | impl<T,U> Bar for T {
    |        ^ unconstrained type parameter
+   |
+   = note: to constrain `U`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error[E0207]: the type parameter `U` is not constrained by the impl trait, self type, or predicates
   --> $DIR/impl-unused-tps.rs:39:8
    |
 LL | impl<T,U> Bar for T
    |        ^ unconstrained type parameter
+   |
+   = note: to constrain `U`, use it in the implemented trait, in the self type, or in an equality with an associated type
+   = note: `U` is bound to an associated type, but the associated type is circularly defined in this impl
 
 error[E0207]: the type parameter `U` is not constrained by the impl trait, self type, or predicates
   --> $DIR/impl-unused-tps.rs:47:8
    |
 LL | impl<T,U,V> Foo<T> for T
    |        ^ unconstrained type parameter
+   |
+   = note: to constrain `U`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error[E0207]: the type parameter `V` is not constrained by the impl trait, self type, or predicates
   --> $DIR/impl-unused-tps.rs:47:10
    |
 LL | impl<T,U,V> Foo<T> for T
    |          ^ unconstrained type parameter
+   |
+   = note: to constrain `V`, use it in the implemented trait, in the self type, or in an equality with an associated type
+   = note: `V` is bound to an associated type, but the reference to the associated type itself uses unconstrained generic parameters
 
 error: aborting due to 7 previous errors
 

tests/ui/issues/issue-16562.stderr

@@ -3,6 +3,8 @@ error[E0207]: the type parameter `T` is not constrained by the impl trait, self
    |
 LL | impl<T, M: MatrixShape> Collection for Col<M, usize> {
    |      ^ unconstrained type parameter
+   |
+   = note: to constrain `T`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error: aborting due to 1 previous error
 

tests/ui/issues/issue-22886.stderr

@@ -3,6 +3,8 @@ error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait,
    |
 LL | impl<'a> Iterator for Newtype {
    |      ^^ unconstrained lifetime parameter
+   |
+   = note: to constrain `'a`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error: aborting due to 1 previous error
 

tests/ui/issues/issue-29861.stderr

@@ -3,6 +3,8 @@ error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait,
    |
 LL | impl<'a, T: 'a> MakeRef2 for T {
    |      ^^ unconstrained lifetime parameter
+   |
+   = note: to constrain `'a`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error[E0716]: temporary value dropped while borrowed
   --> $DIR/issue-29861.rs:16:43

tests/ui/issues/issue-35139.stderr

@@ -3,6 +3,8 @@ error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait,
    |
 LL | impl<'a> MethodType for MTFn {
    |      ^^ unconstrained lifetime parameter
+   |
+   = note: to constrain `'a`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error: aborting due to 1 previous error
 

tests/ui/lazy-type-alias/unconstrained-params-in-impl-due-to-overflow.stderr

@@ -3,6 +3,8 @@ error[E0207]: the type parameter `T` is not constrained by the impl trait, self
    |
 LL | impl<T> Loop<T> {}
    |      ^ unconstrained type parameter
+   |
+   = note: to constrain `T`, use it in the self type, or in an equality with an associated type
 
 error[E0275]: overflow normalizing the type alias `Loop<T>`
   --> $DIR/unconstrained-params-in-impl-due-to-overflow.rs:6:16

tests/ui/lazy-type-alias/unconstrained-params-in-impl.stderr

@@ -3,6 +3,8 @@ error[E0207]: the type parameter `T` is not constrained by the impl trait, self
    |
 LL | impl<T> NotInjective<T> {}
    |      ^ unconstrained type parameter
+   |
+   = note: to constrain `T`, use it in the self type, or in an equality with an associated type
 
 error: aborting due to 1 previous error
 

tests/ui/rfcs/rfc-2632-const-trait-impl/const-impl-requires-const-trait.stderr

@@ -16,6 +16,7 @@ error[E0207]: the const parameter `host` is not constrained by the impl trait, s
 LL | impl const A for () {}
    |      ^^^^^ unconstrained const parameter
    |
+   = note: to constrain `host`, use it in the implemented trait, in the self type, or in an equality with an associated type
    = note: expressions using a const parameter must map each value to a distinct output value
    = note: proving the result of expressions other than the parameter are unique is not supported
 

tests/ui/rfcs/rfc-2632-const-trait-impl/const_derives/derive-const-non-const-type.stderr

@@ -10,6 +10,7 @@ LL | #[derive_const(Default)]
 
 error[E0207]: the const parameter `host` is not constrained by the impl trait, self type, or predicates
    |
+   = note: to constrain `host`, use it in the implemented trait, in the self type, or in an equality with an associated type
    = note: expressions using a const parameter must map each value to a distinct output value
    = note: proving the result of expressions other than the parameter are unique is not supported
 

tests/ui/rfcs/rfc-2632-const-trait-impl/const_derives/derive-const-use.stderr

@@ -19,6 +19,7 @@ error[E0207]: the const parameter `host` is not constrained by the impl trait, s
 LL | impl const Default for A {
    |      ^^^^^ unconstrained const parameter
    |
+   = note: to constrain `host`, use it in the implemented trait, in the self type, or in an equality with an associated type
    = note: expressions using a const parameter must map each value to a distinct output value
    = note: proving the result of expressions other than the parameter are unique is not supported
 
@@ -34,6 +35,7 @@ LL | #[derive_const(Default, PartialEq)]
 
 error[E0207]: the const parameter `host` is not constrained by the impl trait, self type, or predicates
    |
+   = note: to constrain `host`, use it in the implemented trait, in the self type, or in an equality with an associated type
    = note: expressions using a const parameter must map each value to a distinct output value
    = note: proving the result of expressions other than the parameter are unique is not supported
 

tests/ui/rfcs/rfc-2632-const-trait-impl/effects/span-bug-issue-121418.stderr

@@ -14,6 +14,7 @@ error[E0207]: the const parameter `host` is not constrained by the impl trait, s
 LL | impl const dyn T {
    |      ^^^^^ unconstrained const parameter
    |
+   = note: to constrain `host`, use it in the self type, or in an equality with an associated type
    = note: expressions using a const parameter must map each value to a distinct output value
    = note: proving the result of expressions other than the parameter are unique is not supported
 

tests/ui/rfcs/rfc-2632-const-trait-impl/effects/spec-effectvar-ice.stderr

@@ -34,6 +34,7 @@ error[E0207]: the const parameter `host` is not constrained by the impl trait, s
 LL | impl<T> const Foo for T {}
    |         ^^^^^ unconstrained const parameter
    |
+   = note: to constrain `host`, use it in the implemented trait, in the self type, or in an equality with an associated type
    = note: expressions using a const parameter must map each value to a distinct output value
    = note: proving the result of expressions other than the parameter are unique is not supported
 
@@ -43,6 +44,7 @@ error[E0207]: the const parameter `host` is not constrained by the impl trait, s
 LL | impl<T> const Foo for T where T: const Specialize {}
    |         ^^^^^ unconstrained const parameter
    |
+   = note: to constrain `host`, use it in the implemented trait, in the self type, or in an equality with an associated type
    = note: expressions using a const parameter must map each value to a distinct output value
    = note: proving the result of expressions other than the parameter are unique is not supported
 

tests/ui/rfcs/rfc-2632-const-trait-impl/trait-default-body-stability.stderr

@@ -22,6 +22,7 @@ error[E0207]: the const parameter `host` is not constrained by the impl trait, s
 LL | impl const Try for T {
    |      ^^^^^ unconstrained const parameter
    |
+   = note: to constrain `host`, use it in the implemented trait, in the self type, or in an equality with an associated type
    = note: expressions using a const parameter must map each value to a distinct output value
    = note: proving the result of expressions other than the parameter are unique is not supported
 
@@ -31,6 +32,7 @@ error[E0207]: the const parameter `host` is not constrained by the impl trait, s
 LL | impl const FromResidual for T {
    |      ^^^^^ unconstrained const parameter
    |
+   = note: to constrain `host`, use it in the implemented trait, in the self type, or in an equality with an associated type
    = note: expressions using a const parameter must map each value to a distinct output value
    = note: proving the result of expressions other than the parameter are unique is not supported
 

tests/ui/specialization/min_specialization/ice-const-not-fully-resolved-113045.stderr

@@ -3,6 +3,8 @@ error[E0207]: the type parameter `Unconstrained` is not constrained by the impl
    |
 LL | impl<'a, Unconstrained> X for [(); 0] {}
    |          ^^^^^^^^^^^^^ unconstrained type parameter
+   |
+   = note: to constrain `Unconstrained`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error: specialization impl does not specialize any associated items
   --> $DIR/ice-const-not-fully-resolved-113045.rs:11:1

tests/ui/traits/associated_type_bound/116464-invalid-assoc-type-suggestion-in-trait-impl.stderr

@@ -3,6 +3,8 @@ error[E0207]: the type parameter `S` is not constrained by the impl trait, self
    |
 LL | impl<T, S> Trait<T> for i32 {
    |         ^ unconstrained type parameter
+   |
+   = note: to constrain `S`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error[E0107]: trait takes 1 generic argument but 2 generic arguments were supplied
   --> $DIR/116464-invalid-assoc-type-suggestion-in-trait-impl.rs:15:12

tests/ui/type-alias-impl-trait/assoc-type-lifetime-unconstrained.stderr

@@ -3,6 +3,8 @@ error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait,
    |
 LL | impl<'a, I> UnwrapItemsExt for I {
    |      ^^ unconstrained lifetime parameter
+   |
+   = note: to constrain `'a`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error[E0792]: expected generic lifetime parameter, found `'_`
   --> $DIR/assoc-type-lifetime-unconstrained.rs:22:9

tests/ui/type-alias-impl-trait/ice-failed-to-resolve-instance-for-110696.stderr

@@ -3,6 +3,8 @@ error[E0207]: the type parameter `T` is not constrained by the impl trait, self
    |
 LL | impl<T: MyFrom<Phantom2<DummyT<U>>>, U> MyIndex<DummyT<T>> for Scope<U> {
    |      ^ unconstrained type parameter
+   |
+   = note: to constrain `T`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error: aborting due to 1 previous error
 

tests/ui/type-alias-impl-trait/impl-with-unconstrained-param.stderr

@@ -3,6 +3,8 @@ error[E0207]: the type parameter `T` is not constrained by the impl trait, self
    |
 LL | impl<T> X for () {
    |      ^ unconstrained type parameter
+   |
+   = note: to constrain `T`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error[E0282]: type annotations needed
   --> $DIR/impl-with-unconstrained-param.rs:14:23

tests/ui/type-alias-impl-trait/issue-74244.stderr

@@ -3,6 +3,8 @@ error[E0207]: the type parameter `T` is not constrained by the impl trait, self
    |
 LL | impl<T> Allocator for DefaultAllocator {
    |      ^ unconstrained type parameter
+   |
+   = note: to constrain `T`, use it in the implemented trait, in the self type, or in an equality with an associated type
 
 error[E0282]: type annotations needed
   --> $DIR/issue-74244.rs:16:13