]> git.proxmox.com Git - rustc.git/blame - src/test/ui/issues/issue-43623.stderr
New upstream version 1.44.1+dfsg1
[rustc.git] / src / test / ui / issues / issue-43623.stderr
CommitLineData
416331ca
XL
1error[E0631]: type mismatch in function arguments
2 --> $DIR/issue-43623.rs:14:5
3 |
e1599b0c 4LL | pub fn break_me<T, F>(f: F)
ba9703b0 5 | -------- required by a bound in this
e1599b0c
XL
6LL | where T: for<'b> Trait<'b>,
7LL | F: for<'b> FnMut(<T as Trait<'b>>::Assoc) {
8 | -------------------------------------- required by this bound in `break_me`
416331ca
XL
9LL | break_me::<Type, fn(_)>;
10 | ^^^^^^^^^^^^^^^^^^^^^^^
11 | |
12 | expected signature of `for<'b> fn(<Type as Trait<'b>>::Assoc) -> _`
13 | found signature of `fn(_) -> _`
416331ca
XL
14
15error[E0271]: type mismatch resolving `for<'b> <fn(_) as std::ops::FnOnce<(<Type as Trait<'b>>::Assoc,)>>::Output == ()`
16 --> $DIR/issue-43623.rs:14:5
17 |
e1599b0c 18LL | pub fn break_me<T, F>(f: F)
ba9703b0 19 | -------- required by a bound in this
e1599b0c
XL
20LL | where T: for<'b> Trait<'b>,
21LL | F: for<'b> FnMut(<T as Trait<'b>>::Assoc) {
22 | ------------------------------ required by this bound in `break_me`
416331ca
XL
23LL | break_me::<Type, fn(_)>;
24 | ^^^^^^^^^^^^^^^^^^^^^^^ expected bound lifetime parameter 'b, found concrete lifetime
416331ca
XL
25
26error: aborting due to 2 previous errors
27
60c5eb7d
XL
28Some errors have detailed explanations: E0271, E0631.
29For more information about an error, try `rustc --explain E0271`.