rust/tests/ui/mir/mir_ascription_coercion.rs
2024-02-16 20:02:50 +00:00

11 lines
240 B
Rust

//@ 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]);
}