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() {}
|
