#[dynamize::dynamize]
trait Trait {
    fn f(&self) -> Self::A;
}

fn main() {}