src/test/ui/traits/alias/issue-75983.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// check-pass

#![feature(trait_alias)]

struct Bar;
trait Foo {}
impl Foo for Bar {}

trait Baz = Foo where Bar: Foo;

fn new() -> impl Baz {
    Bar
}

fn main() {
    let _ = new();
}