mirror of https://github.com/rust-lang/rust
19 lines
313 B
Rust
19 lines
313 B
Rust
#![feature(type_alias_impl_trait)]
|
|
|
|
type X = impl Sized;
|
|
|
|
trait Foo {
|
|
type Bar: Iterator<Item = X>;
|
|
}
|
|
|
|
impl Foo for () {
|
|
type Bar = std::vec::IntoIter<u32>;
|
|
//~^ ERROR expected `IntoIter<u32>` to be an iterator that yields `X`, but it yields `u32`
|
|
}
|
|
|
|
fn incoherent() -> X {
|
|
22_i32
|
|
}
|
|
|
|
fn main() {}
|