mirror of https://github.com/rust-lang/rust
25 lines
316 B
Rust
25 lines
316 B
Rust
#![feature(type_alias_impl_trait)]
|
|
|
|
trait T {
|
|
type Assoc: Cake;
|
|
}
|
|
|
|
trait Cake: std::fmt::Display {
|
|
fn cake() -> Self;
|
|
}
|
|
|
|
type Foo = impl T;
|
|
|
|
fn foo() -> impl T {
|
|
//~^ ERROR `(): T` is not satisfied
|
|
panic!()
|
|
}
|
|
|
|
fn a() -> Foo {
|
|
foo()
|
|
}
|
|
|
|
fn main() {
|
|
println!("{}", <Foo as T>::Assoc::cake());
|
|
}
|