blob: d583fc2131a747dd046a268aa362a1b2fcd90edd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// Type ascription doesn't lead to unsoundness
#![feature(type_ascription)]
fn main() {
let arr = &[1u8, 2, 3];
let ref x = arr: &[u8]; //~ ERROR mismatched types
let ref mut x = arr: &[u8]; //~ ERROR mismatched types
match arr: &[u8] { //~ ERROR mismatched types
ref x => {}
}
let _len = (arr: &[u8]).len(); //~ ERROR mismatched types
}
|
