#[dynamize::dynamize]
trait Trait {
    type A: std::alloc::Allocator;

    fn a(&self) -> Vec<String, Self::A>;
}

fn main() {}