// 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
}