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

fn main() {}