blob: 1824ff5e2fb826839f4549ba58dd5c51bddc82d0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// 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 {}
}
fn main() {}
|