src/test/ui/mir/mir_ascription_coercion.rs


1
2
3
4
5
6
7
8
9
10

// run-pass
// Tests that the result of type ascription has adjustments applied

#![feature(type_ascription)]

fn main() {
    let x = [1, 2, 3];
    // The RHS should coerce to &[i32]
    let _y : &[i32] = type_ascribe!(&x, &[i32; 3]);
}