]>
git.proxmox.com Git - rustc.git/blob - src/test/mir-opt/validate_2.rs
1 // Copyright 2017 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
11 // ignore-tidy-linelength
12 // compile-flags: -Z verbose -Z mir-emit-validate=1
15 let _x
: Box
<[i32]> = Box
::new([1, 2, 3]);
19 // START rustc.main.EraseRegions.after.mir
23 // Validate(Acquire, [_2: std::boxed::Box<[i32; 3]>]);
24 // Validate(Release, [_2: std::boxed::Box<[i32; 3]>]);
25 // _1 = _2 as std::boxed::Box<[i32]> (Unsize);
26 // Validate(Acquire, [_1: std::boxed::Box<[i32]>]);
30 // Validate(Release, [_1: std::boxed::Box<[i32]>]);
35 // END rustc.main.EraseRegions.after.mir