03878c682a
uses a `ProofTreeVisitor` to look into nested goals when looking at the pending obligations during hir typeck. Used by closure signature inference, coercion, and for async functions.
16 lines
529 B
Plaintext
16 lines
529 B
Plaintext
error: implementation of `Foo` is not general enough
|
|
--> $DIR/obligation-with-leaking-placeholders.rs:18:5
|
|
|
|
|
LL | / needs_foo(|x| {
|
|
LL | |
|
|
LL | |
|
|
LL | | x.to_string();
|
|
LL | | });
|
|
| |______^ implementation of `Foo` is not general enough
|
|
|
|
|
= note: `Wrap<{closure@$DIR/obligation-with-leaking-placeholders.rs:18:15: 18:18}>` must implement `Foo<'0>`, for any lifetime `'0`...
|
|
= note: ...but it actually implements `Foo<'1>`, for some specific lifetime `'1`
|
|
|
|
error: aborting due to 1 previous error
|
|
|