summaryrefslogtreecommitdiffstats
path: root/src/test/ui/associated-types/issue-63593.rs
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() {}