mirror of https://github.com/rust-lang/rust
27 lines
407 B
Rust
27 lines
407 B
Rust
#![feature(type_alias_impl_trait)]
|
|
//@ build-pass (FIXME(62277): could be check-pass?)
|
|
|
|
trait Bar {}
|
|
struct Dummy;
|
|
impl Bar for Dummy {}
|
|
|
|
trait Foo {
|
|
type Assoc: Bar;
|
|
fn foo() -> Self::Assoc;
|
|
fn bar() -> Self::Assoc;
|
|
}
|
|
|
|
type Helper = impl Bar;
|
|
|
|
impl Foo for i32 {
|
|
type Assoc = Helper;
|
|
fn foo() -> Helper {
|
|
Dummy
|
|
}
|
|
fn bar() -> Helper {
|
|
Dummy
|
|
}
|
|
}
|
|
|
|
fn main() {}
|