]> git.lizzy.rs Git - rust.git/blob - src/test/ui/regions/regions-normalize-in-where-clause-list.stderr
Rollup merge of #67055 - lqd:const_qualif, r=oli-obk
[rust.git] / src / test / ui / regions / regions-normalize-in-where-clause-list.stderr
1 error[E0495]: cannot infer an appropriate lifetime for lifetime parameter `'a` due to conflicting requirements
2   --> $DIR/regions-normalize-in-where-clause-list.rs:22:1
3    |
4 LL | / fn bar<'a, 'b>()
5 LL | |     where <() as Project<'a, 'b>>::Item : Eq
6 LL | | {
7 LL | | }
8    | |_^
9    |
10 note: first, the lifetime cannot outlive the lifetime `'a` as defined on the function body at 22:8...
11   --> $DIR/regions-normalize-in-where-clause-list.rs:22:8
12    |
13 LL | fn bar<'a, 'b>()
14    |        ^^
15 note: ...but the lifetime must also be valid for the lifetime `'b` as defined on the function body at 22:12...
16   --> $DIR/regions-normalize-in-where-clause-list.rs:22:12
17    |
18 LL | fn bar<'a, 'b>()
19    |            ^^
20 note: ...so that the types are compatible
21   --> $DIR/regions-normalize-in-where-clause-list.rs:22:1
22    |
23 LL | / fn bar<'a, 'b>()
24 LL | |     where <() as Project<'a, 'b>>::Item : Eq
25 LL | | {
26 LL | | }
27    | |_^
28    = note: expected  `Project<'a, 'b>`
29               found  `Project<'_, '_>`
30
31 error: aborting due to previous error
32
33 For more information about this error, try `rustc --explain E0495`.