blob: 27dd51de2417138b589341cc6deb137753ac919d (
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
|
// check-pass
struct X;
impl X {
pub fn getn<const N: usize>(&self) -> [u8; N] {
getn::<N>()
}
}
fn getn<const N: usize>() -> [u8; N] {
unsafe {
std::mem::zeroed()
}
}
fn main() {
// works
let [a,b,c] = getn::<3>();
// cannot pattern-match on an array without a fixed length
let [a,b,c] = X.getn::<3>();
// mismatched types, expected array `[u8; 3]` found array `[u8; _]`
let arr: [u8; 3] = X.getn::<3>();
}
|