tests/ui/const-generics/wrong-normalization.rs


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

// This test ensures that if implementation on projections is supported,
// it doesn't end in very weird cycle error.

#![crate_type = "lib"]

pub trait Identity {
    type Identity: ?Sized;
}

impl<T: ?Sized> Identity for T {
    type Identity = Self;
}

pub struct I8<const F: i8>;

impl <I8<{i8::MIN}> as Identity>::Identity {
//~^ ERROR no nominal type found for inherent implementation
    pub fn foo(&self) {}
}