Where Self Meets Sized: Revisting Object Safety


where Self: Sized now offers new flexibility for writing object-safe traits.


After reading that blog post, I did some experiments to confirm my understanding. However, I stumbled upon this bug (or weird feature) where the compiler seems to be confused by where Option<Self>: Sized.