#[dynamize::dynamize] trait Trait { type A: Into; fn a(&self) -> HashMap; } fn main() {}