qualified_assoc_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/qualified_assoc_type.rs

blob: 24a47918ae47b250492368cfdeed59a7f9580e35 (plain)

trait Foo {
    type B;
}

#[dynamize::dynamize]
trait Bar {
    type A: Foo;

    fn test(&self) -> <Self::A as Foo>::B;
}

fn main() {}