trait Foo {}
trait Bar where Self: Sized, Option<Self>: Foo {}

struct Baz {}
impl Bar for Baz {}
impl Foo for Option<Baz> {}

fn main () {
    let _bar = Baz {};
}