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