summaryrefslogtreecommitdiffstats
path: root/tests/ui/issues/issue-69306.rs
blob: 85d60952ac82394e4063a4b5268cb6f3fc8c7c44 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
fn main() {}

struct S0<T>(T);
impl<T> S0<T> {
    const C: S0<u8> = Self(0);
    //~^ ERROR mismatched types
    //~| ERROR mismatched types

    fn foo() {
        Self(0);
        //~^ ERROR mismatched types
    }
}

// Testing normalization.
trait Fun {
    type Out;
}
impl<T> Fun for S0<T> {
    type Out = Self;
}
trait Foo<T> {
    fn foo();
}
impl<T> Foo<T> for <S0<T> as Fun>::Out {
    fn foo() {
        Self(0); //~ ERROR mismatched types
    }
}

struct S1<T, U>(T, U);
impl<T> S1<T, u8> {
    const C: S1<u8, u8> = Self(0, 1);
    //~^ ERROR mismatched types
    //~| ERROR mismatched types
}

struct S2<T>(T);
impl<T> S2<T> {
    fn map<U>(x: U) -> S2<U> {
        Self(x)
        //~^ ERROR mismatched types
        //~| ERROR mismatched types
    }
}