--bless tests

WaffleLapkin · WaffleLapkin · commit 7da578b8f818 · 2022-07-28T20:15:24.000+04:00
diff --git a/src/test/ui/anonymous-higher-ranked-lifetime.stderr b/src/test/ui/anonymous-higher-ranked-lifetime.stderr
@@ -2,10 +2,12 @@ error[E0631]: type mismatch in closure arguments
   --> $DIR/anonymous-higher-ranked-lifetime.rs:2:5
    |
 LL |     f1(|_: (), _: ()| {});
-   |     ^^ -------------- found signature of `fn((), ()) -> _`
+   |     ^^ -------------- found signature defined here
    |     |
-   |     expected signature of `for<'r, 's> fn(&'r (), &'s ()) -> _`
+   |     expected due to this
    |
+   = note: expected closure signature `for<'r, 's> fn(&'r (), &'s ()) -> _`
+              found closure signature `fn((), ()) -> _`
 note: required by a bound in `f1`
   --> $DIR/anonymous-higher-ranked-lifetime.rs:16:25
    |
@@ -16,10 +18,12 @@ error[E0631]: type mismatch in closure arguments
   --> $DIR/anonymous-higher-ranked-lifetime.rs:3:5
    |
 LL |     f2(|_: (), _: ()| {});
-   |     ^^ -------------- found signature of `fn((), ()) -> _`
+   |     ^^ -------------- found signature defined here
    |     |
-   |     expected signature of `for<'a, 'r> fn(&'a (), &'r ()) -> _`
+   |     expected due to this
    |
+   = note: expected closure signature `for<'a, 'r> fn(&'a (), &'r ()) -> _`
+              found closure signature `fn((), ()) -> _`
 note: required by a bound in `f2`
   --> $DIR/anonymous-higher-ranked-lifetime.rs:17:25
    |
@@ -30,10 +34,12 @@ error[E0631]: type mismatch in closure arguments
   --> $DIR/anonymous-higher-ranked-lifetime.rs:4:5
    |
 LL |     f3(|_: (), _: ()| {});
-   |     ^^ -------------- found signature of `fn((), ()) -> _`
+   |     ^^ -------------- found signature defined here
    |     |
-   |     expected signature of `for<'r> fn(&(), &'r ()) -> _`
+   |     expected due to this
    |
+   = note: expected closure signature `for<'r> fn(&(), &'r ()) -> _`
+              found closure signature `fn((), ()) -> _`
 note: required by a bound in `f3`
   --> $DIR/anonymous-higher-ranked-lifetime.rs:18:29
    |
@@ -44,10 +50,12 @@ error[E0631]: type mismatch in closure arguments
   --> $DIR/anonymous-higher-ranked-lifetime.rs:5:5
    |
 LL |     f4(|_: (), _: ()| {});
-   |     ^^ -------------- found signature of `fn((), ()) -> _`
+   |     ^^ -------------- found signature defined here
    |     |
-   |     expected signature of `for<'s, 'r> fn(&'s (), &'r ()) -> _`
+   |     expected due to this
    |
+   = note: expected closure signature `for<'r, 's> fn(&'s (), &'r ()) -> _`
+              found closure signature `fn((), ()) -> _`
 note: required by a bound in `f4`
   --> $DIR/anonymous-higher-ranked-lifetime.rs:19:25
    |
@@ -58,10 +66,12 @@ error[E0631]: type mismatch in closure arguments
   --> $DIR/anonymous-higher-ranked-lifetime.rs:6:5
    |
 LL |     f5(|_: (), _: ()| {});
-   |     ^^ -------------- found signature of `fn((), ()) -> _`
+   |     ^^ -------------- found signature defined here
    |     |
-   |     expected signature of `for<'r> fn(&'r (), &'r ()) -> _`
+   |     expected due to this
    |
+   = note: expected closure signature `for<'r> fn(&'r (), &'r ()) -> _`
+              found closure signature `fn((), ()) -> _`
 note: required by a bound in `f5`
   --> $DIR/anonymous-higher-ranked-lifetime.rs:20:25
    |
@@ -72,10 +82,12 @@ error[E0631]: type mismatch in closure arguments
   --> $DIR/anonymous-higher-ranked-lifetime.rs:7:5
    |
 LL |     g1(|_: (), _: ()| {});
-   |     ^^ -------------- found signature of `fn((), ()) -> _`
+   |     ^^ -------------- found signature defined here
    |     |
-   |     expected signature of `for<'r> fn(&'r (), Box<(dyn for<'s> Fn(&'s ()) + 'static)>) -> _`
+   |     expected due to this
    |
+   = note: expected closure signature `for<'r> fn(&'r (), Box<(dyn for<'r> Fn(&'r ()) + 'static)>) -> _`
+              found closure signature `fn((), ()) -> _`
 note: required by a bound in `g1`
   --> $DIR/anonymous-higher-ranked-lifetime.rs:23:25
    |
@@ -86,10 +98,12 @@ error[E0631]: type mismatch in closure arguments
   --> $DIR/anonymous-higher-ranked-lifetime.rs:8:5
    |
 LL |     g2(|_: (), _: ()| {});
-   |     ^^ -------------- found signature of `fn((), ()) -> _`
+   |     ^^ -------------- found signature defined here
    |     |
-   |     expected signature of `for<'r> fn(&'r (), for<'s> fn(&'s ())) -> _`
+   |     expected due to this
    |
