1 2 3 4 5 6 7 8 9
struct A<T>(T); impl A<bool> { const B: A<u8> = Self(0); //~^ ERROR mismatched types //~| ERROR mismatched types } fn main() {}