tests/ui/dyn-compatibility/trait-alias-self-projection.rs


1
2
3
4
5
6
7
8
9
10
11
12

#![feature(trait_alias)]
trait B = Fn() -> Self;
type D = &'static dyn B;
//~^ ERROR E0411

fn a() -> D {
    unreachable!();
}

fn main() {
    _ = a();
}