Bless existing UI tests

LlewVallis · LlewVallis · commit e0f14e4ffdd9 · 2024-06-05T22:57:40.000+10:00
diff --git a/tests/rustdoc-ui/not-wf-ambiguous-normalization.stderr b/tests/rustdoc-ui/not-wf-ambiguous-normalization.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: aborting due to 1 previous error
 
diff --git a/tests/rustdoc-ui/synthetic-auto-trait-impls/unconstrained-param-in-impl-ambiguity.stderr b/tests/rustdoc-ui/synthetic-auto-trait-impls/unconstrained-param-in-impl-ambiguity.stderr
@@ -3,6 +3,8 @@ error[E0207]: the type parameter `Q` is not constrained by the impl trait, self
    |
 LL | unsafe impl<Q: Trait> Send for Inner {}
    |             ^ unconstrained type parameter
+   |
+   = note: to constrain `Q`, 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
 
diff --git a/tests/ui/associated-types/issue-26262.stderr b/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
 
diff --git a/tests/ui/async-await/in-trait/unconstrained-impl-region.stderr b/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
 
diff --git a/tests/ui/async-await/issues/issue-78654.full.stderr b/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
 
diff --git a/tests/ui/async-await/issues/issue-78654.min.stderr b/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
 
diff --git a/tests/ui/const-generics/ice-unexpected-inference-var-122549.stderr b/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
 
diff --git a/tests/ui/const-generics/issues/issue-68366.full.stderr b/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
 
diff --git a/tests/ui/const-generics/issues/issue-68366.min.stderr b/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
 
diff --git a/tests/ui/consts/rustc-impl-const-stability.stderr b/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
 
diff --git a/tests/ui/error-codes/E0207.stderr b/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
 
diff --git a/tests/ui/generic-associated-types/bugs/issue-87735.stderr b/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
diff --git a/tests/ui/generic-associated-types/bugs/issue-88526.stderr b/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
diff --git a/tests/ui/generic-associated-types/gat-trait-path-generic-type-arg.stderr b/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
 
diff --git a/tests/ui/impl-trait/in-trait/unconstrained-lt.stderr b/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
 
diff --git a/tests/ui/impl-trait/issues/issue-87340.stderr b/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
diff --git a/tests/ui/impl-unused-rps-in-assoc-type.stderr b/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
 
diff --git a/tests/ui/impl-unused-tps-inherent.stderr b/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
 
diff --git a/tests/ui/impl-unused-tps.stderr b/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
 
diff --git a/tests/ui/issues/issue-16562.stderr b/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
 
diff --git a/tests/ui/issues/issue-22886.stderr b/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
 
diff --git a/tests/ui/issues/issue-29861.stderr b/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
diff --git a/tests/ui/issues/issue-35139.stderr b/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
 
diff --git a/tests/ui/lazy-type-alias/unconstrained-params-in-impl-due-to-overflow.stderr b/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
diff --git a/tests/ui/lazy-type-alias/unconstrained-params-in-impl.stderr b/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
 
diff --git a/tests/ui/rfcs/rfc-2632-const-trait-impl/const-impl-requires-const-trait.stderr b/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
 
diff --git a/tests/ui/rfcs/rfc-2632-const-trait-impl/const_derives/derive-const-non-const-type.stderr b/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
 
diff --git a/tests/ui/rfcs/rfc-2632-const-trait-impl/const_derives/derive-const-use.stderr b/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
 
diff --git a/tests/ui/rfcs/rfc-2632-const-trait-impl/effects/span-bug-issue-121418.stderr b/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
 
diff --git a/tests/ui/rfcs/rfc-2632-const-trait-impl/effects/spec-effectvar-ice.stderr b/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
 
diff --git a/tests/ui/rfcs/rfc-2632-const-trait-impl/trait-default-body-stability.stderr b/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
 
diff --git a/tests/ui/specialization/min_specialization/ice-const-not-fully-resolved-113045.stderr b/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
diff --git a/tests/ui/traits/associated_type_bound/116464-invalid-assoc-type-suggestion-in-trait-impl.stderr b/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
diff --git a/tests/ui/type-alias-impl-trait/assoc-type-lifetime-unconstrained.stderr b/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
diff --git a/tests/ui/type-alias-impl-trait/ice-failed-to-resolve-instance-for-110696.stderr b/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
 
