Idea: "Maybe Trait" Object and Bounds (an alternative form of specialization)

language design
16

Note that the hard part of soundness is lifetimes, since they're erased.

How does adding this syntax make it possible to know whether the lifetimes are sufficient for the trait impl people are asking to use?

2 Likes