Merging upstream version 1.68.2+dfsg1.

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

1 files changed, 0 insertions, 31 deletions

diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90875.rs b/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90875.rs
deleted file mode 100644
index ffd6857d8..000000000
--- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-90875.rs
+++ /dev/null
@@ -1,31 +0,0 @@
-// check-pass
-
-trait Variable<'a> {
-    type Type;
-}
-
-impl Variable<'_> for () {
-    type Type = ();
-}
-
-fn check<F, T>(_: F)
-where
-    F: Fn(T), // <- if removed, all fn_* then require type annotations
-    F: for<'a> Fn(<T as Variable<'a>>::Type),
-    T: for<'a> Variable<'a>,
-{
-}
-
-fn test(arg: impl Fn(())) {
-    fn fn_1(_: ()) {}
-    let fn_2 = |_: ()| ();
-    let fn_3 = |a| fn_1(a);
-    let fn_4 = arg;
-
-    check(fn_1); // Error
-    check(fn_2); // Ok
-    check(fn_3); // Ok
-    check(fn_4); // Error
-}
-
-fn main() {}