#[dynamize::dynamize] trait Trait { type A: std::error::Error; fn a>(&self, x: X); } fn main() {}