type Foo<T> = Option<T>;

#[dynamize::dynamize]
trait Trait {
    type A: std::error::Error;

    fn a(&self) -> Option<Foo<Self::A>>;
}

fn main() {}