+   = note: expected closure signature `for<'r> fn(&'r (), for<'r> fn(&'r ())) -> _`
+              found closure signature `fn((), ()) -> _`
 note: required by a bound in `g2`
   --> $DIR/anonymous-higher-ranked-lifetime.rs:24:25
    |
@@ -100,10 +114,12 @@ error[E0631]: type mismatch in closure arguments
   --> $DIR/anonymous-higher-ranked-lifetime.rs:9:5
    |
 LL |     g3(|_: (), _: ()| {});
-   |     ^^ -------------- found signature of `fn((), ()) -> _`
+   |     ^^ -------------- found signature defined here
    |     |
-   |     expected signature of `for<'s> fn(&'s (), Box<(dyn for<'r> Fn(&'r ()) + 'static)>) -> _`
+   |     expected due to this
    |
+   = note: expected closure signature `for<'s> fn(&'s (), Box<(dyn for<'r> Fn(&'r ()) + 'static)>) -> _`
+              found closure signature `fn((), ()) -> _`
 note: required by a bound in `g3`
   --> $DIR/anonymous-higher-ranked-lifetime.rs:25:25
    |
@@ -114,10 +130,12 @@ error[E0631]: type mismatch in closure arguments
   --> $DIR/anonymous-higher-ranked-lifetime.rs:10:5
    |
 LL |     g4(|_: (), _: ()| {});
-   |     ^^ -------------- found signature of `fn((), ()) -> _`
+   |     ^^ -------------- found signature defined here
    |     |
-   |     expected signature of `for<'s> fn(&'s (), for<'r> fn(&'r ())) -> _`
+   |     expected due to this
    |
+   = note: expected closure signature `for<'s> fn(&'s (), for<'r> fn(&'r ())) -> _`
+              found closure signature `fn((), ()) -> _`
 note: required by a bound in `g4`
   --> $DIR/anonymous-higher-ranked-lifetime.rs:26:25
    |
@@ -128,10 +146,12 @@ error[E0631]: type mismatch in closure arguments
   --> $DIR/anonymous-higher-ranked-lifetime.rs:11:5
    |
 LL |     h1(|_: (), _: (), _: (), _: ()| {});
-   |     ^^ ---------------------------- found signature of `fn((), (), (), ()) -> _`
+   |     ^^ ---------------------------- found signature defined here
    |     |
-   |     expected signature of `for<'r, 's> fn(&'r (), Box<(dyn for<'t0> Fn(&'t0 ()) + 'static)>, &'s (), for<'t0, 't1> fn(&'t0 (), &'t1 ())) -> _`
+   |     expected due to this
    |
+   = note: expected closure signature `for<'r, 's> fn(&'r (), Box<(dyn for<'r> Fn(&'r ()) + 'static)>, &'s (), for<'r, 's> fn(&'r (), &'s ())) -> _`
+              found closure signature `fn((), (), (), ()) -> _`
 note: required by a bound in `h1`
   --> $DIR/anonymous-higher-ranked-lifetime.rs:29:25
    |
@@ -142,10 +162,12 @@ error[E0631]: type mismatch in closure arguments
   --> $DIR/anonymous-higher-ranked-lifetime.rs:12:5
    |
 LL |     h2(|_: (), _: (), _: (), _: ()| {});
-   |     ^^ ---------------------------- found signature of `fn((), (), (), ()) -> _`
+   |     ^^ ---------------------------- found signature defined here
    |     |
-   |     expected signature of `for<'r, 't0> fn(&'r (), Box<(dyn for<'s> Fn(&'s ()) + 'static)>, &'t0 (), for<'s, 't1> fn(&'s (), &'t1 ())) -> _`
+   |     expected due to this
    |
+   = note: expected closure signature `for<'t0, 'r> fn(&'r (), Box<(dyn for<'r> Fn(&'r ()) + 'static)>, &'t0 (), for<'r, 's> fn(&'r (), &'s ())) -> _`
+              found closure signature `fn((), (), (), ()) -> _`
 note: required by a bound in `h2`
   --> $DIR/anonymous-higher-ranked-lifetime.rs:30:25
    |
