Merging upstream version 1.76.0+dfsg1.

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

1 files changed, 0 insertions, 18 deletions

diff --git a/tests/ui/traits/new-solver/escaping-bound-vars-in-writeback-normalization.rs b/tests/ui/traits/new-solver/escaping-bound-vars-in-writeback-normalization.rs
deleted file mode 100644
index 29784c32a..000000000
--- a/tests/ui/traits/new-solver/escaping-bound-vars-in-writeback-normalization.rs
+++ /dev/null
@@ -1,18 +0,0 @@
-// compile-flags: -Ztrait-solver=next
-// check-pass
-
-trait Trivial {
-    type Assoc;
-}
-
-impl<T: ?Sized> Trivial for T {
-    type Assoc = ();
-}
-
-fn main() {
-    // During writeback, we call `normalize_erasing_regions`, which will walk past
-    // the `for<'a>` binder and try to normalize `<&'a () as Trivial>::Assoc` directly.
-    // We need to handle this case in the new deep normalizer similarly to how it
-    // is handled in the old solver.
-    let x: Option<for<'a> fn(<&'a () as Trivial>::Assoc)> = None;
-}