]>
Commit | Line | Data |
---|---|---|
abe05a73 XL |
1 | // Basic test for named lifetime translation. Check that we |
2 | // instantiate the types that appear in function arguments with | |
3 | // suitable variables and that we setup the outlives relationship | |
4 | // between R0 and R1 properly. | |
5 | ||
83c7162d XL |
6 | // compile-flags:-Zborrowck=mir -Zverbose |
7 | // ^^^^^^^^^ force compiler to dump more region information | |
abe05a73 XL |
8 | |
9 | #![allow(warnings)] | |
10 | ||
ba9703b0 | 11 | // EMIT_MIR rustc.use_x.nll.0.mir |
abe05a73 XL |
12 | fn use_x<'a, 'b: 'a, 'c>(w: &'a mut i32, x: &'b u32, y: &'a u32, z: &'c u32) -> bool { true } |
13 | ||
14 | fn main() { | |
15 | } |