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