summaryrefslogtreecommitdiffstats
path: root/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-3.stderr
blob: 066bf431a83d78e4ae21581ee887296f120b6eab (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
error[E0277]: expected a `Fn<(<_ as ATC<'a>>::Type,)>` closure, found `F`
  --> $DIR/issue-62529-3.rs:25:9
   |
LL |         call(f, ());
   |         ^^^^ expected an `Fn<(<_ as ATC<'a>>::Type,)>` closure, found `F`
   |
   = note: expected a closure with arguments `((),)`
              found a closure with arguments `(<_ as ATC<'a>>::Type,)`
note: required by a bound in `call`
  --> $DIR/issue-62529-3.rs:9:36
   |
LL | fn call<'b, T: for<'a> ATC<'a>, F: for<'a> Fn(<T as ATC<'a>>::Type)>(
   |                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `call`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0277`.