27 lines
359 B
Rust
27 lines
359 B
Rust
#![feature(type_alias_impl_trait)]
|
|
|
|
struct Concrete;
|
|
|
|
type Tait = impl Sized;
|
|
|
|
impl Foo for Concrete {
|
|
type Item = Concrete;
|
|
//~^ ERROR type mismatch resolving
|
|
}
|
|
|
|
impl Bar for Concrete {
|
|
type Other = Tait;
|
|
}
|
|
|
|
trait Foo {
|
|
type Item: Bar<Other = Self>;
|
|
}
|
|
|
|
trait Bar {
|
|
type Other;
|
|
}
|
|
|
|
#[define_opaque(Tait)]
|
|
fn tait() -> Tait {}
|
|
|
|
fn main() {}
|