diff --git a/tests/ui/type-alias-impl-trait/impl-with-unconstrained-param.stderr b/tests/ui/type-alias-impl-trait/impl-with-unconstrained-param.stderr
diff --git a/tests/ui/type-alias-impl-trait/issue-74244.stderr b/tests/ui/type-alias-impl-trait/issue-74244.stderr
diff --git a/tests/ui/type-alias-impl-trait/issue-74761-2.stderr b/tests/ui/type-alias-impl-trait/issue-74761-2.stderr
diff --git a/tests/ui/type-alias-impl-trait/issue-74761.stderr b/tests/ui/type-alias-impl-trait/issue-74761.stderr
diff --git a/tests/ui/type-alias-impl-trait/type-alias-impl-trait-unconstrained-lifetime.stderr b/tests/ui/type-alias-impl-trait/type-alias-impl-trait-unconstrained-lifetime.stderr
diff --git a/tests/ui/type-alias-impl-trait/unconstrained-impl-param.stderr b/tests/ui/type-alias-impl-trait/unconstrained-impl-param.stderr
diff --git a/tests/ui/typeck/issue-13853-5.stderr b/tests/ui/typeck/issue-13853-5.stderr

Original file line number	Diff line number	Diff line change
@@ -3,6 +3,8 @@ error[E0207]: the type parameter `T` is not constrained by the impl trait, self
`3`	`3`	`\|`
`4`	`4`	`LL \| impl<T> Allocator for DefaultAllocator {`
`5`	`5`	`\| ^ unconstrained type parameter`
	`6`	`+ \|`
	`7`	+ = note: to constrain `T`, use it in the implemented trait, in the self type, or in an equality with an associated type
`6`	`8`
`7`	`9`	`error: aborting due to 1 previous error`
`8`	`10`
Original file line number	Diff line number	Diff line change
@@ -3,6 +3,8 @@ error[E0207]: the type parameter `Q` is not constrained by the impl trait, self
`3`	`3`	`\|`
`4`	`4`	`LL \| unsafe impl<Q: Trait> Send for Inner {}`
`5`	`5`	`\| ^ unconstrained type parameter`
	`6`	`+ \|`
	`7`	+ = note: to constrain `Q`, use it in the implemented trait, in the self type, or in an equality with an associated type
`6`	`8`
`7`	`9`	`error: aborting due to 1 previous error`
`8`	`10`
Original file line number	Diff line number	Diff line change
@@ -3,12 +3,16 @@ error[E0207]: the type parameter `T` is not constrained by the impl trait, self
`3`	`3`	`\|`
`4`	`4`	`LL \| impl<T: Tr> S<T::Assoc> {`
`5`	`5`	`\| ^ unconstrained type parameter`
	`6`	`+ \|`
	`7`	+ = note: to constrain `T`, use it in the self type, or in an equality with an associated type
`6`	`8`
`7`	`9`	error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait, self type, or predicates
`8`	`10`	`--> $DIR/issue-26262.rs:17:6`
`9`	`11`	`\|`
`10`	`12`	`LL \| impl<'a,T: Trait2<'a>> Trait1<<T as Trait2<'a>>::Foo> for T {`
`11`	`13`	`\| ^^ unconstrained lifetime parameter`
	`14`	`+ \|`
	`15`	+ = note: to constrain `'a`, use it in the implemented trait, in the self type, or in an equality with an associated type
`12`	`16`
`13`	`17`	`error: aborting due to 2 previous errors`
`14`	`18`
Original file line number	Diff line number	Diff line change
@@ -19,6 +19,8 @@ error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait,
`19`	`19`	`\|`
`20`	`20`	`LL \| impl<'a> Actor for () {`
`21`	`21`	`\| ^^ unconstrained lifetime parameter`
	`22`	`+ \|`
	`23`	+ = note: to constrain `'a`, use it in the implemented trait, in the self type, or in an equality with an associated type
`22`	`24`
`23`	`25`	`error: aborting due to 2 previous errors`
`24`	`26`
Original file line number	Diff line number	Diff line change
@@ -10,6 +10,7 @@ error[E0207]: the const parameter `H` is not constrained by the impl trait, self
`10`	`10`	`LL \| impl<const H: feature> Foo {`
`11`	`11`	`\| ^^^^^^^^^^^^^^^^ unconstrained const parameter`
`12`	`12`	`\|`
	`13`	+ = note: to constrain `H`, use it in the self type, or in an equality with an associated type
