#![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() {}
