tests/ui/associated-inherent-types/normalization-overflow.rs


1
2
3
4
5
6
7
8
9
10
11
12

#![feature(inherent_associated_types)]
#![allow(incomplete_features)]

// FIXME(fmease): I'd prefer to report a cycle error here instead of an overflow one.

struct T;

impl T {
    type This = Self::This; //~ ERROR overflow evaluating associated type `T::This`
}

fn main() {}