`13`	`14`	`= note: expressions using a const parameter must map each value to a distinct output value`
`14`	`15`	`= note: proving the result of expressions other than the parameter are unique is not supported`
`15`	`16`
Original file line number	Diff line number	Diff line change
@@ -52,6 +52,7 @@ error[E0207]: the const parameter `N` is not constrained by the impl trait, self
`52`	`52`	`LL \| impl<'a, T, const N: usize> Iterator for ConstChunksExact<'a, T, {}> {`
`53`	`53`	`\| ^^^^^^^^^^^^^^ unconstrained const parameter`
`54`	`54`	`\|`
	`55`	+ = note: to constrain `N`, use it in the implemented trait, in the self type, or in an equality with an associated type
`55`	`56`	`= note: expressions using a const parameter must map each value to a distinct output value`
`56`	`57`	`= note: proving the result of expressions other than the parameter are unique is not supported`
`57`	`58`
Original file line number	Diff line number	Diff line change
@@ -16,6 +16,7 @@ error[E0207]: the const parameter `N` is not constrained by the impl trait, self
`16`	`16`	`LL \| impl <const N: usize> Collatz<{Some(N)}> {}`
`17`	`17`	`\| ^^^^^^^^^^^^^^ unconstrained const parameter`
`18`	`18`	`\|`
	`19`	+ = note: to constrain `N`, use it in the self type, or in an equality with an associated type
`19`	`20`	`= note: expressions using a const parameter must map each value to a distinct output value`
`20`	`21`	`= note: proving the result of expressions other than the parameter are unique is not supported`
`21`	`22`
@@ -25,6 +26,7 @@ error[E0207]: the const parameter `N` is not constrained by the impl trait, self
`25`	`26`	`LL \| impl<const N: usize> Foo {}`
`26`	`27`	`\| ^^^^^^^^^^^^^^ unconstrained const parameter`
`27`	`28`	`\|`
	`29`	+ = note: to constrain `N`, use it in the self type, or in an equality with an associated type
`28`	`30`	`= note: expressions using a const parameter must map each value to a distinct output value`
`29`	`31`	`= note: proving the result of expressions other than the parameter are unique is not supported`
`30`	`32`
Original file line number	Diff line number	Diff line change
@@ -25,6 +25,7 @@ error[E0207]: the const parameter `N` is not constrained by the impl trait, self
`25`	`25`	`LL \| impl <const N: usize> Collatz<{Some(N)}> {}`
`26`	`26`	`\| ^^^^^^^^^^^^^^ unconstrained const parameter`
`27`	`27`	`\|`
	`28`	+ = note: to constrain `N`, use it in the self type, or in an equality with an associated type
`28`	`29`	`= note: expressions using a const parameter must map each value to a distinct output value`
`29`	`30`	`= note: proving the result of expressions other than the parameter are unique is not supported`
`30`	`31`
@@ -34,6 +35,7 @@ error[E0207]: the const parameter `N` is not constrained by the impl trait, self
`34`	`35`	`LL \| impl<const N: usize> Foo {}`
`35`	`36`	`\| ^^^^^^^^^^^^^^ unconstrained const parameter`
`36`	`37`	`\|`
	`38`	+ = note: to constrain `N`, use it in the self type, or in an equality with an associated type
`37`	`39`	`= note: expressions using a const parameter must map each value to a distinct output value`
`38`	`40`	`= note: proving the result of expressions other than the parameter are unique is not supported`
`39`	`41`
Original file line number	Diff line number	Diff line change
@@ -13,6 +13,7 @@ error[E0207]: the const parameter `host` is not constrained by the impl trait, s
`13`	`13`	`LL \| impl const Default for Data {`
`14`	`14`	`\| ^^^^^ unconstrained const parameter`
`15`	`15`	`\|`
	`16`	+ = note: to constrain `host`, use it in the implemented trait, in the self type, or in an equality with an associated type
`16`	`17`	`= note: expressions using a const parameter must map each value to a distinct output value`
`17`	`18`	`= note: proving the result of expressions other than the parameter are unique is not supported`
`18`	`19`