summaryrefslogtreecommitdiffstats
path: root/tests/ui/issues/issue-20009.rs
blob: f289e58c50e684821245ade7d1f44e4970772966 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
// check-pass
// Check that associated types are `Sized`

// pretty-expanded FIXME #23616

trait Trait {
    type Output;

    fn is_sized(&self) -> Self::Output;
    fn wasnt_sized(&self) -> Self::Output { loop {} }
}

fn main() {}