Closed
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