-
Notifications
You must be signed in to change notification settings - Fork 13.6k
Closed
Labels
E-mentorCall for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.Call for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.E-needs-testCall for participation: An issue has been fixed and does not reproduce, but no test has been added.Call for participation: An issue has been fixed and does not reproduce, but no test has been added.
Description
i'm using the higher kinded type hack mentioned in this rfc: https://github.com/rust-lang/rfcs/blob/master/text/0195-associated-items.md#encoding-higher-kinded-types
if i use the same function signature in the impl as in the trait, the compiler crashes: https://play.rust-lang.org/?gist=16c39194b959959dc326&version=stable
but if the impl fn's return type is more specific, it works fine: https://play.rust-lang.org/?gist=e94d2b8108f14d6bc370&version=stable
Metadata
Metadata
Assignees
Labels
E-mentorCall for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.Call for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.E-needs-testCall for participation: An issue has been fixed and does not reproduce, but no test has been added.Call for participation: An issue has been fixed and does not reproduce, but no test has been added.