Merging upstream version 1.76.0+dfsg1.

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

1 files changed, 0 insertions, 25 deletions

diff --git a/tests/ui/traits/new-solver/stall-num-var-auto-trait.rs b/tests/ui/traits/new-solver/stall-num-var-auto-trait.rs
deleted file mode 100644
index 0539c3a42..000000000
--- a/tests/ui/traits/new-solver/stall-num-var-auto-trait.rs
+++ /dev/null
@@ -1,25 +0,0 @@
-// compile-flags: -Ztrait-solver=next
-// revisions: fallback constrain
-//[constrain] check-pass
-
-// Tests that we stall the `{integer}: Foo` obligation until after we
-// constrain the int type (or fallback occurs).
-
-#![feature(negative_impls, auto_traits)]
-
-auto trait Foo {}
-
-impl !Foo for i32 {}
-
-fn needs_foo(x: impl Foo) {}
-
-fn main() {
-    let mut x = 0;
-    needs_foo(x);
-    //[fallback]~^ ERROR the trait bound `i32: Foo` is not satisfied
-
-    #[cfg(constrain)]
-    {
-        x = 1u64;
-    }
-}