diff --git a/src/test/ui/closure-expected-type/expect-infer-var-appearing-twice.stderr b/src/test/ui/closure-expected-type/expect-infer-var-appearing-twice.stderr
@@ -2,10 +2,12 @@ error[E0631]: type mismatch in closure arguments
   --> $DIR/expect-infer-var-appearing-twice.rs:14:5
    |
 LL |     with_closure(|x: u32, y: i32| {
-   |     ^^^^^^^^^^^^ ---------------- found signature of `fn(u32, i32) -> _`
+   |     ^^^^^^^^^^^^ ---------------- found signature defined here
    |     |
-   |     expected signature of `fn(_, _) -> _`
+   |     expected due to this
    |
+   = note: expected closure signature `fn(_, _) -> _`
+              found closure signature `fn(u32, i32) -> _`
 note: required by a bound in `with_closure`
   --> $DIR/expect-infer-var-appearing-twice.rs:2:14
    |
diff --git a/src/test/ui/generator/issue-88653.rs b/src/test/ui/generator/issue-88653.rs
@@ -7,10 +7,12 @@ use std::ops::Generator;
 
 fn foo(bar: bool) -> impl Generator<(bool,)> {
     //~^ ERROR: type mismatch in generator arguments [E0631]
-    //~| NOTE: expected signature of `fn((bool,)) -> _`
+    //~| NOTE: expected due to this
+    //~| NOTE: expected generator signature `fn((bool,)) -> _`
+    //~| NOTE: in this expansion of desugaring of `impl Trait`
     //~| NOTE: in this expansion of desugaring of `impl Trait`
     |bar| {
-        //~^ NOTE: found signature of `fn(bool) -> _`
+        //~^ NOTE: found signature defined here
         if bar {
             yield bar;
         }
diff --git a/src/test/ui/generator/issue-88653.stderr b/src/test/ui/generator/issue-88653.stderr
@@ -2,10 +2,13 @@ error[E0631]: type mismatch in generator arguments
   --> $DIR/issue-88653.rs:8:22
    |
 LL | fn foo(bar: bool) -> impl Generator<(bool,)> {
-   |                      ^^^^^^^^^^^^^^^^^^^^^^^ expected signature of `fn((bool,)) -> _`
+   |                      ^^^^^^^^^^^^^^^^^^^^^^^ expected due to this
 ...
 LL |     |bar| {
-   |     ----- found signature of `fn(bool) -> _`
+   |     ----- found signature defined here
+   |
+   = note: expected generator signature `fn((bool,)) -> _`
+              found generator signature `fn(bool) -> _`
 
 error: aborting due to previous error
 
diff --git a/src/test/ui/generic-associated-types/bugs/issue-88382.stderr b/src/test/ui/generic-associated-types/bugs/issue-88382.stderr
@@ -2,13 +2,15 @@ error[E0631]: type mismatch in function arguments
   --> $DIR/issue-88382.rs:28:40
    |
 LL |     do_something(SomeImplementation(), test);
-   |     ------------                       ^^^^ expected signature of `for<'r> fn(&'r mut std::iter::Empty<usize>) -> _`
+   |     ------------                       ^^^^ expected due to this
    |     |
    |     required by a bound introduced by this call
 ...
 LL | fn test<'a, I: Iterable>(_: &mut I::Iterator<'a>) {}
-   | ------------------------------------------------- found signature of `for<'r, 'a> fn(&'r mut <_ as Iterable>::Iterator<'a>) -> _`
+   | ------------------------------------------------- found signature defined here
    |
+   = note: expected function signature `for<'r> fn(&'r mut std::iter::Empty<usize>) -> _`
+              found function signature `for<'a, 'r> fn(&'r mut <_ as Iterable>::Iterator<'a>) -> _`
 note: required by a bound in `do_something`
   --> $DIR/issue-88382.rs:22:48
    |
diff --git a/src/test/ui/intrinsics/const-eval-select-bad.stderr b/src/test/ui/intrinsics/const-eval-select-bad.stderr
@@ -67,13 +67,15 @@ error[E0631]: type mismatch in function arguments
   --> $DIR/const-eval-select-bad.rs:34:32
    |
 LL | const fn foo(n: i32) -> i32 {
-   | --------------------------- found signature of `fn(i32) -> _`
+   | --------------------------- found signature defined here
 ...
 LL |     const_eval_select((true,), foo, baz);
-   |     -----------------          ^^^ expected signature of `fn(bool) -> _`
+   |     -----------------          ^^^ expected due to this
    |     |
    |     required by a bound introduced by this call
    |
+   = note: expected function signature `fn(bool) -> _`
+              found function signature `fn(i32) -> _`
 note: required by a bound in `const_eval_select`
   --> $SRC_DIR/core/src/intrinsics.rs:LL:COL
    |
diff --git a/src/test/ui/mismatched_types/E0631.stderr b/src/test/ui/mismatched_types/E0631.stderr
@@ -2,10 +2,12 @@ error[E0631]: type mismatch in closure arguments
   --> $DIR/E0631.rs:7:5
    |
 LL |     foo(|_: isize| {});
-   |     ^^^ ---------- found signature of `fn(isize) -> _`
+   |     ^^^ ---------- found signature defined here
    |     |
-   |     expected signature of `fn(usize) -> _`
+   |     expected due to this
    |
+   = note: expected closure signature `fn(usize) -> _`
+              found closure signature `fn(isize) -> _`
 note: required by a bound in `foo`
   --> $DIR/E0631.rs:3:11
    |
@@ -16,10 +18,12 @@ error[E0631]: type mismatch in closure arguments
   --> $DIR/E0631.rs:8:5
    |
 LL |     bar(|_: isize| {});
-   |     ^^^ ---------- found signature of `fn(isize) -> _`
+   |     ^^^ ---------- found signature defined here
    |     |
-   |     expected signature of `fn(usize) -> _`
+   |     expected due to this
    |
+   = note: expected closure signature `fn(usize) -> _`
+              found closure signature `fn(isize) -> _`
 note: required by a bound in `bar`
   --> $DIR/E0631.rs:4:11
    |
@@ -30,13 +34,15 @@ error[E0631]: type mismatch in function arguments
   --> $DIR/E0631.rs:9:9
    |
 LL |     fn f(_: u64) {}
-   |     ------------ found signature of `fn(u64) -> _`
+   |     ------------ found signature defined here
 ...
 LL |     foo(f);
-   |     --- ^ expected signature of `fn(usize) -> _`
+   |     --- ^ expected due to this
    |     |
    |     required by a bound introduced by this call
    |
+   = note: expected function signature `fn(usize) -> _`
+              found function signature `fn(u64) -> _`
 note: required by a bound in `foo`
   --> $DIR/E0631.rs:3:11
    |
@@ -47,13 +53,15 @@ error[E0631]: type mismatch in function arguments
   --> $DIR/E0631.rs:10:9
    |
 LL |     fn f(_: u64) {}
-   |     ------------ found signature of `fn(u64) -> _`
+   |     ------------ found signature defined here
 ...
 LL |     bar(f);
-   |     --- ^ expected signature of `fn(usize) -> _`
+   |     --- ^ expected due to this
    |     |
    |     required by a bound introduced by this call
    |
+   = note: expected function signature `fn(usize) -> _`
+              found function signature `fn(u64) -> _`
 note: required by a bound in `bar`
   --> $DIR/E0631.rs:4:11
    |
diff --git a/src/test/ui/mismatched_types/closure-arg-type-mismatch.stderr b/src/test/ui/mismatched_types/closure-arg-type-mismatch.stderr
@@ -2,10 +2,12 @@ error[E0631]: type mismatch in closure arguments
   --> $DIR/closure-arg-type-mismatch.rs:3:14
    |
 LL |     a.iter().map(|_: (u32, u32)| 45);
-   |              ^^^ --------------- found signature of `fn((u32, u32)) -> _`
+   |              ^^^ --------------- found signature defined here
    |              |
-   |              expected signature of `fn(&(u32, u32)) -> _`
+   |              expected due to this
    |
+   = note: expected closure signature `fn(&(u32, u32)) -> _`
+              found closure signature `fn((u32, u32)) -> _`
 note: required by a bound in `map`
   --> $SRC_DIR/core/src/iter/traits/iterator.rs:LL:COL
    |
@@ -16,10 +18,12 @@ error[E0631]: type mismatch in closure arguments
   --> $DIR/closure-arg-type-mismatch.rs:4:14
    |
 LL |     a.iter().map(|_: &(u16, u16)| 45);
-   |              ^^^ ---------------- found signature of `for<'r> fn(&'r (u16, u16)) -> _`
+   |              ^^^ ---------------- found signature defined here
    |              |
-   |              expected signature of `fn(&(u32, u32)) -> _`
+   |              expected due to this
    |
+   = note: expected closure signature `fn(&(u32, u32)) -> _`
+              found closure signature `for<'r> fn(&'r (u16, u16)) -> _`
 note: required by a bound in `map`
   --> $SRC_DIR/core/src/iter/traits/iterator.rs:LL:COL
    |
@@ -30,10 +34,12 @@ error[E0631]: type mismatch in closure arguments
   --> $DIR/closure-arg-type-mismatch.rs:5:14
    |
 LL |     a.iter().map(|_: (u16, u16)| 45);
-   |              ^^^ --------------- found signature of `fn((u16, u16)) -> _`
+   |              ^^^ --------------- found signature defined here
    |              |
-   |              expected signature of `fn(&(u32, u32)) -> _`
+   |              expected due to this
    |
+   = note: expected closure signature `fn(&(u32, u32)) -> _`
+              found closure signature `fn((u16, u16)) -> _`
 note: required by a bound in `map`
   --> $SRC_DIR/core/src/iter/traits/iterator.rs:LL:COL
    |
diff --git a/src/test/ui/mismatched_types/fn-variance-1.stderr b/src/test/ui/mismatched_types/fn-variance-1.stderr
@@ -2,13 +2,15 @@ error[E0631]: type mismatch in function arguments
   --> $DIR/fn-variance-1.rs:11:15
    |
 LL | fn takes_mut(x: &mut isize) { }
-   | --------------------------- found signature of `for<'r> fn(&'r mut isize) -> _`
+   | --------------------------- found signature defined here
 ...
 LL |     apply(&3, takes_mut);
-   |     -----     ^^^^^^^^^ expected signature of `fn(&{integer}) -> _`
+   |     -----     ^^^^^^^^^ expected due to this
    |     |
    |     required by a bound introduced by this call
    |
+   = note: expected function signature `fn(&{integer}) -> _`
+              found function signature `for<'r> fn(&'r mut isize) -> _`
 note: required by a bound in `apply`
   --> $DIR/fn-variance-1.rs:5:37
    |
@@ -19,13 +21,15 @@ error[E0631]: type mismatch in function arguments
   --> $DIR/fn-variance-1.rs:15:19
    |
 LL | fn takes_imm(x: &isize) { }
-   | ----------------------- found signature of `for<'r> fn(&'r isize) -> _`
+   | ----------------------- found signature defined here
 ...
 LL |     apply(&mut 3, takes_imm);
-   |     -----         ^^^^^^^^^ expected signature of `fn(&mut {integer}) -> _`
+   |     -----         ^^^^^^^^^ expected due to this
    |     |
    |     required by a bound introduced by this call
    |
+   = note: expected function signature `fn(&mut {integer}) -> _`
+              found function signature `for<'r> fn(&'r isize) -> _`
 note: required by a bound in `apply`
   --> $DIR/fn-variance-1.rs:5:37
    |
diff --git a/src/test/ui/mismatched_types/issue-36053-2.stderr b/src/test/ui/mismatched_types/issue-36053-2.stderr
diff --git a/src/test/ui/mismatched_types/unboxed-closures-vtable-mismatch.rs b/src/test/ui/mismatched_types/unboxed-closures-vtable-mismatch.rs
diff --git a/src/test/ui/mismatched_types/unboxed-closures-vtable-mismatch.stderr b/src/test/ui/mismatched_types/unboxed-closures-vtable-mismatch.stderr

Original file line number	Diff line number	Diff line change
`@@ -2,10 +2,12 @@ error[E0631]: type mismatch in closure arguments`
`2`	`2`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:2:5`
`3`	`3`	`\|`
`4`	`4`	`LL \| f1(\|_: (), _: ()\| {});`
`5`		- \| ^^ -------------- found signature of `fn((), ()) -> _`
	`5`	`+ \| ^^ -------------- found signature defined here`
`6`	`6`	`\| \|`
`7`		- \| expected signature of `for<'r, 's> fn(&'r (), &'s ()) -> _`
	`7`	`+ \| expected due to this`
`8`	`8`	`\|`
	`9`	+ = note: expected closure signature `for<'r, 's> fn(&'r (), &'s ()) -> _`
	`10`	+ found closure signature `fn((), ()) -> _`
`9`	`11`	note: required by a bound in `f1`
`10`	`12`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:16:25`
`11`	`13`	`\|`
`@@ -16,10 +18,12 @@ error[E0631]: type mismatch in closure arguments`
`16`	`18`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:3:5`
`17`	`19`	`\|`
`18`	`20`	`LL \| f2(\|_: (), _: ()\| {});`
`19`		- \| ^^ -------------- found signature of `fn((), ()) -> _`
	`21`	`+ \| ^^ -------------- found signature defined here`
`20`	`22`	`\| \|`
`21`		- \| expected signature of `for<'a, 'r> fn(&'a (), &'r ()) -> _`
	`23`	`+ \| expected due to this`
`22`	`24`	`\|`
	`25`	+ = note: expected closure signature `for<'a, 'r> fn(&'a (), &'r ()) -> _`
	`26`	+ found closure signature `fn((), ()) -> _`
`23`	`27`	note: required by a bound in `f2`
`24`	`28`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:17:25`
`25`	`29`	`\|`
`@@ -30,10 +34,12 @@ error[E0631]: type mismatch in closure arguments`
`30`	`34`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:4:5`
`31`	`35`	`\|`
`32`	`36`	`LL \| f3(\|_: (), _: ()\| {});`
`33`		- \| ^^ -------------- found signature of `fn((), ()) -> _`
	`37`	`+ \| ^^ -------------- found signature defined here`
`34`	`38`	`\| \|`
`35`		- \| expected signature of `for<'r> fn(&(), &'r ()) -> _`
	`39`	`+ \| expected due to this`
`36`	`40`	`\|`
	`41`	+ = note: expected closure signature `for<'r> fn(&(), &'r ()) -> _`
	`42`	+ found closure signature `fn((), ()) -> _`
`37`	`43`	note: required by a bound in `f3`
`38`	`44`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:18:29`
`39`	`45`	`\|`
`@@ -44,10 +50,12 @@ error[E0631]: type mismatch in closure arguments`
`44`	`50`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:5:5`
`45`	`51`	`\|`
`46`	`52`	`LL \| f4(\|_: (), _: ()\| {});`
`47`		- \| ^^ -------------- found signature of `fn((), ()) -> _`
	`53`	`+ \| ^^ -------------- found signature defined here`
`48`	`54`	`\| \|`
`49`		- \| expected signature of `for<'s, 'r> fn(&'s (), &'r ()) -> _`
	`55`	`+ \| expected due to this`
`50`	`56`	`\|`
	`57`	+ = note: expected closure signature `for<'r, 's> fn(&'s (), &'r ()) -> _`
	`58`	+ found closure signature `fn((), ()) -> _`
`51`	`59`	note: required by a bound in `f4`
`52`	`60`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:19:25`
`53`	`61`	`\|`
`@@ -58,10 +66,12 @@ error[E0631]: type mismatch in closure arguments`
`58`	`66`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:6:5`
`59`	`67`	`\|`
`60`	`68`	`LL \| f5(\|_: (), _: ()\| {});`
`61`		- \| ^^ -------------- found signature of `fn((), ()) -> _`
	`69`	`+ \| ^^ -------------- found signature defined here`
`62`	`70`	`\| \|`
`63`		- \| expected signature of `for<'r> fn(&'r (), &'r ()) -> _`
	`71`	`+ \| expected due to this`
`64`	`72`	`\|`
	`73`	+ = note: expected closure signature `for<'r> fn(&'r (), &'r ()) -> _`
	`74`	+ found closure signature `fn((), ()) -> _`
`65`	`75`	note: required by a bound in `f5`
`66`	`76`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:20:25`
`67`	`77`	`\|`
`@@ -72,10 +82,12 @@ error[E0631]: type mismatch in closure arguments`
`72`	`82`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:7:5`
`73`	`83`	`\|`
`74`	`84`	`LL \| g1(\|_: (), _: ()\| {});`
`75`		- \| ^^ -------------- found signature of `fn((), ()) -> _`
	`85`	`+ \| ^^ -------------- found signature defined here`
`76`	`86`	`\| \|`
`77`		- \| expected signature of `for<'r> fn(&'r (), Box<(dyn for<'s> Fn(&'s ()) + 'static)>) -> _`
	`87`	`+ \| expected due to this`
`78`	`88`	`\|`
	`89`	+ = note: expected closure signature `for<'r> fn(&'r (), Box<(dyn for<'r> Fn(&'r ()) + 'static)>) -> _`
	`90`	+ found closure signature `fn((), ()) -> _`
`79`	`91`	note: required by a bound in `g1`
`80`	`92`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:23:25`
`81`	`93`	`\|`
`@@ -86,10 +98,12 @@ error[E0631]: type mismatch in closure arguments`
`86`	`98`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:8:5`
`87`	`99`	`\|`
`88`	`100`	`LL \| g2(\|_: (), _: ()\| {});`
`89`		- \| ^^ -------------- found signature of `fn((), ()) -> _`
	`101`	`+ \| ^^ -------------- found signature defined here`
`90`	`102`	`\| \|`
`91`		- \| expected signature of `for<'r> fn(&'r (), for<'s> fn(&'s ())) -> _`
	`103`	`+ \| expected due to this`
`92`	`104`	`\|`
	`105`	+ = note: expected closure signature `for<'r> fn(&'r (), for<'r> fn(&'r ())) -> _`
	`106`	+ found closure signature `fn((), ()) -> _`
`93`	`107`	note: required by a bound in `g2`
`94`	`108`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:24:25`
`95`	`109`	`\|`
`@@ -100,10 +114,12 @@ error[E0631]: type mismatch in closure arguments`
`100`	`114`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:9:5`
`101`	`115`	`\|`
`102`	`116`	`LL \| g3(\|_: (), _: ()\| {});`
`103`		- \| ^^ -------------- found signature of `fn((), ()) -> _`
	`117`	`+ \| ^^ -------------- found signature defined here`
`104`	`118`	`\| \|`
`105`		- \| expected signature of `for<'s> fn(&'s (), Box<(dyn for<'r> Fn(&'r ()) + 'static)>) -> _`
	`119`	`+ \| expected due to this`
`106`	`120`	`\|`
	`121`	+ = note: expected closure signature `for<'s> fn(&'s (), Box<(dyn for<'r> Fn(&'r ()) + 'static)>) -> _`
	`122`	+ found closure signature `fn((), ()) -> _`
`107`	`123`	note: required by a bound in `g3`
`108`	`124`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:25:25`
`109`	`125`	`\|`
`@@ -114,10 +130,12 @@ error[E0631]: type mismatch in closure arguments`
`114`	`130`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:10:5`
`115`	`131`	`\|`
`116`	`132`	`LL \| g4(\|_: (), _: ()\| {});`
`117`		- \| ^^ -------------- found signature of `fn((), ()) -> _`
	`133`	`+ \| ^^ -------------- found signature defined here`
`118`	`134`	`\| \|`
`119`		- \| expected signature of `for<'s> fn(&'s (), for<'r> fn(&'r ())) -> _`
	`135`	`+ \| expected due to this`
`120`	`136`	`\|`
	`137`	+ = note: expected closure signature `for<'s> fn(&'s (), for<'r> fn(&'r ())) -> _`
	`138`	+ found closure signature `fn((), ()) -> _`
`121`	`139`	note: required by a bound in `g4`
`122`	`140`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:26:25`
`123`	`141`	`\|`
`@@ -128,10 +146,12 @@ error[E0631]: type mismatch in closure arguments`
`128`	`146`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:11:5`
`129`	`147`	`\|`
`130`	`148`	`LL \| h1(\|_: (), _: (), _: (), _: ()\| {});`
`131`		- \| ^^ ---------------------------- found signature of `fn((), (), (), ()) -> _`
	`149`	`+ \| ^^ ---------------------------- found signature defined here`
`132`	`150`	`\| \|`
`133`		- \| expected signature of `for<'r, 's> fn(&'r (), Box<(dyn for<'t0> Fn(&'t0 ()) + 'static)>, &'s (), for<'t0, 't1> fn(&'t0 (), &'t1 ())) -> _`
	`151`	`+ \| expected due to this`
`134`	`152`	`\|`
	`153`	+ = note: expected closure signature `for<'r, 's> fn(&'r (), Box<(dyn for<'r> Fn(&'r ()) + 'static)>, &'s (), for<'r, 's> fn(&'r (), &'s ())) -> _`
	`154`	+ found closure signature `fn((), (), (), ()) -> _`
`135`	`155`	note: required by a bound in `h1`
`136`	`156`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:29:25`
`137`	`157`	`\|`
`@@ -142,10 +162,12 @@ error[E0631]: type mismatch in closure arguments`
`142`	`162`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:12:5`
`143`	`163`	`\|`
`144`	`164`	`LL \| h2(\|_: (), _: (), _: (), _: ()\| {});`
`145`		- \| ^^ ---------------------------- found signature of `fn((), (), (), ()) -> _`
	`165`	`+ \| ^^ ---------------------------- found signature defined here`
`146`	`166`	`\| \|`
`147`		- \| expected signature of `for<'r, 't0> fn(&'r (), Box<(dyn for<'s> Fn(&'s ()) + 'static)>, &'t0 (), for<'s, 't1> fn(&'s (), &'t1 ())) -> _`
	`167`	`+ \| expected due to this`
`148`	`168`	`\|`
	`169`	+ = note: expected closure signature `for<'t0, 'r> fn(&'r (), Box<(dyn for<'r> Fn(&'r ()) + 'static)>, &'t0 (), for<'r, 's> fn(&'r (), &'s ())) -> _`
	`170`	+ found closure signature `fn((), (), (), ()) -> _`
`149`	`171`	note: required by a bound in `h2`
`150`	`172`	`--> $DIR/anonymous-higher-ranked-lifetime.rs:30:25`
`151`	`173`	`\|`
Original file line number	Diff line number	Diff line change
`@@ -2,10 +2,12 @@ error[E0631]: type mismatch in closure arguments`
`2`	`2`	`--> $DIR/expect-infer-var-appearing-twice.rs:14:5`
`3`	`3`	`\|`
`4`	`4`	`LL \| with_closure(\|x: u32, y: i32\| {`
`5`		- \| ^^^^^^^^^^^^ ---------------- found signature of `fn(u32, i32) -> _`
	`5`	`+ \| ^^^^^^^^^^^^ ---------------- found signature defined here`
`6`	`6`	`\| \|`
`7`		- \| expected signature of `fn(_, _) -> _`
	`7`	`+ \| expected due to this`
`8`	`8`	`\|`
	`9`	+ = note: expected closure signature `fn(_, _) -> _`
	`10`	+ found closure signature `fn(u32, i32) -> _`
`9`	`11`	note: required by a bound in `with_closure`
`10`	`12`	`--> $DIR/expect-infer-var-appearing-twice.rs:2:14`
`11`	`13`	`\|`
Original file line number	Diff line number	Diff line change
`@@ -2,13 +2,15 @@ error[E0631]: type mismatch in function arguments`
`2`	`2`	`--> $DIR/issue-88382.rs:28:40`
`3`	`3`	`\|`
`4`	`4`	`LL \| do_something(SomeImplementation(), test);`
`5`		- \| ------------ ^^^^ expected signature of `for<'r> fn(&'r mut std::iter::Empty<usize>) -> _`
	`5`	`+ \| ------------ ^^^^ expected due to this`
`6`	`6`	`\| \|`
`7`	`7`	`\| required by a bound introduced by this call`
`8`	`8`	`...`
`9`	`9`	`LL \| fn test<'a, I: Iterable>(_: &mut I::Iterator<'a>) {}`
`10`		- \| ------------------------------------------------- found signature of `for<'r, 'a> fn(&'r mut <_ as Iterable>::Iterator<'a>) -> _`
	`10`	`+ \| ------------------------------------------------- found signature defined here`
`11`	`11`	`\|`
	`12`	+ = note: expected function signature `for<'r> fn(&'r mut std::iter::Empty<usize>) -> _`
	`13`	+ found function signature `for<'a, 'r> fn(&'r mut <_ as Iterable>::Iterator<'a>) -> _`
`12`	`14`	note: required by a bound in `do_something`
`13`	`15`	`--> $DIR/issue-88382.rs:22:48`
`14`	`16`	`\|`
Original file line number	Diff line number	Diff line change
`@@ -67,13 +67,15 @@ error[E0631]: type mismatch in function arguments`
`67`	`67`	`--> $DIR/const-eval-select-bad.rs:34:32`
`68`	`68`	`\|`
`69`	`69`	`LL \| const fn foo(n: i32) -> i32 {`
`70`		- \| --------------------------- found signature of `fn(i32) -> _`
	`70`	`+ \| --------------------------- found signature defined here`
`71`	`71`	`...`
`72`	`72`	`LL \| const_eval_select((true,), foo, baz);`
`73`		- \| ----------------- ^^^ expected signature of `fn(bool) -> _`
	`73`	`+ \| ----------------- ^^^ expected due to this`
`74`	`74`	`\| \|`
`75`	`75`	`\| required by a bound introduced by this call`
`76`	`76`	`\|`
	`77`	+ = note: expected function signature `fn(bool) -> _`
	`78`	+ found function signature `fn(i32) -> _`
`77`	`79`	note: required by a bound in `const_eval_select`
`78`	`80`	`--> $SRC_DIR/core/src/intrinsics.rs:LL:COL`
`79`	`81`	`\|`
Original file line number	Diff line number	Diff line change
`@@ -2,10 +2,12 @@ error[E0631]: type mismatch in closure arguments`
`2`	`2`	`--> $DIR/E0631.rs:7:5`
`3`	`3`	`\|`
`4`	`4`	`LL \| foo(\|_: isize\| {});`
`5`		- \| ^^^ ---------- found signature of `fn(isize) -> _`
	`5`	`+ \| ^^^ ---------- found signature defined here`
`6`	`6`	`\| \|`
`7`		- \| expected signature of `fn(usize) -> _`
	`7`	`+ \| expected due to this`
`8`	`8`	`\|`
	`9`	+ = note: expected closure signature `fn(usize) -> _`
	`10`	+ found closure signature `fn(isize) -> _`
`9`	`11`	note: required by a bound in `foo`
`10`	`12`	`--> $DIR/E0631.rs:3:11`
`11`	`13`	`\|`
`@@ -16,10 +18,12 @@ error[E0631]: type mismatch in closure arguments`
`16`	`18`	`--> $DIR/E0631.rs:8:5`
`17`	`19`	`\|`
`18`	`20`	`LL \| bar(\|_: isize\| {});`
`19`		- \| ^^^ ---------- found signature of `fn(isize) -> _`
	`21`	`+ \| ^^^ ---------- found signature defined here`
`20`	`22`	`\| \|`
`21`		- \| expected signature of `fn(usize) -> _`
	`23`	`+ \| expected due to this`
`22`	`24`	`\|`
	`25`	+ = note: expected closure signature `fn(usize) -> _`
	`26`	+ found closure signature `fn(isize) -> _`
`23`	`27`	note: required by a bound in `bar`
`24`	`28`	`--> $DIR/E0631.rs:4:11`
`25`	`29`	`\|`
`@@ -30,13 +34,15 @@ error[E0631]: type mismatch in function arguments`
`30`	`34`	`--> $DIR/E0631.rs:9:9`
`31`	`35`	`\|`
`32`	`36`	`LL \| fn f(_: u64) {}`
`33`		- \| ------------ found signature of `fn(u64) -> _`
	`37`	`+ \| ------------ found signature defined here`
`34`	`38`	`...`
`35`	`39`	`LL \| foo(f);`
`36`		- \| --- ^ expected signature of `fn(usize) -> _`
	`40`	`+ \| --- ^ expected due to this`
`37`	`41`	`\| \|`
`38`	`42`	`\| required by a bound introduced by this call`
`39`	`43`	`\|`
	`44`	+ = note: expected function signature `fn(usize) -> _`
	`45`	+ found function signature `fn(u64) -> _`
`40`	`46`	note: required by a bound in `foo`
`41`	`47`	`--> $DIR/E0631.rs:3:11`
`42`	`48`	`\|`
`@@ -47,13 +53,15 @@ error[E0631]: type mismatch in function arguments`
`47`	`53`	`--> $DIR/E0631.rs:10:9`
`48`	`54`	`\|`
`49`	`55`	`LL \| fn f(_: u64) {}`
`50`		- \| ------------ found signature of `fn(u64) -> _`
	`56`	`+ \| ------------ found signature defined here`
`51`	`57`	`...`
`52`	`58`	`LL \| bar(f);`
`53`		- \| --- ^ expected signature of `fn(usize) -> _`
	`59`	`+ \| --- ^ expected due to this`
`54`	`60`	`\| \|`
`55`	`61`	`\| required by a bound introduced by this call`
`56`	`62`	`\|`
	`63`	+ = note: expected function signature `fn(usize) -> _`
	`64`	+ found function signature `fn(u64) -> _`
`57`	`65`	note: required by a bound in `bar`
`58`	`66`	`--> $DIR/E0631.rs:4:11`
`59`	`67`	`\|`
Original file line number	Diff line number	Diff line change
`@@ -2,10 +2,12 @@ error[E0631]: type mismatch in closure arguments`
`2`	`2`	`--> $DIR/closure-arg-type-mismatch.rs:3:14`
`3`	`3`	`\|`
`4`	`4`	`LL \| a.iter().map(\|_: (u32, u32)\| 45);`
`5`		- \| ^^^ --------------- found signature of `fn((u32, u32)) -> _`
	`5`	`+ \| ^^^ --------------- found signature defined here`
`6`	`6`	`\| \|`
`7`		- \| expected signature of `fn(&(u32, u32)) -> _`
	`7`	`+ \| expected due to this`
`8`	`8`	`\|`
	`9`	+ = note: expected closure signature `fn(&(u32, u32)) -> _`
	`10`	+ found closure signature `fn((u32, u32)) -> _`
`9`	`11`	note: required by a bound in `map`
`10`	`12`	`--> $SRC_DIR/core/src/iter/traits/iterator.rs:LL:COL`
`11`	`13`	`\|`
`@@ -16,10 +18,12 @@ error[E0631]: type mismatch in closure arguments`
`16`	`18`	`--> $DIR/closure-arg-type-mismatch.rs:4:14`
`17`	`19`	`\|`
`18`	`20`	`LL \| a.iter().map(\|_: &(u16, u16)\| 45);`
`19`		- \| ^^^ ---------------- found signature of `for<'r> fn(&'r (u16, u16)) -> _`
	`21`	`+ \| ^^^ ---------------- found signature defined here`
`20`	`22`	`\| \|`
`21`		- \| expected signature of `fn(&(u32, u32)) -> _`
	`23`	`+ \| expected due to this`
`22`	`24`	`\|`
	`25`	+ = note: expected closure signature `fn(&(u32, u32)) -> _`
	`26`	+ found closure signature `for<'r> fn(&'r (u16, u16)) -> _`
`23`	`27`	note: required by a bound in `map`
`24`	`28`	`--> $SRC_DIR/core/src/iter/traits/iterator.rs:LL:COL`
`25`	`29`	`\|`
`@@ -30,10 +34,12 @@ error[E0631]: type mismatch in closure arguments`
`30`	`34`	`--> $DIR/closure-arg-type-mismatch.rs:5:14`
`31`	`35`	`\|`
`32`	`36`	`LL \| a.iter().map(\|_: (u16, u16)\| 45);`
`33`		- \| ^^^ --------------- found signature of `fn((u16, u16)) -> _`
	`37`	`+ \| ^^^ --------------- found signature defined here`
`34`	`38`	`\| \|`
`35`		- \| expected signature of `fn(&(u32, u32)) -> _`
	`39`	`+ \| expected due to this`
`36`	`40`	`\|`
	`41`	+ = note: expected closure signature `fn(&(u32, u32)) -> _`
	`42`	+ found closure signature `fn((u16, u16)) -> _`
`37`	`43`	note: required by a bound in `map`
`38`	`44`	`--> $SRC_DIR/core/src/iter/traits/iterator.rs:LL:COL`
`39`	`45`	`\|`