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();
}
|