mirror of https://github.com/rust-lang/rust
20 lines
426 B
Rust
20 lines
426 B
Rust
// Ensure that we don't ICE if associated type impl trait is used in an impl
|
|
// with an unconstrained type parameter.
|
|
|
|
#![feature(impl_trait_in_assoc_type)]
|
|
|
|
trait X {
|
|
type I;
|
|
fn f() -> Self::I;
|
|
}
|
|
|
|
impl<T> X for () {
|
|
//~^ ERROR the type parameter `T` is not constrained
|
|
type I = impl Sized;
|
|
fn f() -> Self::I {}
|
|
//~^ ERROR type annotations needed
|
|
//~| ERROR type annotations needed
|
|
}
|
|
|
|
fn main() {}
|