tests/ui/typeck/ice-self-mismatch-const-generics.rs


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

// Checks that the following does not ICE when constructing type mismatch diagnostic involving
// `Self` and const generics.
// Issue: <https://github.com/rust-lang/rust/issues/122467>

pub struct GenericStruct<const N: usize, T> {
    thing: T,
}

impl<T> GenericStruct<0, T> {
    pub fn new(thing: T) -> GenericStruct<1, T> {
        Self { thing }
        //~^ ERROR mismatched types
    }
}

pub struct GenericStruct2<const M: usize, T>(T);

impl<T> GenericStruct2<0, T> {
    pub fn new(thing: T) -> GenericStruct2<1, T> {
        Self { 0: thing }
        //~^ ERROR mismatched types
    }
}

fn main() {}