Merging upstream version 1.76.0+dfsg1.

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

1 files changed, 0 insertions, 22 deletions

diff --git a/tests/ui/traits/new-solver/specialization-unconstrained.rs b/tests/ui/traits/new-solver/specialization-unconstrained.rs
deleted file mode 100644
index 7fd753109..000000000
--- a/tests/ui/traits/new-solver/specialization-unconstrained.rs
+++ /dev/null
@@ -1,22 +0,0 @@
-// compile-flags: -Ztrait-solver=next
-
-#![feature(specialization)]
-//~^ WARN the feature `specialization` is incomplete
-
-// Do not treat the RHS of a projection-goal as an unconstrained `Certainty::Yes` response
-// if the impl is still further specializable.
-
-trait Default {
-   type Id;
-}
-
-impl<T> Default for T {
-   default type Id = T; //~ ERROR type annotations needed
-}
-
-fn test<T: Default<Id = U>, U>() {}
-
-fn main() {
-    test::<u32, ()>();
-    //~^ ERROR cannot satisfy `<u32 as Default>::Id == ()`
-}