trait Foo {
    type X: Into<String>;
}

#[dynamize::dynamize]
trait Bar: Foo {
    fn test(&self) -> Option<<Self as Foo>::X>;
}

fn main() {}