blob: 8dbc24c0673209949fa223d73e73bcb2d9a5d83d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#![feature(associated_type_defaults)]
// Tests that `Self` is not assumed to implement `Sized` when used as an
// associated type default.
trait Inner<S> {}
trait MyTrait {
type This = Self; //~ error: size for values of type `Self` cannot be known
fn something<I: Inner<Self::This>>(i: I);
}
fn main() {}
|