trait Foo {
    type B;
}

#[dynamize::dynamize]
trait Bar {
    type A: Foo;

    fn test(&self) -> <Self::A as Foo>::B;
}

fn main() {}