5 const C: S0<u8> = Self(0);
6 //~^ ERROR mismatched types
7 //~| ERROR mismatched types
11 //~^ ERROR mismatched types
15 // Testing normalization.
19 impl<T> Fun for S0<T> {
25 impl<T> Foo<T> for <S0<T> as Fun>::Out {
27 Self(0); //~ ERROR mismatched types
31 struct S1<T, U>(T, U);
33 const C: S1<u8, u8> = Self(0, 1);
34 //~^ ERROR mismatched types
35 //~| ERROR mismatched types
40 fn map<U>(x: U) -> S2<U> {
42 //~^ ERROR mismatched types
43 //~| ERROR mismatched types