src/tools/clippy/tests/ui/crashes/ice-6252.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// originally from glacier fixed/77919.rs
// encountered errors resolving bounds after type-checking
//@no-rustfix
trait TypeVal<T> {
    const VAL: T;
}
struct Five;
struct Multiply<N, M> {
    _n: PhantomData,
    //~^ ERROR: cannot find type
}
impl<N, M> TypeVal<usize> for Multiply<N, M> where N: TypeVal<VAL> {}
//~^ ERROR: cannot find type
//~| ERROR: not all trait items

fn main() {
    [1; <Multiply<Five, Five>>::VAL];
}