Skip to content

compiler crashes when trying to infer return type in impl #25810

Closed
@hclarke

Description

@hclarke

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

No one assigned

    Labels

    E-mentorCall 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.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions