tests/mir-opt/inline/issue_76997_inline_scopes_parenting.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

//@ compile-flags: -C debuginfo=full
// Tests that MIR inliner can handle `SourceScopeData` parenting correctly. (#76997)

// EMIT_MIR issue_76997_inline_scopes_parenting.main.Inline.after.mir
fn main() {
    // CHECK-LABEL: fn main(
    // CHECK: scope 1 {
    // CHECK-NEXT: debug f
    // CHECK-NEXT: scope 2 (inlined main::{closure#0}) {
    // CHECK-NEXT: debug x
    // CHECK-NEXT: scope 3 {
    // CHECK-NEXT: debug y
    // CHECK-NEXT: }
    // CHECK-NEXT: }
    // CHECK-NEXT: }
    let f = |x| {
        let y = x;
        y
    };
    f(())
}