Skip to content

Instantly share code, notes, and snippets.

@lqd lqd/nice region error.txt Secret
Last active Oct 23, 2019

Embed
What would you like to do?
error: implementation of `X` is not general enough
--> $DIR/issue-57362-2.rs:22:13
|
8 | / trait X {
9 | | type G;
10 | | fn make_g() -> Self::G;
| | ----------------------- due to a where-clause on `X::make_g`...
11 | | }
| |_- trait `X` defined here
...
22 | let x = <fn (&())>::make_g();
| ^^^^^^^^^^^^^^^^^^ doesn't satisfy where-clause
|
= note: ...`X` would have to be implemented for the type `for<'r> fn(&'r ())`
= note: ...but `X` is actually implemented for the type `fn(&'0 ())`, for some specific lifetime `'0`
error: aborting due to 2 previous errors
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.