summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/alias/issue-75983.rs
blob: f9a7f36de43f1fd09ba38e1a9c3b7bc928fbb56d (plain)
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();
}