1 DefId(0:3 ~ thir_flat[45a6]::main):
6 targeted_by_break: false,
8 opt_destruction_scope: None,
9 span: $DIR/thir-flat.rs:4:15: 4:17 (#0),
21 span: $DIR/thir-flat.rs:4:15: 4:17 (#0),
31 span: $DIR/thir-flat.rs:4:15: 4:17 (#0),
33 region_scope: Node(2),
35 HirId(DefId(0:3 ~ thir_flat[45a6]::main).2),
45 span: $DIR/thir-flat.rs:4:15: 4:17 (#0),
47 region_scope: Destruction(2),
48 lint_level: Inherited,