Yep, this idea has been floating around for a while and everyone seems to like it. I’ve been calling it enum impl Trait though everyone seems to have their own preferred name for it. I believe the most recent chatter on the subject is happening at https://github.com/rust-lang/rfcs/issues/2414, which includes my most recent thoughts so I won’t bother repeating them here.
1 Like