#[dynamize::dynamize] trait Foo: Into<Self::X> { type X; } fn main() {}