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