unconvertible_type.rs « bin « src « ui-tests - dynamize - A proc macro to enable trait objects with variable associated types

about summary refs log tree commit diff

path: root/ui-tests/src/bin/unconvertible_type.rs

blob: 6fd68d4c269c0d6dce46f055a6364685acf197cb (plain)

type Foo<T> = Option<T>;

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

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

fn main() {}