blob: 3b478889996952ed29f797484b2a4bb05e20639a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
error[E0283]: type annotations needed: cannot satisfy `impl Trait<'x> + Trait<'y>: Trait<'y>`
--> $DIR/ambiguity-due-to-uniquification-2.rs:16:23
|
LL | impls_trait::<'y, _>(foo::<'x, 'y>());
| ^
|
= note: cannot satisfy `impl Trait<'x> + Trait<'y>: Trait<'y>`
= help: the trait `Trait<'t>` is implemented for `()`
note: required by a bound in `impls_trait`
--> $DIR/ambiguity-due-to-uniquification-2.rs:13:23
|
LL | fn impls_trait<'x, T: Trait<'x>>(_: T) {}
| ^^^^^^^^^ required by this bound in `impls_trait`
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0283`.
|
