error: dynamize expects at least 2 generic type arguments for this type
 --> src/bin/unconvertible_type_map.rs:5:20
  |
5 |     fn a(&self) -> HashMap<Self::A>;
  |                    ^^^^^^^