[rustc.git] / src / test / mir-opt / nll / region-subtyping-basic.rs

// Basic test for liveness constraints: the region (`R1`) that appears
// in the type of `p` includes the points after `&v[0]` up to (but not
// including) the call to `use_x`. The `else` branch is not included.

// compile-flags:-Zborrowck=mir -Zverbose
//                              ^^^^^^^^^ force compiler to dump more region information

#![allow(warnings)]

fn use_x(_: usize) -> bool { true }

// EMIT_MIR_FOR_EACH_BIT_WIDTH
// EMIT_MIR rustc.main.nll.0.mir
fn main() {
    let mut v = [1, 2, 3];
    let p = &v[0];
    let q = p;
    if true {
        use_x(*q);
    } else {
        use_x(22);
    }
}
Commit	Line	Data
abe05a73 XL	1	// Basic test for liveness constraints: the region (`R1`) that appears
	2	// in the type of `p` includes the points after `&v[0]` up to (but not
	3	// including) the call to `use_x`. The `else` branch is not included.
	4
83c7162d XL	5	// compile-flags:-Zborrowck=mir -Zverbose
83c7162d XL	6	// ^^^^^^^^^ force compiler to dump more region information
abe05a73 XL	7
	8	#![allow(warnings)]
	9
	10	fn use_x(_: usize) -> bool { true }
	11
ba9703b0 XL	12	// EMIT_MIR_FOR_EACH_BIT_WIDTH
ba9703b0 XL	13	// EMIT_MIR rustc.main.nll.0.mir
abe05a73 XL	14	fn main() {
	15	let mut v = [1, 2, 3];
	16	let p = &v[0];
	17	let q = p;
	18	if true {
	19	use_x(*q);
	20	} else {
	21	use_x(22);
	22	}
	23	}