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
|
#[lang = "sized"]
trait Sized {}
const M: usize = 4;
struct Foo<T, const N: usize = 1> {
value: [T; N],
}
fn main() {
let foo = Foo::<i32> { value: [15] };
let foo = Foo::<i32, 2> { value: [15, 13] };
let foo: Foo<i32, 2> = Foo { value: [15, 13] };
let foo: Foo<i32, 2> = Foo::<i32, 2> { value: [15, 13] };
let foo: Foo<i32, { 1 + 1 }> = Foo { value: [15, 13] };
let foo = Foo::<i32, { 1 + 1 }> { value: [15, 13] };
let foo: Foo<i32, { 1 + 1 }> = Foo::<i32, { 1 + 1 }> { value: [15, 13] };
let foo: Foo<i32, M> = Foo::<i32, 4> {
value: [15, 13, 11, 9],
};
let invalid_foo: Foo<i32, { 1 + 1 }> = Foo::<i32, 3> { value: [15, 13] };
// { dg-error {mismatched types, expected ..T=i32; 3.. but got ...integer.; 2.. .E0308.} "" { target *-*-* } .-1 }
// { dg-error {mismatched types, expected ..T=i32; 2.. but got ..T=i32; 3.. .E0308.} "" { target *-*-* } .-2 }
let invalid_foo: Foo<i32, { 1 + 1 }> = Foo::<i32, M> { value: [15, 13] };
// { dg-error {mismatched types, expected ..T=i32; 4.. but got ...integer.; 2.. .E0308.} "" { target *-*-* } .-1 }
// { dg-error {mismatched types, expected ..T=i32; 2.. but got ..T=i32; 4.. .E0308.} "" { target *-*-* } .-2 }
let invalid_foo: Foo<i32> = Foo::<i32, 2> { value: [15, 13] };
// { dg-error {mismatched types, expected ..T=i32; 1.. but got ..T=i32; 2.. .E0308.} "" { target *-*-* } .-1 }
}
|
