Merging upstream version 1.68.2+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

162 files changed, 63 insertions, 2 deletions

diff --git a/src/test/ui/specialization/README-rpass.md b/tests/ui/specialization/README-rpass.md
index c1486ce1e..c1486ce1e 100644
--- a/src/test/ui/specialization/README-rpass.md
+++ b/tests/ui/specialization/README-rpass.md
diff --git a/src/test/ui/specialization/README.md b/tests/ui/specialization/README.md
index f2b4bf946..f2b4bf946 100644
--- a/src/test/ui/specialization/README.md
+++ b/tests/ui/specialization/README.md
diff --git a/src/test/ui/specialization/assoc-ty-graph-cycle.rs b/tests/ui/specialization/assoc-ty-graph-cycle.rs
index fc39b553a..fc39b553a 100644
--- a/src/test/ui/specialization/assoc-ty-graph-cycle.rs
+++ b/tests/ui/specialization/assoc-ty-graph-cycle.rs
diff --git a/src/test/ui/specialization/assoc-ty-graph-cycle.stderr b/tests/ui/specialization/assoc-ty-graph-cycle.stderr
index f5529c24d..f5529c24d 100644
--- a/src/test/ui/specialization/assoc-ty-graph-cycle.stderr
+++ b/tests/ui/specialization/assoc-ty-graph-cycle.stderr
diff --git a/src/test/ui/specialization/auxiliary/cross_crates_defaults.rs b/tests/ui/specialization/auxiliary/cross_crates_defaults.rs
index 1e5555355..1e5555355 100644
--- a/src/test/ui/specialization/auxiliary/cross_crates_defaults.rs
+++ b/tests/ui/specialization/auxiliary/cross_crates_defaults.rs
diff --git a/src/test/ui/specialization/auxiliary/go_trait.rs b/tests/ui/specialization/auxiliary/go_trait.rs
index aa0ec2289..aa0ec2289 100644
--- a/src/test/ui/specialization/auxiliary/go_trait.rs
+++ b/tests/ui/specialization/auxiliary/go_trait.rs
diff --git a/src/test/ui/specialization/auxiliary/specialization_cross_crate.rs b/tests/ui/specialization/auxiliary/specialization_cross_crate.rs
index 8caa8524f..8caa8524f 100644
--- a/src/test/ui/specialization/auxiliary/specialization_cross_crate.rs
+++ b/tests/ui/specialization/auxiliary/specialization_cross_crate.rs
diff --git a/src/test/ui/specialization/const_trait_impl.rs b/tests/ui/specialization/const_trait_impl.rs
index 05ba4c8d4..05ba4c8d4 100644
--- a/src/test/ui/specialization/const_trait_impl.rs
+++ b/tests/ui/specialization/const_trait_impl.rs
diff --git a/src/test/ui/specialization/cross-crate-defaults.rs b/tests/ui/specialization/cross-crate-defaults.rs
index fc28d0c81..fc28d0c81 100644
--- a/src/test/ui/specialization/cross-crate-defaults.rs
+++ b/tests/ui/specialization/cross-crate-defaults.rs
diff --git a/src/test/ui/specialization/cross-crate-defaults.stderr b/tests/ui/specialization/cross-crate-defaults.stderr
index ee5c77a76..ee5c77a76 100644
--- a/src/test/ui/specialization/cross-crate-defaults.stderr
+++ b/tests/ui/specialization/cross-crate-defaults.stderr
diff --git a/src/test/ui/specialization/default-associated-type-bound-1.rs b/tests/ui/specialization/default-associated-type-bound-1.rs
index c043114b5..c043114b5 100644
--- a/src/test/ui/specialization/default-associated-type-bound-1.rs
+++ b/tests/ui/specialization/default-associated-type-bound-1.rs
diff --git a/src/test/ui/specialization/default-associated-type-bound-1.stderr b/tests/ui/specialization/default-associated-type-bound-1.stderr
index e498187c0..e498187c0 100644
--- a/src/test/ui/specialization/default-associated-type-bound-1.stderr
+++ b/tests/ui/specialization/default-associated-type-bound-1.stderr
diff --git a/src/test/ui/specialization/default-associated-type-bound-2.rs b/tests/ui/specialization/default-associated-type-bound-2.rs
index 0a21b1f09..0a21b1f09 100644
--- a/src/test/ui/specialization/default-associated-type-bound-2.rs
+++ b/tests/ui/specialization/default-associated-type-bound-2.rs
diff --git a/src/test/ui/specialization/default-associated-type-bound-2.stderr b/tests/ui/specialization/default-associated-type-bound-2.stderr
index 4dbe251ed..4dbe251ed 100644
--- a/src/test/ui/specialization/default-associated-type-bound-2.stderr
+++ b/tests/ui/specialization/default-associated-type-bound-2.stderr
diff --git a/src/test/ui/specialization/default-generic-associated-type-bound.rs b/tests/ui/specialization/default-generic-associated-type-bound.rs
index 31a0685d0..31a0685d0 100644
--- a/src/test/ui/specialization/default-generic-associated-type-bound.rs
+++ b/tests/ui/specialization/default-generic-associated-type-bound.rs
diff --git a/src/test/ui/specialization/default-generic-associated-type-bound.stderr b/tests/ui/specialization/default-generic-associated-type-bound.stderr
index c597eed37..c597eed37 100644
--- a/src/test/ui/specialization/default-generic-associated-type-bound.stderr
+++ b/tests/ui/specialization/default-generic-associated-type-bound.stderr
diff --git a/src/test/ui/specialization/defaultimpl/allowed-cross-crate.rs b/tests/ui/specialization/defaultimpl/allowed-cross-crate.rs
index 5d67160eb..5d67160eb 100644
--- a/src/test/ui/specialization/defaultimpl/allowed-cross-crate.rs
+++ b/tests/ui/specialization/defaultimpl/allowed-cross-crate.rs
diff --git a/src/test/ui/specialization/defaultimpl/allowed-cross-crate.stderr b/tests/ui/specialization/defaultimpl/allowed-cross-crate.stderr
index 02f13d461..02f13d461 100644
--- a/src/test/ui/specialization/defaultimpl/allowed-cross-crate.stderr
+++ b/tests/ui/specialization/defaultimpl/allowed-cross-crate.stderr
diff --git a/src/test/ui/specialization/defaultimpl/auxiliary/go_trait.rs b/tests/ui/specialization/defaultimpl/auxiliary/go_trait.rs
index c065593b4..c065593b4 100644
--- a/src/test/ui/specialization/defaultimpl/auxiliary/go_trait.rs
+++ b/tests/ui/specialization/defaultimpl/auxiliary/go_trait.rs
diff --git a/src/test/ui/specialization/defaultimpl/out-of-order.rs b/tests/ui/specialization/defaultimpl/out-of-order.rs
index 13258ac8c..13258ac8c 100644
--- a/src/test/ui/specialization/defaultimpl/out-of-order.rs
+++ b/tests/ui/specialization/defaultimpl/out-of-order.rs
diff --git a/src/test/ui/specialization/defaultimpl/out-of-order.stderr b/tests/ui/specialization/defaultimpl/out-of-order.stderr
index 2cf1ac909..2cf1ac909 100644
--- a/src/test/ui/specialization/defaultimpl/out-of-order.stderr
+++ b/tests/ui/specialization/defaultimpl/out-of-order.stderr
diff --git a/src/test/ui/specialization/defaultimpl/overlap-projection.rs b/tests/ui/specialization/defaultimpl/overlap-projection.rs
index 0add4d551..0add4d551 100644
--- a/src/test/ui/specialization/defaultimpl/overlap-projection.rs
+++ b/tests/ui/specialization/defaultimpl/overlap-projection.rs
diff --git a/src/test/ui/specialization/defaultimpl/overlap-projection.stderr b/tests/ui/specialization/defaultimpl/overlap-projection.stderr
index 75fdfafd9..75fdfafd9 100644
--- a/src/test/ui/specialization/defaultimpl/overlap-projection.stderr
+++ b/tests/ui/specialization/defaultimpl/overlap-projection.stderr
diff --git a/src/test/ui/specialization/defaultimpl/projection.rs b/tests/ui/specialization/defaultimpl/projection.rs
index f19c55b04..f19c55b04 100644
--- a/src/test/ui/specialization/defaultimpl/projection.rs
+++ b/tests/ui/specialization/defaultimpl/projection.rs
diff --git a/src/test/ui/specialization/defaultimpl/projection.stderr b/tests/ui/specialization/defaultimpl/projection.stderr
index cc3fe8237..cc3fe8237 100644
--- a/src/test/ui/specialization/defaultimpl/projection.stderr
+++ b/tests/ui/specialization/defaultimpl/projection.stderr
diff --git a/src/test/ui/specialization/defaultimpl/specialization-feature-gate-default.rs b/tests/ui/specialization/defaultimpl/specialization-feature-gate-default.rs
index 89158b65a..89158b65a 100644
--- a/src/test/ui/specialization/defaultimpl/specialization-feature-gate-default.rs
+++ b/tests/ui/specialization/defaultimpl/specialization-feature-gate-default.rs
diff --git a/src/test/ui/specialization/defaultimpl/specialization-feature-gate-default.stderr b/tests/ui/specialization/defaultimpl/specialization-feature-gate-default.stderr
index 64e14f580..64e14f580 100644
--- a/src/test/ui/specialization/defaultimpl/specialization-feature-gate-default.stderr
+++ b/tests/ui/specialization/defaultimpl/specialization-feature-gate-default.stderr
diff --git a/src/test/ui/specialization/defaultimpl/specialization-no-default.rs b/tests/ui/specialization/defaultimpl/specialization-no-default.rs
index 661724eef..661724eef 100644
--- a/src/test/ui/specialization/defaultimpl/specialization-no-default.rs
+++ b/tests/ui/specialization/defaultimpl/specialization-no-default.rs
diff --git a/src/test/ui/specialization/defaultimpl/specialization-no-default.stderr b/tests/ui/specialization/defaultimpl/specialization-no-default.stderr
index 770be2af2..770be2af2 100644
--- a/src/test/ui/specialization/defaultimpl/specialization-no-default.stderr
+++ b/tests/ui/specialization/defaultimpl/specialization-no-default.stderr
diff --git a/src/test/ui/specialization/defaultimpl/specialization-trait-item-not-implemented-rpass.rs b/tests/ui/specialization/defaultimpl/specialization-trait-item-not-implemented-rpass.rs
index 89fef5b5e..89fef5b5e 100644
--- a/src/test/ui/specialization/defaultimpl/specialization-trait-item-not-implemented-rpass.rs
+++ b/tests/ui/specialization/defaultimpl/specialization-trait-item-not-implemented-rpass.rs
diff --git a/src/test/ui/specialization/defaultimpl/specialization-trait-item-not-implemented-rpass.stderr b/tests/ui/specialization/defaultimpl/specialization-trait-item-not-implemented-rpass.stderr
index 407c1ab77..407c1ab77 100644
--- a/src/test/ui/specialization/defaultimpl/specialization-trait-item-not-implemented-rpass.stderr
+++ b/tests/ui/specialization/defaultimpl/specialization-trait-item-not-implemented-rpass.stderr
diff --git a/src/test/ui/specialization/defaultimpl/specialization-trait-item-not-implemented.rs b/tests/ui/specialization/defaultimpl/specialization-trait-item-not-implemented.rs
index 3c5414469..3c5414469 100644
--- a/src/test/ui/specialization/defaultimpl/specialization-trait-item-not-implemented.rs
+++ b/tests/ui/specialization/defaultimpl/specialization-trait-item-not-implemented.rs
diff --git a/src/test/ui/specialization/defaultimpl/specialization-trait-item-not-implemented.stderr b/tests/ui/specialization/defaultimpl/specialization-trait-item-not-implemented.stderr
index f19975060..f19975060 100644
--- a/src/test/ui/specialization/defaultimpl/specialization-trait-item-not-implemented.stderr
+++ b/tests/ui/specialization/defaultimpl/specialization-trait-item-not-implemented.stderr
diff --git a/src/test/ui/specialization/defaultimpl/specialization-trait-not-implemented.rs b/tests/ui/specialization/defaultimpl/specialization-trait-not-implemented.rs
index 6834d5736..6834d5736 100644
--- a/src/test/ui/specialization/defaultimpl/specialization-trait-not-implemented.rs
+++ b/tests/ui/specialization/defaultimpl/specialization-trait-not-implemented.rs
diff --git a/src/test/ui/specialization/defaultimpl/specialization-trait-not-implemented.stderr b/tests/ui/specialization/defaultimpl/specialization-trait-not-implemented.stderr
index 33ca7a2c2..37788612f 100644
--- a/src/test/ui/specialization/defaultimpl/specialization-trait-not-implemented.stderr
+++ b/tests/ui/specialization/defaultimpl/specialization-trait-not-implemented.stderr
@@ -27,7 +27,7 @@ LL | default impl<T> Foo for T {
    | ^^^^^^^^^^^^^^^^---^^^^^-
    | |
    | unsatisfied trait bound introduced here
-note: the following trait must be implemented
+note: the trait `Foo` must be implemented
   --> $DIR/specialization-trait-not-implemented.rs:7:1
    |
 LL | trait Foo {
diff --git a/src/test/ui/specialization/defaultimpl/specialization-wfcheck.rs b/tests/ui/specialization/defaultimpl/specialization-wfcheck.rs
index eb18d6eaa..eb18d6eaa 100644
--- a/src/test/ui/specialization/defaultimpl/specialization-wfcheck.rs
+++ b/tests/ui/specialization/defaultimpl/specialization-wfcheck.rs
diff --git a/src/test/ui/specialization/defaultimpl/specialization-wfcheck.stderr b/tests/ui/specialization/defaultimpl/specialization-wfcheck.stderr
index e78016034..e78016034 100644
--- a/src/test/ui/specialization/defaultimpl/specialization-wfcheck.stderr
+++ b/tests/ui/specialization/defaultimpl/specialization-wfcheck.stderr
diff --git a/src/test/ui/specialization/defaultimpl/validation.rs b/tests/ui/specialization/defaultimpl/validation.rs
index 8558a1efb..8558a1efb 100644
--- a/src/test/ui/specialization/defaultimpl/validation.rs
+++ b/tests/ui/specialization/defaultimpl/validation.rs
diff --git a/src/test/ui/specialization/defaultimpl/validation.stderr b/tests/ui/specialization/defaultimpl/validation.stderr
index eb6dc9355..eb6dc9355 100644
--- a/src/test/ui/specialization/defaultimpl/validation.stderr
+++ b/tests/ui/specialization/defaultimpl/validation.stderr
diff --git a/src/test/ui/specialization/issue-33017.rs b/tests/ui/specialization/issue-33017.rs
index 8dbadf58d..8dbadf58d 100644
--- a/src/test/ui/specialization/issue-33017.rs
+++ b/tests/ui/specialization/issue-33017.rs
diff --git a/src/test/ui/specialization/issue-33017.stderr b/tests/ui/specialization/issue-33017.stderr
index 78e94cec2..78e94cec2 100644
--- a/src/test/ui/specialization/issue-33017.stderr
+++ b/tests/ui/specialization/issue-33017.stderr
diff --git a/src/test/ui/specialization/issue-35376.rs b/tests/ui/specialization/issue-35376.rs
index cc35213b9..cc35213b9 100644
--- a/src/test/ui/specialization/issue-35376.rs
+++ b/tests/ui/specialization/issue-35376.rs
diff --git a/src/test/ui/specialization/issue-35376.stderr b/tests/ui/specialization/issue-35376.stderr
index 6c4167f3f..6c4167f3f 100644
--- a/src/test/ui/specialization/issue-35376.stderr
+++ b/tests/ui/specialization/issue-35376.stderr
diff --git a/src/test/ui/specialization/issue-36804.rs b/tests/ui/specialization/issue-36804.rs
index 89350602f..89350602f 100644
--- a/src/test/ui/specialization/issue-36804.rs
+++ b/tests/ui/specialization/issue-36804.rs
diff --git a/src/test/ui/specialization/issue-36804.stderr b/tests/ui/specialization/issue-36804.stderr
index c2113b25f..c2113b25f 100644
--- a/src/test/ui/specialization/issue-36804.stderr
+++ b/tests/ui/specialization/issue-36804.stderr
diff --git a/src/test/ui/specialization/issue-38091-2.rs b/tests/ui/specialization/issue-38091-2.rs
index 9ed0b240d..9ed0b240d 100644
--- a/src/test/ui/specialization/issue-38091-2.rs
+++ b/tests/ui/specialization/issue-38091-2.rs
diff --git a/src/test/ui/specialization/issue-38091-2.stderr b/tests/ui/specialization/issue-38091-2.stderr
index 117fb10bb..5a05f9c27 100644
--- a/src/test/ui/specialization/issue-38091-2.stderr
+++ b/tests/ui/specialization/issue-38091-2.stderr
@@ -15,6 +15,9 @@ note: required for `i32` to implement `Iterate<'_>`
    |
 LL | impl<'a, T> Iterate<'a> for T
    |             ^^^^^^^^^^^     ^
+LL | where
+LL |     T: Check,
+   |        ----- unsatisfied trait bound introduced here
 
 error: aborting due to previous error; 1 warning emitted
 
diff --git a/src/test/ui/specialization/issue-38091.rs b/tests/ui/specialization/issue-38091.rs
index 5b398368a..5b398368a 100644
--- a/src/test/ui/specialization/issue-38091.rs
+++ b/tests/ui/specialization/issue-38091.rs
diff --git a/src/test/ui/specialization/issue-38091.stderr b/tests/ui/specialization/issue-38091.stderr
index f2210a407..f2210a407 100644
--- a/src/test/ui/specialization/issue-38091.stderr
+++ b/tests/ui/specialization/issue-38091.stderr
diff --git a/src/test/ui/specialization/issue-39448.rs b/tests/ui/specialization/issue-39448.rs
index a15c4bd6b..a15c4bd6b 100644
--- a/src/test/ui/specialization/issue-39448.rs
+++ b/tests/ui/specialization/issue-39448.rs
diff --git a/src/test/ui/specialization/issue-39448.stderr b/tests/ui/specialization/issue-39448.stderr
index 60157d9a3..9ce51d113 100644
--- a/src/test/ui/specialization/issue-39448.stderr
+++ b/tests/ui/specialization/issue-39448.stderr
@@ -18,12 +18,17 @@ note: required for `T` to implement `FromA<U>`
   --> $DIR/issue-39448.rs:24:29
    |
 LL | impl<T: A, U: A + FromA<T>> FromA<T> for U {
-   |                             ^^^^^^^^     ^
+   |                   --------  ^^^^^^^^     ^
+   |                   |
+   |                   unsatisfied trait bound introduced here
 note: required for `U` to implement `ToA<T>`
   --> $DIR/issue-39448.rs:34:12
    |
 LL | impl<T, U> ToA<U> for T
    |            ^^^^^^     ^
+LL | where
+LL |     U: FromA<T>,
+   |        -------- unsatisfied trait bound introduced here
 
 error: aborting due to previous error; 1 warning emitted
 
diff --git a/src/test/ui/specialization/issue-39618.rs b/tests/ui/specialization/issue-39618.rs
index 72630ee9c..72630ee9c 100644
--- a/src/test/ui/specialization/issue-39618.rs
+++ b/tests/ui/specialization/issue-39618.rs
diff --git a/src/test/ui/specialization/issue-39618.stderr b/tests/ui/specialization/issue-39618.stderr
index 19de60c7c..19de60c7c 100644
--- a/src/test/ui/specialization/issue-39618.stderr
+++ b/tests/ui/specialization/issue-39618.stderr
diff --git a/src/test/ui/specialization/issue-43037.current.stderr b/tests/ui/specialization/issue-43037.current.stderr
index 26db9d7c9..26db9d7c9 100644
--- a/src/test/ui/specialization/issue-43037.current.stderr
+++ b/tests/ui/specialization/issue-43037.current.stderr
diff --git a/src/test/ui/specialization/issue-43037.negative.stderr b/tests/ui/specialization/issue-43037.negative.stderr
index 26db9d7c9..26db9d7c9 100644
--- a/src/test/ui/specialization/issue-43037.negative.stderr
+++ b/tests/ui/specialization/issue-43037.negative.stderr
diff --git a/src/test/ui/specialization/issue-43037.rs b/tests/ui/specialization/issue-43037.rs
index a1e3f998b..a1e3f998b 100644
--- a/src/test/ui/specialization/issue-43037.rs
+++ b/tests/ui/specialization/issue-43037.rs
diff --git a/src/test/ui/specialization/issue-44861.rs b/tests/ui/specialization/issue-44861.rs
index 79d9b9490..79d9b9490 100644
--- a/src/test/ui/specialization/issue-44861.rs
+++ b/tests/ui/specialization/issue-44861.rs
diff --git a/src/test/ui/specialization/issue-44861.stderr b/tests/ui/specialization/issue-44861.stderr
index 1941d40fe..1941d40fe 100644
--- a/src/test/ui/specialization/issue-44861.stderr
+++ b/tests/ui/specialization/issue-44861.stderr
diff --git a/src/test/ui/specialization/issue-45814.current.stderr b/tests/ui/specialization/issue-45814.current.stderr
index 5013559b8..5013559b8 100644
--- a/src/test/ui/specialization/issue-45814.current.stderr
+++ b/tests/ui/specialization/issue-45814.current.stderr
diff --git a/src/test/ui/specialization/issue-45814.negative.stderr b/tests/ui/specialization/issue-45814.negative.stderr
index 5013559b8..5013559b8 100644
--- a/src/test/ui/specialization/issue-45814.negative.stderr
+++ b/tests/ui/specialization/issue-45814.negative.stderr
diff --git a/src/test/ui/specialization/issue-45814.rs b/tests/ui/specialization/issue-45814.rs
index fce236390..fce236390 100644
--- a/src/test/ui/specialization/issue-45814.rs
+++ b/tests/ui/specialization/issue-45814.rs
diff --git a/src/test/ui/specialization/issue-50452-fail.rs b/tests/ui/specialization/issue-50452-fail.rs
index fe21e9b6e..fe21e9b6e 100644
--- a/src/test/ui/specialization/issue-50452-fail.rs
+++ b/tests/ui/specialization/issue-50452-fail.rs
diff --git a/src/test/ui/specialization/issue-50452-fail.stderr b/tests/ui/specialization/issue-50452-fail.stderr
index 5c136adc4..5c136adc4 100644
--- a/src/test/ui/specialization/issue-50452-fail.stderr
+++ b/tests/ui/specialization/issue-50452-fail.stderr
diff --git a/src/test/ui/specialization/issue-50452.rs b/tests/ui/specialization/issue-50452.rs
index 29fc12066..29fc12066 100644
--- a/src/test/ui/specialization/issue-50452.rs
+++ b/tests/ui/specialization/issue-50452.rs
diff --git a/src/test/ui/specialization/issue-50452.stderr b/tests/ui/specialization/issue-50452.stderr
index 48cab9dcd..48cab9dcd 100644
--- a/src/test/ui/specialization/issue-50452.stderr
+++ b/tests/ui/specialization/issue-50452.stderr
diff --git a/src/test/ui/specialization/issue-51892.rs b/tests/ui/specialization/issue-51892.rs
index 5c0625414..5c0625414 100644
--- a/src/test/ui/specialization/issue-51892.rs
+++ b/tests/ui/specialization/issue-51892.rs
diff --git a/src/test/ui/specialization/issue-51892.stderr b/tests/ui/specialization/issue-51892.stderr
index cb46db836..cb46db836 100644
--- a/src/test/ui/specialization/issue-51892.stderr
+++ b/tests/ui/specialization/issue-51892.stderr
diff --git a/src/test/ui/specialization/issue-52050.rs b/tests/ui/specialization/issue-52050.rs
index 804658702..804658702 100644
--- a/src/test/ui/specialization/issue-52050.rs
+++ b/tests/ui/specialization/issue-52050.rs
diff --git a/src/test/ui/specialization/issue-52050.stderr b/tests/ui/specialization/issue-52050.stderr
index c263fe467..c263fe467 100644
--- a/src/test/ui/specialization/issue-52050.stderr
+++ b/tests/ui/specialization/issue-52050.stderr
diff --git a/src/test/ui/specialization/issue-59435.rs b/tests/ui/specialization/issue-59435.rs
index 323900256..323900256 100644
--- a/src/test/ui/specialization/issue-59435.rs
+++ b/tests/ui/specialization/issue-59435.rs
diff --git a/src/test/ui/specialization/issue-59435.stderr b/tests/ui/specialization/issue-59435.stderr
index 211459406..211459406 100644
--- a/src/test/ui/specialization/issue-59435.stderr
+++ b/tests/ui/specialization/issue-59435.stderr
diff --git a/src/test/ui/specialization/issue-63716-parse-async.rs b/tests/ui/specialization/issue-63716-parse-async.rs
index 10f185c33..10f185c33 100644
--- a/src/test/ui/specialization/issue-63716-parse-async.rs
+++ b/tests/ui/specialization/issue-63716-parse-async.rs
diff --git a/src/test/ui/specialization/issue-63716-parse-async.stderr b/tests/ui/specialization/issue-63716-parse-async.stderr
index a00572da8..a00572da8 100644
--- a/src/test/ui/specialization/issue-63716-parse-async.stderr
+++ b/tests/ui/specialization/issue-63716-parse-async.stderr
diff --git a/src/test/ui/specialization/issue-68830-spurious-diagnostics.rs b/tests/ui/specialization/issue-68830-spurious-diagnostics.rs
index d11ec7983..d11ec7983 100644
--- a/src/test/ui/specialization/issue-68830-spurious-diagnostics.rs
+++ b/tests/ui/specialization/issue-68830-spurious-diagnostics.rs
diff --git a/src/test/ui/specialization/issue-68830-spurious-diagnostics.stderr b/tests/ui/specialization/issue-68830-spurious-diagnostics.stderr
index 833f61dca..833f61dca 100644
--- a/src/test/ui/specialization/issue-68830-spurious-diagnostics.stderr
+++ b/tests/ui/specialization/issue-68830-spurious-diagnostics.stderr
diff --git a/src/test/ui/specialization/issue-70442.rs b/tests/ui/specialization/issue-70442.rs
index d41b5355c..d41b5355c 100644
--- a/src/test/ui/specialization/issue-70442.rs
+++ b/tests/ui/specialization/issue-70442.rs
diff --git a/src/test/ui/specialization/issue-70442.stderr b/tests/ui/specialization/issue-70442.stderr
index aa72c3286..aa72c3286 100644
--- a/src/test/ui/specialization/issue-70442.stderr
+++ b/tests/ui/specialization/issue-70442.stderr
diff --git a/src/test/ui/specialization/min_specialization/auxiliary/specialization-trait.rs b/tests/ui/specialization/min_specialization/auxiliary/specialization-trait.rs
index 6ec0d261d..6ec0d261d 100644
--- a/src/test/ui/specialization/min_specialization/auxiliary/specialization-trait.rs
+++ b/tests/ui/specialization/min_specialization/auxiliary/specialization-trait.rs
diff --git a/src/test/ui/specialization/min_specialization/dyn-trait-assoc-types.rs b/tests/ui/specialization/min_specialization/dyn-trait-assoc-types.rs
index 03cab00b0..03cab00b0 100644
--- a/src/test/ui/specialization/min_specialization/dyn-trait-assoc-types.rs
+++ b/tests/ui/specialization/min_specialization/dyn-trait-assoc-types.rs
diff --git a/src/test/ui/specialization/min_specialization/dyn-trait-assoc-types.stderr b/tests/ui/specialization/min_specialization/dyn-trait-assoc-types.stderr
index db5558f16..db5558f16 100644
--- a/src/test/ui/specialization/min_specialization/dyn-trait-assoc-types.stderr
+++ b/tests/ui/specialization/min_specialization/dyn-trait-assoc-types.stderr
diff --git a/src/test/ui/specialization/min_specialization/impl-on-nonexisting.rs b/tests/ui/specialization/min_specialization/impl-on-nonexisting.rs
index 77a64320d..77a64320d 100644
--- a/src/test/ui/specialization/min_specialization/impl-on-nonexisting.rs
+++ b/tests/ui/specialization/min_specialization/impl-on-nonexisting.rs
diff --git a/src/test/ui/specialization/min_specialization/impl-on-nonexisting.stderr b/tests/ui/specialization/min_specialization/impl-on-nonexisting.stderr
index b032ccbe5..b032ccbe5 100644
--- a/src/test/ui/specialization/min_specialization/impl-on-nonexisting.stderr
+++ b/tests/ui/specialization/min_specialization/impl-on-nonexisting.stderr
diff --git a/src/test/ui/specialization/min_specialization/impl_specialization_trait.rs b/tests/ui/specialization/min_specialization/impl_specialization_trait.rs
index 723ed71c3..723ed71c3 100644
--- a/src/test/ui/specialization/min_specialization/impl_specialization_trait.rs
+++ b/tests/ui/specialization/min_specialization/impl_specialization_trait.rs
diff --git a/src/test/ui/specialization/min_specialization/impl_specialization_trait.stderr b/tests/ui/specialization/min_specialization/impl_specialization_trait.stderr
index 934103d49..934103d49 100644
--- a/src/test/ui/specialization/min_specialization/impl_specialization_trait.stderr
+++ b/tests/ui/specialization/min_specialization/impl_specialization_trait.stderr
diff --git a/src/test/ui/specialization/min_specialization/implcit-well-formed-bounds.rs b/tests/ui/specialization/min_specialization/implcit-well-formed-bounds.rs
index 98d7f9194..98d7f9194 100644
--- a/src/test/ui/specialization/min_specialization/implcit-well-formed-bounds.rs
+++ b/tests/ui/specialization/min_specialization/implcit-well-formed-bounds.rs
diff --git a/tests/ui/specialization/min_specialization/issue-79224.rs b/tests/ui/specialization/min_specialization/issue-79224.rs
new file mode 100644
index 000000000..104bddd07
--- /dev/null
+++ b/tests/ui/specialization/min_specialization/issue-79224.rs
@@ -0,0 +1,26 @@
+#![feature(min_specialization)]
+use std::fmt::{self, Display};
+
+pub enum Cow<'a, B: ?Sized + 'a, O = <B as ToOwned>::Owned>
+where
+    B: ToOwned,
+{
+    Borrowed(&'a B),
+    Owned(O),
+}
+
+impl ToString for Cow<'_, str> {
+    fn to_string(&self) -> String {
+        String::new()
+    }
+}
+
+impl<B: ?Sized> Display for Cow<'_, B> {
+    //~^ ERROR: the trait bound `B: Clone` is not satisfied [E0277]
+    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
+        //~^ ERROR: the trait bound `B: Clone` is not satisfied [E0277]
+        write!(f, "foo")
+    }
+}
+
+fn main() {}
diff --git a/tests/ui/specialization/min_specialization/issue-79224.stderr b/tests/ui/specialization/min_specialization/issue-79224.stderr
new file mode 100644
index 000000000..505baa23c
--- /dev/null
+++ b/tests/ui/specialization/min_specialization/issue-79224.stderr
@@ -0,0 +1,27 @@
+error[E0277]: the trait bound `B: Clone` is not satisfied
+  --> $DIR/issue-79224.rs:18:29
+   |
+LL | impl<B: ?Sized> Display for Cow<'_, B> {
+   |                             ^^^^^^^^^^ the trait `Clone` is not implemented for `B`
+   |
+   = note: required for `B` to implement `ToOwned`
+help: consider further restricting this bound
+   |
+LL | impl<B: ?Sized + std::clone::Clone> Display for Cow<'_, B> {
+   |                +++++++++++++++++++
+
+error[E0277]: the trait bound `B: Clone` is not satisfied
+  --> $DIR/issue-79224.rs:20:12
+   |
+LL |     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
+   |            ^^^^^ the trait `Clone` is not implemented for `B`
+   |
+   = note: required for `B` to implement `ToOwned`
+help: consider further restricting this bound
+   |
+LL | impl<B: ?Sized + std::clone::Clone> Display for Cow<'_, B> {
+   |                +++++++++++++++++++
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0277`.
diff --git a/src/test/ui/specialization/min_specialization/repeated_projection_type.rs b/tests/ui/specialization/min_specialization/repeated_projection_type.rs
index f21f39f06..f21f39f06 100644
--- a/src/test/ui/specialization/min_specialization/repeated_projection_type.rs
+++ b/tests/ui/specialization/min_specialization/repeated_projection_type.rs
diff --git a/src/test/ui/specialization/min_specialization/repeated_projection_type.stderr b/tests/ui/specialization/min_specialization/repeated_projection_type.stderr
index a751ba793..a751ba793 100644
--- a/src/test/ui/specialization/min_specialization/repeated_projection_type.stderr
+++ b/tests/ui/specialization/min_specialization/repeated_projection_type.stderr
diff --git a/src/test/ui/specialization/min_specialization/repeating_lifetimes.rs b/tests/ui/specialization/min_specialization/repeating_lifetimes.rs
index 49bfacec0..49bfacec0 100644
--- a/src/test/ui/specialization/min_specialization/repeating_lifetimes.rs
+++ b/tests/ui/specialization/min_specialization/repeating_lifetimes.rs
diff --git a/src/test/ui/specialization/min_specialization/repeating_lifetimes.stderr b/tests/ui/specialization/min_specialization/repeating_lifetimes.stderr
index 16dccb10b..16dccb10b 100644
--- a/src/test/ui/specialization/min_specialization/repeating_lifetimes.stderr
+++ b/tests/ui/specialization/min_specialization/repeating_lifetimes.stderr
diff --git a/src/test/ui/specialization/min_specialization/repeating_param.rs b/tests/ui/specialization/min_specialization/repeating_param.rs
index 5a1c97fd3..5a1c97fd3 100644
--- a/src/test/ui/specialization/min_specialization/repeating_param.rs
+++ b/tests/ui/specialization/min_specialization/repeating_param.rs
diff --git a/src/test/ui/specialization/min_specialization/repeating_param.stderr b/tests/ui/specialization/min_specialization/repeating_param.stderr
index 5e6adf723..5e6adf723 100644
--- a/src/test/ui/specialization/min_specialization/repeating_param.stderr
+++ b/tests/ui/specialization/min_specialization/repeating_param.stderr
diff --git a/src/test/ui/specialization/min_specialization/spec-iter.rs b/tests/ui/specialization/min_specialization/spec-iter.rs
index e17e9dd5f..e17e9dd5f 100644
--- a/src/test/ui/specialization/min_specialization/spec-iter.rs
+++ b/tests/ui/specialization/min_specialization/spec-iter.rs
diff --git a/src/test/ui/specialization/min_specialization/spec-marker-supertraits.rs b/tests/ui/specialization/min_specialization/spec-marker-supertraits.rs
index 3bb2480e9..3bb2480e9 100644
--- a/src/test/ui/specialization/min_specialization/spec-marker-supertraits.rs
+++ b/tests/ui/specialization/min_specialization/spec-marker-supertraits.rs
diff --git a/src/test/ui/specialization/min_specialization/spec-marker-supertraits.stderr b/tests/ui/specialization/min_specialization/spec-marker-supertraits.stderr
index ba9d6bbe3..ba9d6bbe3 100644
--- a/src/test/ui/specialization/min_specialization/spec-marker-supertraits.stderr
+++ b/tests/ui/specialization/min_specialization/spec-marker-supertraits.stderr
diff --git a/src/test/ui/specialization/min_specialization/spec-reference.rs b/tests/ui/specialization/min_specialization/spec-reference.rs
index 377889e2c..377889e2c 100644
--- a/src/test/ui/specialization/min_specialization/spec-reference.rs
+++ b/tests/ui/specialization/min_specialization/spec-reference.rs
diff --git a/src/test/ui/specialization/min_specialization/specialization_marker.rs b/tests/ui/specialization/min_specialization/specialization_marker.rs
index 93462d02e..93462d02e 100644
--- a/src/test/ui/specialization/min_specialization/specialization_marker.rs
+++ b/tests/ui/specialization/min_specialization/specialization_marker.rs
diff --git a/src/test/ui/specialization/min_specialization/specialization_marker.stderr b/tests/ui/specialization/min_specialization/specialization_marker.stderr
index b47c14f3c..b47c14f3c 100644
--- a/src/test/ui/specialization/min_specialization/specialization_marker.stderr
+++ b/tests/ui/specialization/min_specialization/specialization_marker.stderr
diff --git a/src/test/ui/specialization/min_specialization/specialization_super_trait.rs b/tests/ui/specialization/min_specialization/specialization_super_trait.rs
index 145f376ed..145f376ed 100644
--- a/src/test/ui/specialization/min_specialization/specialization_super_trait.rs
+++ b/tests/ui/specialization/min_specialization/specialization_super_trait.rs
diff --git a/src/test/ui/specialization/min_specialization/specialization_super_trait.stderr b/tests/ui/specialization/min_specialization/specialization_super_trait.stderr
index e93578662..e93578662 100644
--- a/src/test/ui/specialization/min_specialization/specialization_super_trait.stderr
+++ b/tests/ui/specialization/min_specialization/specialization_super_trait.stderr
diff --git a/src/test/ui/specialization/min_specialization/specialization_trait.rs b/tests/ui/specialization/min_specialization/specialization_trait.rs
index d597278d2..d597278d2 100644
--- a/src/test/ui/specialization/min_specialization/specialization_trait.rs
+++ b/tests/ui/specialization/min_specialization/specialization_trait.rs
diff --git a/src/test/ui/specialization/min_specialization/specialization_trait.stderr b/tests/ui/specialization/min_specialization/specialization_trait.stderr
index bc87ae0f8..bc87ae0f8 100644
--- a/src/test/ui/specialization/min_specialization/specialization_trait.stderr
+++ b/tests/ui/specialization/min_specialization/specialization_trait.stderr
diff --git a/src/test/ui/specialization/min_specialization/specialize_on_marker.rs b/tests/ui/specialization/min_specialization/specialize_on_marker.rs
index 4219bd13b..4219bd13b 100644
--- a/src/test/ui/specialization/min_specialization/specialize_on_marker.rs
+++ b/tests/ui/specialization/min_specialization/specialize_on_marker.rs
diff --git a/src/test/ui/specialization/min_specialization/specialize_on_spec_trait.rs b/tests/ui/specialization/min_specialization/specialize_on_spec_trait.rs
index abbab5c23..abbab5c23 100644
--- a/src/test/ui/specialization/min_specialization/specialize_on_spec_trait.rs
+++ b/tests/ui/specialization/min_specialization/specialize_on_spec_trait.rs
diff --git a/src/test/ui/specialization/min_specialization/specialize_on_static.rs b/tests/ui/specialization/min_specialization/specialize_on_static.rs
index dd1b05401..dd1b05401 100644
--- a/src/test/ui/specialization/min_specialization/specialize_on_static.rs
+++ b/tests/ui/specialization/min_specialization/specialize_on_static.rs
diff --git a/src/test/ui/specialization/min_specialization/specialize_on_static.stderr b/tests/ui/specialization/min_specialization/specialize_on_static.stderr
index 9a16798f1..9a16798f1 100644
--- a/src/test/ui/specialization/min_specialization/specialize_on_static.stderr
+++ b/tests/ui/specialization/min_specialization/specialize_on_static.stderr
diff --git a/src/test/ui/specialization/min_specialization/specialize_on_trait.rs b/tests/ui/specialization/min_specialization/specialize_on_trait.rs
index 0588442c3..0588442c3 100644
--- a/src/test/ui/specialization/min_specialization/specialize_on_trait.rs
+++ b/tests/ui/specialization/min_specialization/specialize_on_trait.rs
diff --git a/src/test/ui/specialization/min_specialization/specialize_on_trait.stderr b/tests/ui/specialization/min_specialization/specialize_on_trait.stderr
index 7b79c7eb4..7b79c7eb4 100644
--- a/src/test/ui/specialization/min_specialization/specialize_on_trait.stderr
+++ b/tests/ui/specialization/min_specialization/specialize_on_trait.stderr
diff --git a/src/test/ui/specialization/non-defaulted-item-fail.rs b/tests/ui/specialization/non-defaulted-item-fail.rs
index b7d6ac829..b7d6ac829 100644
--- a/src/test/ui/specialization/non-defaulted-item-fail.rs
+++ b/tests/ui/specialization/non-defaulted-item-fail.rs
diff --git a/src/test/ui/specialization/non-defaulted-item-fail.stderr b/tests/ui/specialization/non-defaulted-item-fail.stderr
index faa14555a..faa14555a 100644
--- a/src/test/ui/specialization/non-defaulted-item-fail.stderr
+++ b/tests/ui/specialization/non-defaulted-item-fail.stderr
diff --git a/src/test/ui/specialization/soundness/partial_eq_range_inclusive.rs b/tests/ui/specialization/soundness/partial_eq_range_inclusive.rs
index 923dec892..923dec892 100644
--- a/src/test/ui/specialization/soundness/partial_eq_range_inclusive.rs
+++ b/tests/ui/specialization/soundness/partial_eq_range_inclusive.rs
diff --git a/src/test/ui/specialization/soundness/partial_ord_slice.rs b/tests/ui/specialization/soundness/partial_ord_slice.rs
index b9e80a48d..b9e80a48d 100644
--- a/src/test/ui/specialization/soundness/partial_ord_slice.rs
+++ b/tests/ui/specialization/soundness/partial_ord_slice.rs
diff --git a/src/test/ui/specialization/specialization-allowed-cross-crate.rs b/tests/ui/specialization/specialization-allowed-cross-crate.rs
index 5d67160eb..5d67160eb 100644
--- a/src/test/ui/specialization/specialization-allowed-cross-crate.rs
+++ b/tests/ui/specialization/specialization-allowed-cross-crate.rs
diff --git a/src/test/ui/specialization/specialization-allowed-cross-crate.stderr b/tests/ui/specialization/specialization-allowed-cross-crate.stderr
index 3eea4a53b..3eea4a53b 100644
--- a/src/test/ui/specialization/specialization-allowed-cross-crate.stderr
+++ b/tests/ui/specialization/specialization-allowed-cross-crate.stderr
diff --git a/src/test/ui/specialization/specialization-assoc-fns.rs b/tests/ui/specialization/specialization-assoc-fns.rs
index cbfcb4719..cbfcb4719 100644
--- a/src/test/ui/specialization/specialization-assoc-fns.rs
+++ b/tests/ui/specialization/specialization-assoc-fns.rs
diff --git a/src/test/ui/specialization/specialization-assoc-fns.stderr b/tests/ui/specialization/specialization-assoc-fns.stderr
index 69f7cece7..69f7cece7 100644
--- a/src/test/ui/specialization/specialization-assoc-fns.stderr
+++ b/tests/ui/specialization/specialization-assoc-fns.stderr
diff --git a/src/test/ui/specialization/specialization-basics.rs b/tests/ui/specialization/specialization-basics.rs
index 721c934db..721c934db 100644
--- a/src/test/ui/specialization/specialization-basics.rs
+++ b/tests/ui/specialization/specialization-basics.rs
diff --git a/src/test/ui/specialization/specialization-basics.stderr b/tests/ui/specialization/specialization-basics.stderr
index 7714d4af4..7714d4af4 100644
--- a/src/test/ui/specialization/specialization-basics.stderr
+++ b/tests/ui/specialization/specialization-basics.stderr
diff --git a/src/test/ui/specialization/specialization-cross-crate-no-gate.rs b/tests/ui/specialization/specialization-cross-crate-no-gate.rs
index f744b16de..f744b16de 100644
--- a/src/test/ui/specialization/specialization-cross-crate-no-gate.rs
+++ b/tests/ui/specialization/specialization-cross-crate-no-gate.rs
diff --git a/src/test/ui/specialization/specialization-cross-crate.rs b/tests/ui/specialization/specialization-cross-crate.rs
index d9381d661..d9381d661 100644
--- a/src/test/ui/specialization/specialization-cross-crate.rs
+++ b/tests/ui/specialization/specialization-cross-crate.rs
diff --git a/src/test/ui/specialization/specialization-cross-crate.stderr b/tests/ui/specialization/specialization-cross-crate.stderr
index 06818bb56..06818bb56 100644
--- a/src/test/ui/specialization/specialization-cross-crate.stderr
+++ b/tests/ui/specialization/specialization-cross-crate.stderr
diff --git a/src/test/ui/specialization/specialization-default-methods.rs b/tests/ui/specialization/specialization-default-methods.rs
index dcf68afa9..dcf68afa9 100644
--- a/src/test/ui/specialization/specialization-default-methods.rs
+++ b/tests/ui/specialization/specialization-default-methods.rs
diff --git a/src/test/ui/specialization/specialization-default-methods.stderr b/tests/ui/specialization/specialization-default-methods.stderr
index d78d30bd8..d78d30bd8 100644
--- a/src/test/ui/specialization/specialization-default-methods.stderr
+++ b/tests/ui/specialization/specialization-default-methods.stderr
diff --git a/src/test/ui/specialization/specialization-default-projection.rs b/tests/ui/specialization/specialization-default-projection.rs
index 7f3ae9512..7f3ae9512 100644
--- a/src/test/ui/specialization/specialization-default-projection.rs
+++ b/tests/ui/specialization/specialization-default-projection.rs
diff --git a/src/test/ui/specialization/specialization-default-projection.stderr b/tests/ui/specialization/specialization-default-projection.stderr
index b8b81876d..b8b81876d 100644
--- a/src/test/ui/specialization/specialization-default-projection.stderr
+++ b/tests/ui/specialization/specialization-default-projection.stderr
diff --git a/src/test/ui/specialization/specialization-default-types.rs b/tests/ui/specialization/specialization-default-types.rs
index 346471f11..346471f11 100644
--- a/src/test/ui/specialization/specialization-default-types.rs
+++ b/tests/ui/specialization/specialization-default-types.rs
diff --git a/src/test/ui/specialization/specialization-default-types.stderr b/tests/ui/specialization/specialization-default-types.stderr
index 61a556a93..61a556a93 100644
--- a/src/test/ui/specialization/specialization-default-types.stderr
+++ b/tests/ui/specialization/specialization-default-types.stderr
diff --git a/src/test/ui/specialization/specialization-feature-gate-default.rs b/tests/ui/specialization/specialization-feature-gate-default.rs
index 8bad3ac0a..8bad3ac0a 100644
--- a/src/test/ui/specialization/specialization-feature-gate-default.rs
+++ b/tests/ui/specialization/specialization-feature-gate-default.rs
diff --git a/src/test/ui/specialization/specialization-feature-gate-default.stderr b/tests/ui/specialization/specialization-feature-gate-default.stderr
index 42dbb200c..42dbb200c 100644
--- a/src/test/ui/specialization/specialization-feature-gate-default.stderr
+++ b/tests/ui/specialization/specialization-feature-gate-default.stderr
diff --git a/src/test/ui/specialization/specialization-feature-gate-overlap.rs b/tests/ui/specialization/specialization-feature-gate-overlap.rs
index b83c84ab8..b83c84ab8 100644
--- a/src/test/ui/specialization/specialization-feature-gate-overlap.rs
+++ b/tests/ui/specialization/specialization-feature-gate-overlap.rs
diff --git a/src/test/ui/specialization/specialization-feature-gate-overlap.stderr b/tests/ui/specialization/specialization-feature-gate-overlap.stderr
index 9157ad0d4..9157ad0d4 100644
--- a/src/test/ui/specialization/specialization-feature-gate-overlap.stderr
+++ b/tests/ui/specialization/specialization-feature-gate-overlap.stderr
diff --git a/src/test/ui/specialization/specialization-no-default.rs b/tests/ui/specialization/specialization-no-default.rs
index ae739b235..ae739b235 100644
--- a/src/test/ui/specialization/specialization-no-default.rs
+++ b/tests/ui/specialization/specialization-no-default.rs
diff --git a/src/test/ui/specialization/specialization-no-default.stderr b/tests/ui/specialization/specialization-no-default.stderr
index 842cec9c7..842cec9c7 100644
--- a/src/test/ui/specialization/specialization-no-default.stderr
+++ b/tests/ui/specialization/specialization-no-default.stderr
diff --git a/src/test/ui/specialization/specialization-on-projection.rs b/tests/ui/specialization/specialization-on-projection.rs
index be8dcc423..be8dcc423 100644
--- a/src/test/ui/specialization/specialization-on-projection.rs
+++ b/tests/ui/specialization/specialization-on-projection.rs
diff --git a/src/test/ui/specialization/specialization-on-projection.stderr b/tests/ui/specialization/specialization-on-projection.stderr
index 00fc7ffc5..00fc7ffc5 100644
--- a/src/test/ui/specialization/specialization-on-projection.stderr
+++ b/tests/ui/specialization/specialization-on-projection.stderr
diff --git a/src/test/ui/specialization/specialization-out-of-order.rs b/tests/ui/specialization/specialization-out-of-order.rs
index cb7563e27..cb7563e27 100644
--- a/src/test/ui/specialization/specialization-out-of-order.rs
+++ b/tests/ui/specialization/specialization-out-of-order.rs
diff --git a/src/test/ui/specialization/specialization-out-of-order.stderr b/tests/ui/specialization/specialization-out-of-order.stderr
index b524e00f0..b524e00f0 100644
--- a/src/test/ui/specialization/specialization-out-of-order.stderr
+++ b/tests/ui/specialization/specialization-out-of-order.stderr
diff --git a/src/test/ui/specialization/specialization-overlap-hygiene.rs b/tests/ui/specialization/specialization-overlap-hygiene.rs
index 93e7c8325..93e7c8325 100644
--- a/src/test/ui/specialization/specialization-overlap-hygiene.rs
+++ b/tests/ui/specialization/specialization-overlap-hygiene.rs
diff --git a/src/test/ui/specialization/specialization-overlap-hygiene.stderr b/tests/ui/specialization/specialization-overlap-hygiene.stderr
index 81efd46cc..81efd46cc 100644
--- a/src/test/ui/specialization/specialization-overlap-hygiene.stderr
+++ b/tests/ui/specialization/specialization-overlap-hygiene.stderr
diff --git a/src/test/ui/specialization/specialization-overlap-negative.rs b/tests/ui/specialization/specialization-overlap-negative.rs
index 550d37082..550d37082 100644
--- a/src/test/ui/specialization/specialization-overlap-negative.rs
+++ b/tests/ui/specialization/specialization-overlap-negative.rs
diff --git a/src/test/ui/specialization/specialization-overlap-negative.stderr b/tests/ui/specialization/specialization-overlap-negative.stderr
index 1fe4869ff..1fe4869ff 100644
--- a/src/test/ui/specialization/specialization-overlap-negative.stderr
+++ b/tests/ui/specialization/specialization-overlap-negative.stderr
diff --git a/src/test/ui/specialization/specialization-overlap-projection.rs b/tests/ui/specialization/specialization-overlap-projection.rs
index b07efb2a5..b07efb2a5 100644
--- a/src/test/ui/specialization/specialization-overlap-projection.rs
+++ b/tests/ui/specialization/specialization-overlap-projection.rs
diff --git a/src/test/ui/specialization/specialization-overlap-projection.stderr b/tests/ui/specialization/specialization-overlap-projection.stderr
index 708c0817f..708c0817f 100644
--- a/src/test/ui/specialization/specialization-overlap-projection.stderr
+++ b/tests/ui/specialization/specialization-overlap-projection.stderr
diff --git a/src/test/ui/specialization/specialization-overlap.rs b/tests/ui/specialization/specialization-overlap.rs
index 6bee22ceb..6bee22ceb 100644
--- a/src/test/ui/specialization/specialization-overlap.rs
+++ b/tests/ui/specialization/specialization-overlap.rs
diff --git a/src/test/ui/specialization/specialization-overlap.stderr b/tests/ui/specialization/specialization-overlap.stderr
index 098bf4a70..098bf4a70 100644
--- a/src/test/ui/specialization/specialization-overlap.stderr
+++ b/tests/ui/specialization/specialization-overlap.stderr
diff --git a/src/test/ui/specialization/specialization-polarity.rs b/tests/ui/specialization/specialization-polarity.rs
index b3cd8255b..b3cd8255b 100644
--- a/src/test/ui/specialization/specialization-polarity.rs
+++ b/tests/ui/specialization/specialization-polarity.rs
diff --git a/src/test/ui/specialization/specialization-polarity.stderr b/tests/ui/specialization/specialization-polarity.stderr
index f287018ba..f287018ba 100644
--- a/src/test/ui/specialization/specialization-polarity.stderr
+++ b/tests/ui/specialization/specialization-polarity.stderr
diff --git a/src/test/ui/specialization/specialization-projection-alias.rs b/tests/ui/specialization/specialization-projection-alias.rs
index f1f0b47bb..f1f0b47bb 100644
--- a/src/test/ui/specialization/specialization-projection-alias.rs
+++ b/tests/ui/specialization/specialization-projection-alias.rs
diff --git a/src/test/ui/specialization/specialization-projection-alias.stderr b/tests/ui/specialization/specialization-projection-alias.stderr
index c94d9ed07..c94d9ed07 100644
--- a/src/test/ui/specialization/specialization-projection-alias.stderr
+++ b/tests/ui/specialization/specialization-projection-alias.stderr
diff --git a/src/test/ui/specialization/specialization-projection.rs b/tests/ui/specialization/specialization-projection.rs
index 78afe7a94..78afe7a94 100644
--- a/src/test/ui/specialization/specialization-projection.rs
+++ b/tests/ui/specialization/specialization-projection.rs
diff --git a/src/test/ui/specialization/specialization-projection.stderr b/tests/ui/specialization/specialization-projection.stderr
index bfc4e0a0f..bfc4e0a0f 100644
--- a/src/test/ui/specialization/specialization-projection.stderr
+++ b/tests/ui/specialization/specialization-projection.stderr
diff --git a/src/test/ui/specialization/specialization-supertraits.rs b/tests/ui/specialization/specialization-supertraits.rs
index fb85d8019..fb85d8019 100644
--- a/src/test/ui/specialization/specialization-supertraits.rs
+++ b/tests/ui/specialization/specialization-supertraits.rs
diff --git a/src/test/ui/specialization/specialization-supertraits.stderr b/tests/ui/specialization/specialization-supertraits.stderr
index e716bc215..e716bc215 100644
--- a/src/test/ui/specialization/specialization-supertraits.stderr
+++ b/tests/ui/specialization/specialization-supertraits.stderr
diff --git a/src/test/ui/specialization/specialization-translate-projections-with-lifetimes.rs b/tests/ui/specialization/specialization-translate-projections-with-lifetimes.rs
index 904aeaa08..904aeaa08 100644
--- a/src/test/ui/specialization/specialization-translate-projections-with-lifetimes.rs
+++ b/tests/ui/specialization/specialization-translate-projections-with-lifetimes.rs
diff --git a/src/test/ui/specialization/specialization-translate-projections-with-lifetimes.stderr b/tests/ui/specialization/specialization-translate-projections-with-lifetimes.stderr
index c7aad3c0f..c7aad3c0f 100644
--- a/src/test/ui/specialization/specialization-translate-projections-with-lifetimes.stderr
+++ b/tests/ui/specialization/specialization-translate-projections-with-lifetimes.stderr
diff --git a/src/test/ui/specialization/specialization-translate-projections-with-params.rs b/tests/ui/specialization/specialization-translate-projections-with-params.rs
index 62d63590a..62d63590a 100644
--- a/src/test/ui/specialization/specialization-translate-projections-with-params.rs
+++ b/tests/ui/specialization/specialization-translate-projections-with-params.rs
diff --git a/src/test/ui/specialization/specialization-translate-projections-with-params.stderr b/tests/ui/specialization/specialization-translate-projections-with-params.stderr
index 1c4fd9325..1c4fd9325 100644
--- a/src/test/ui/specialization/specialization-translate-projections-with-params.stderr
+++ b/tests/ui/specialization/specialization-translate-projections-with-params.stderr
diff --git a/src/test/ui/specialization/specialization-translate-projections.rs b/tests/ui/specialization/specialization-translate-projections.rs
index 92ea9e2b8..92ea9e2b8 100644
--- a/src/test/ui/specialization/specialization-translate-projections.rs
+++ b/tests/ui/specialization/specialization-translate-projections.rs
diff --git a/src/test/ui/specialization/specialization-translate-projections.stderr b/tests/ui/specialization/specialization-translate-projections.stderr
index 22bbb12a0..22bbb12a0 100644
--- a/src/test/ui/specialization/specialization-translate-projections.stderr
+++ b/tests/ui/specialization/specialization-translate-projections.stderr
diff --git a/src/test/ui/specialization/transmute-specialization.rs b/tests/ui/specialization/transmute-specialization.rs
index 499334d98..499334d98 100644
--- a/src/test/ui/specialization/transmute-specialization.rs
+++ b/tests/ui/specialization/transmute-specialization.rs
diff --git a/src/test/ui/specialization/transmute-specialization.stderr b/tests/ui/specialization/transmute-specialization.stderr
index b1c26d7da..b1c26d7da 100644
--- a/src/test/ui/specialization/transmute-specialization.stderr
+++ b/tests/ui/specialization/transmute-specialization.stderr