qualified_self_opt.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_self_opt.rs

blob: 5de8b71ba5570bccc6fc8f419f38483ebbedf735 (plain)

trait Foo {
    type X: Into<String>;
}

#[dynamize::dynamize]
trait Bar: Foo {
    fn test(&self) -> Option<<Self as Foo>::X>;
}

fn main() {}