Skip to content

Match expressions had not been updated to also show the match_source,…#157769

Open
AlexCeleste wants to merge 1 commit into
rust-lang:mainfrom
AlexCeleste:thir-missing-match-source
Open

Match expressions had not been updated to also show the match_source,…#157769
AlexCeleste wants to merge 1 commit into
rust-lang:mainfrom
AlexCeleste:thir-missing-match-source

Conversation

@AlexCeleste

Copy link
Copy Markdown
Contributor

… since the time that was added

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Jun 11, 2026
@rustbot

rustbot commented Jun 11, 2026

Copy link
Copy Markdown
Collaborator

r? @petrochenkov

rustbot has assigned @petrochenkov.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: compiler
  • compiler expanded to 73 candidates
  • Random selection from 19 candidates

@rust-log-analyzer

This comment has been minimized.

@petrochenkov

Copy link
Copy Markdown
Contributor

r? @Nadrieril maybe, I'm not sure what this is about

@rustbot rustbot assigned Nadrieril and unassigned petrochenkov Jun 11, 2026
@rustbot

rustbot commented Jun 11, 2026

Copy link
Copy Markdown
Collaborator

Nadrieril is currently at their maximum review capacity.
They may take a while to respond.

@AlexCeleste AlexCeleste force-pushed the thir-missing-match-source branch from 406d85a to ac251f4 Compare June 12, 2026 09:51
@rustbot

rustbot commented Jun 12, 2026

Copy link
Copy Markdown
Collaborator

This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

@rust-log-analyzer

This comment has been minimized.

@AlexCeleste AlexCeleste force-pushed the thir-missing-match-source branch from ac251f4 to 4da45bc Compare June 12, 2026 11:39
@rust-log-analyzer

This comment has been minimized.

… since the time that was added

update existing match tests as well

remove hashes from output

remove specific DefIds for core from output
@AlexCeleste AlexCeleste force-pushed the thir-missing-match-source branch from 4da45bc to 481db97 Compare June 12, 2026 12:27
@rust-log-analyzer

Copy link
Copy Markdown
Collaborator

The job aarch64-gnu-llvm-21-1 failed! Check out the build log: (web) (plain enhanced) (plain)

Click to see the possible cause of the failure (guessed by this bot)
---- [ui] tests/ui/thir-print/thir-tree-match-for.rs stdout ----
Saved the actual stdout to `/checkout/obj/build/aarch64-unknown-linux-gnu/test/ui/thir-print/thir-tree-match-for/thir-tree-match-for.stdout`
diff of stdout:

421                                                                                                                                                                         did: DefId(N:M ~ core::ops::range::Range)
422                                                                                                                                                                         variants: [VariantDef { def_id: DefId(N:M ~ core::ops::range::Range), ctor: None, name: "Range", discr: Relative(0), fields: [FieldDef { did: DefId(N:M ~ core::ops::range::Range::start), name: "start", vis: Public, safety: Safe, value: None }, FieldDef { did: DefId(N:M ~ core::ops::range::Range::end), name: "end", vis: Public, safety: Safe, value: None }], tainted: None, flags:  }]
423                                                                                                                                                                         flags: IS_STRUCT
-                                                                                                                                                                         repr: ReprOptions { int: None, align: None, pack: None, flags: , scalable: None, field_shuffle_seed: 3488599726022204405 }
+                                                                                                                                                                         repr: ReprOptions { int: None, align: None, pack: None, flags: RANDOMIZE_LAYOUT, scalable: None, field_shuffle_seed: 11393859195463582328 }
425                                                                                                                                                                     }
426                                                                                                                                                                     variant_index: 0
427                                                                                                                                                                     args: [u32]

660                                                                                                                                                                                                                                     did: DefId(N:M ~ core::option::Option)
661                                                                                                                                                                                                                                     variants: [VariantDef { def_id: DefId(N:M ~ core::option::Option::None), ctor: Some((Const, DefId(N:M ~ core::option::Option::None::{constructor#0}))), name: "None", discr: Relative(0), fields: [], tainted: None, flags:  }, VariantDef { def_id: DefId(N:M ~ core::option::Option::Some), ctor: Some((Fn, DefId(N:M ~ core::option::Option::Some::{constructor#0}))), name: "Some", discr: Relative(1), fields: [FieldDef { did: DefId(N:M ~ core::option::Option::Some::0), name: "0", vis: Public, safety: Safe, value: None }], tainted: None, flags:  }]
662                                                                                                                                                                                                                                     flags: IS_ENUM
-                                                                                                                                                                                                                                     repr: ReprOptions { int: None, align: None, pack: None, flags: , scalable: None, field_shuffle_seed: 11004682594870345353 }
+                                                                                                                                                                                                                                     repr: ReprOptions { int: None, align: None, pack: None, flags: RANDOMIZE_LAYOUT, scalable: None, field_shuffle_seed: 13401315077211548708 }
664                                                                                                                                                                                                                                 }
665                                                                                                                                                                                                                             args: [u32]
666                                                                                                                                                                                                                             variant_index: 0

715                                                                                                                                                                                                                                     did: DefId(N:M ~ core::option::Option)
716                                                                                                                                                                                                                                     variants: [VariantDef { def_id: DefId(N:M ~ core::option::Option::None), ctor: Some((Const, DefId(N:M ~ core::option::Option::None::{constructor#0}))), name: "None", discr: Relative(0), fields: [], tainted: None, flags:  }, VariantDef { def_id: DefId(N:M ~ core::option::Option::Some), ctor: Some((Fn, DefId(N:M ~ core::option::Option::Some::{constructor#0}))), name: "Some", discr: Relative(1), fields: [FieldDef { did: DefId(N:M ~ core::option::Option::Some::0), name: "0", vis: Public, safety: Safe, value: None }], tainted: None, flags:  }]
717                                                                                                                                                                                                                                     flags: IS_ENUM
-                                                                                                                                                                                                                                     repr: ReprOptions { int: None, align: None, pack: None, flags: , scalable: None, field_shuffle_seed: 11004682594870345353 }
+                                                                                                                                                                                                                                     repr: ReprOptions { int: None, align: None, pack: None, flags: RANDOMIZE_LAYOUT, scalable: None, field_shuffle_seed: 13401315077211548708 }
719                                                                                                                                                                                                                                 }
720                                                                                                                                                                                                                             args: [u32]
721                                                                                                                                                                                                                             variant_index: 1

978                                                                                                                                         did: DefId(N:M ~ core::ops::range::Range)
979                                                                                                                                         variants: [VariantDef { def_id: DefId(N:M ~ core::ops::range::Range), ctor: None, name: "Range", discr: Relative(0), fields: [FieldDef { did: DefId(N:M ~ core::ops::range::Range::start), name: "start", vis: Public, safety: Safe, value: None }, FieldDef { did: DefId(N:M ~ core::ops::range::Range::end), name: "end", vis: Public, safety: Safe, value: None }], tainted: None, flags:  }]
980                                                                                                                                         flags: IS_STRUCT
-                                                                                                                                         repr: ReprOptions { int: None, align: None, pack: None, flags: , scalable: None, field_shuffle_seed: 3488599726022204405 }
+                                                                                                                                         repr: ReprOptions { int: None, align: None, pack: None, flags: RANDOMIZE_LAYOUT, scalable: None, field_shuffle_seed: 11393859195463582328 }
982                                                                                                                                     }
983                                                                                                                                     variant_index: 0
984                                                                                                                                     args: [u32]

1217                                                                                                                                                                                                     did: DefId(N:M ~ core::option::Option)
1218                                                                                                                                                                                                     variants: [VariantDef { def_id: DefId(N:M ~ core::option::Option::None), ctor: Some((Const, DefId(N:M ~ core::option::Option::None::{constructor#0}))), name: "None", discr: Relative(0), fields: [], tainted: None, flags:  }, VariantDef { def_id: DefId(N:M ~ core::option::Option::Some), ctor: Some((Fn, DefId(N:M ~ core::option::Option::Some::{constructor#0}))), name: "Some", discr: Relative(1), fields: [FieldDef { did: DefId(N:M ~ core::option::Option::Some::0), name: "0", vis: Public, safety: Safe, value: None }], tainted: None, flags:  }]
1219                                                                                                                                                                                                     flags: IS_ENUM
-                                                                                                                                                                                                     repr: ReprOptions { int: None, align: None, pack: None, flags: , scalable: None, field_shuffle_seed: 11004682594870345353 }
+                                                                                                                                                                                                     repr: ReprOptions { int: None, align: None, pack: None, flags: RANDOMIZE_LAYOUT, scalable: None, field_shuffle_seed: 13401315077211548708 }
1221                                                                                                                                                                                                 }
1222                                                                                                                                                                                             args: [u32]
1223                                                                                                                                                                                             variant_index: 0

1272                                                                                                                                                                                                     did: DefId(N:M ~ core::option::Option)
1273                                                                                                                                                                                                     variants: [VariantDef { def_id: DefId(N:M ~ core::option::Option::None), ctor: Some((Const, DefId(N:M ~ core::option::Option::None::{constructor#0}))), name: "None", discr: Relative(0), fields: [], tainted: None, flags:  }, VariantDef { def_id: DefId(N:M ~ core::option::Option::Some), ctor: Some((Fn, DefId(N:M ~ core::option::Option::Some::{constructor#0}))), name: "Some", discr: Relative(1), fields: [FieldDef { did: DefId(N:M ~ core::option::Option::Some::0), name: "0", vis: Public, safety: Safe, value: None }], tainted: None, flags:  }]
1274                                                                                                                                                                                                     flags: IS_ENUM
-                                                                                                                                                                                                     repr: ReprOptions { int: None, align: None, pack: None, flags: , scalable: None, field_shuffle_seed: 11004682594870345353 }
+                                                                                                                                                                                                     repr: ReprOptions { int: None, align: None, pack: None, flags: RANDOMIZE_LAYOUT, scalable: None, field_shuffle_seed: 13401315077211548708 }
1276                                                                                                                                                                                                 }
1277                                                                                                                                                                                             args: [u32]
1278                                                                                                                                                                                             variant_index: 1


The actual stdout differed from the expected stdout
To update references, rerun the tests and pass the `--bless` flag
To only update this specific test, also pass `--test-args thir-print/thir-tree-match-for.rs`

error: 1 errors occurred comparing output.
status: exit status: 0
command: env -u RUSTC_LOG_COLOR RUSTC_ICE="0" RUST_BACKTRACE="short" "/checkout/obj/build/aarch64-unknown-linux-gnu/stage2/bin/rustc" "/checkout/tests/ui/thir-print/thir-tree-match-for.rs" "-Zthreads=1" "-Zsimulate-remapped-rust-src-base=/rustc/FAKE_PREFIX" "-Ztranslate-remapped-path-to-local-path=no" "-Z" "ignore-directory-in-diagnostics-source-blocks=/cargo" "-Z" "ignore-directory-in-diagnostics-source-blocks=/checkout/vendor" "--sysroot" "/checkout/obj/build/aarch64-unknown-linux-gnu/stage2" "--target=aarch64-unknown-linux-gnu" "--check-cfg" "cfg(test,FALSE)" "--error-format" "json" "--json" "future-incompat" "-Ccodegen-units=1" "-Zui-testing" "-Zdeduplicate-diagnostics=no" "-Zwrite-long-types-to-disk=no" "-Cstrip=debuginfo" "--emit" "metadata" "-C" "prefer-dynamic" "--out-dir" "/checkout/obj/build/aarch64-unknown-linux-gnu/test/ui/thir-print/thir-tree-match-for" "-A" "unused" "-W" "unused_attributes" "-A" "internal_features" "-A" "incomplete_features" "-A" "unused_parens" "-A" "unused_braces" "-Crpath" "-Cdebuginfo=0" "-Lnative=/checkout/obj/build/aarch64-unknown-linux-gnu/native/rust-test-helpers" "-Zunpretty=thir-tree"
--- stdout -------------------------------
DefId(0:3 ~ thir_tree_match_for[671a]::match_non_loop):
params: [
    Param {
        ty: u32
        ty_span: Some(/checkout/tests/ui/thir-print/thir-tree-match-for.rs:6:21: 6:24 (#0))
        self_kind: None
        hir_id: Some(HirId(DefId(0:3 ~ thir_tree_match_for[671a]::match_non_loop).1))
        param: Some( 
            Pat {
                ty: u32
                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:6:19: 6:20 (#0)
                kind: PatKind {
                    Binding {
                        name: "x"
                        mode: BindingMode(No, Not)
                        var: LocalVarId(HirId(DefId(0:3 ~ thir_tree_match_for[671a]::match_non_loop).2))
                        ty: u32
                        is_primary: true
                        is_shorthand: false
                        subpattern: None
                    }
                }
            }
        )
    }
    Param {
        ty: u32
        ty_span: Some(/checkout/tests/ui/thir-print/thir-tree-match-for.rs:6:29: 6:32 (#0))
        self_kind: None
        hir_id: Some(HirId(DefId(0:3 ~ thir_tree_match_for[671a]::match_non_loop).3))
        param: Some( 
            Pat {
                ty: u32
                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:6:26: 6:27 (#0)
                kind: PatKind {
                    Binding {
                        name: "y"
                        mode: BindingMode(No, Not)
                        var: LocalVarId(HirId(DefId(0:3 ~ thir_tree_match_for[671a]::match_non_loop).4))
                        ty: u32
                        is_primary: true
                        is_shorthand: false
                        subpattern: None
                    }
                }
---
        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:6:34: 12:2 (#0)
        kind: 
            Scope {
                region_scope: Node(25)
                hir_id: HirId(DefId(0:3 ~ thir_tree_match_for[671a]::match_non_loop).25)
                value:
                    Expr {
                        ty: ()
                        temp_scope_id: 25
                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:6:34: 12:2 (#0)
                        kind: 
                            Block {
                                targeted_by_break: false
                                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:6:34: 12:2 (#0)
                                region_scope: Node(5)
                                safety_mode: Safe
                                stmts: [
                                    Stmt {
                                        kind: Expr {
---
                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:7:3: 11:4 (#0)
                                                    kind: 
                                                        Scope {
                                                            region_scope: Node(6)
                                                            hir_id: HirId(DefId(0:3 ~ thir_tree_match_for[671a]::match_non_loop).6)
                                                            value:
                                                                Expr {
                                                                    ty: i32
                                                                    temp_scope_id: 6
                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:7:3: 11:4 (#0)
---
                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:7:9: 7:10 (#0)
                                                                                    kind: 
                                                                                        Scope {
                                                                                            region_scope: Node(7)
                                                                                            hir_id: HirId(DefId(0:3 ~ thir_tree_match_for[671a]::match_non_loop).7)
                                                                                            value:
                                                                                                Expr {
                                                                                                    ty: u32
                                                                                                    temp_scope_id: 7
                                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:7:9: 7:10 (#0)
                                                                                                    kind: 
                                                                                                        VarRef {
                                                                                                            id: LocalVarId(HirId(DefId(0:3 ~ thir_tree_match_for[671a]::match_non_loop).2))
                                                                                                        }
                                                                                                }
                                                                                        }
                                                                                }
                                                                            arms: [
---
                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:8:14: 8:15 (#0)
                                                                                            kind: 
                                                                                                Scope {
                                                                                                    region_scope: Node(15)
                                                                                                    hir_id: HirId(DefId(0:3 ~ thir_tree_match_for[671a]::match_non_loop).15)
                                                                                                    value:
                                                                                                        Expr {
                                                                                                            ty: i32
                                                                                                            temp_scope_id: 15
                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:8:14: 8:15 (#0)
                                                                                                            kind: 
                                                                                                                Literal( lit: Spanned { node: Int(Pu128(0), Unsuffixed), span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:8:14: 8:15 (#0) }, neg: false)

                                                                                                        }
                                                                                                }
                                                                                        }
                                                                                    hir_id: HirId(DefId(0:3 ~ thir_tree_match_for[671a]::match_non_loop).14)
                                                                                    scope: Node(14)
                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:8:5: 8:15 (#0)
                                                                                }
                                                                                Arm {
                                                                                    pattern: 
                                                                                        Pat {
                                                                                            ty: u32
                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:9:5: 9:9 (#0)
                                                                                            extra: PatExtra {
                                                                                                expanded_const: None
                                                                                                ascriptions: []
                                                                                            }
                                                                                            kind: PatKind {
                                                                                                Range ( PatRange { lo: Finite(Leaf(0x00000002)), hi: Finite(Leaf(0x00000003)), end: Excluded, ty: u32 } )
                                                                                            }
                                                                                        }
                                                                                    guard: None
                                                                                    body: 
                                                                                        Expr {
                                                                                            ty: i32
                                                                                            temp_scope_id: 20
                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:9:14: 9:15 (#0)
                                                                                            kind: 
                                                                                                Scope {
                                                                                                    region_scope: Node(20)
                                                                                                    hir_id: HirId(DefId(0:3 ~ thir_tree_match_for[671a]::match_non_loop).20)
                                                                                                    value:
                                                                                                        Expr {
                                                                                                            ty: i32
                                                                                                            temp_scope_id: 20
                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:9:14: 9:15 (#0)
                                                                                                            kind: 
                                                                                                                Literal( lit: Spanned { node: Int(Pu128(1), Unsuffixed), span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:9:14: 9:15 (#0) }, neg: false)

                                                                                                        }
                                                                                                }
                                                                                        }
                                                                                    hir_id: HirId(DefId(0:3 ~ thir_tree_match_for[671a]::match_non_loop).19)
                                                                                    scope: Node(19)
                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:9:5: 9:15 (#0)
                                                                                }
                                                                                Arm {
                                                                                    pattern: 
                                                                                        Pat {
                                                                                            ty: u32
                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:10:8: 10:9 (#0)
                                                                                            kind: PatKind {
                                                                                                Binding {
                                                                                                    name: "y"
                                                                                                    mode: BindingMode(No, Not)
                                                                                                    var: LocalVarId(HirId(DefId(0:3 ~ thir_tree_match_for[671a]::match_non_loop).21))
                                                                                                    ty: u32
                                                                                                    is_primary: true
                                                                                                    is_shorthand: false
                                                                                                    subpattern: None
                                                                                                }
                                                                                            }
---
                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:10:14: 10:15 (#0)
                                                                                            kind: 
                                                                                                Scope {
                                                                                                    region_scope: Node(23)
                                                                                                    hir_id: HirId(DefId(0:3 ~ thir_tree_match_for[671a]::match_non_loop).23)
                                                                                                    value:
                                                                                                        Expr {
                                                                                                            ty: i32
                                                                                                            temp_scope_id: 23
                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:10:14: 10:15 (#0)
                                                                                                            kind: 
                                                                                                                Literal( lit: Spanned { node: Int(Pu128(2), Unsuffixed), span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:10:14: 10:15 (#0) }, neg: false)

                                                                                                        }
                                                                                                }
                                                                                        }
                                                                                    hir_id: HirId(DefId(0:3 ~ thir_tree_match_for[671a]::match_non_loop).22)
                                                                                    scope: Node(22)
                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:10:8: 10:15 (#0)
                                                                                }
                                                                            ]
                                                                            match_source: Normal
---
            }
    }


DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for):
params: [
    Param {
        ty: u32
        ty_span: Some(/checkout/tests/ui/thir-print/thir-tree-match-for.rs:14:22: 14:25 (#0))
        self_kind: None
        hir_id: Some(HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).1))
        param: Some( 
            Pat {
                ty: u32
                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:14:19: 14:20 (#0)
                kind: PatKind {
                    Binding {
                        name: "x"
                        mode: BindingMode(No, Not)
                        var: LocalVarId(HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).2))
                        ty: u32
                        is_primary: true
                        is_shorthand: false
                        subpattern: None
                    }
                }
            }
        )
    }
    Param {
        ty: u32
        ty_span: Some(/checkout/tests/ui/thir-print/thir-tree-match-for.rs:14:30: 14:33 (#0))
        self_kind: None
        hir_id: Some(HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).3))
        param: Some( 
            Pat {
                ty: u32
                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:14:27: 14:28 (#0)
                kind: PatKind {
                    Binding {
                        name: "y"
                        mode: BindingMode(No, Not)
                        var: LocalVarId(HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).4))
                        ty: u32
                        is_primary: true
                        is_shorthand: false
                        subpattern: None
                    }
                }
---
        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:14:35: 18:2 (#0)
        kind: 
            Scope {
                region_scope: Node(45)
                hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).45)
                value:
                    Expr {
                        ty: ()
                        temp_scope_id: 45
                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:14:35: 18:2 (#0)
                        kind: 
                            Block {
                                targeted_by_break: false
                                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:14:35: 18:2 (#0)
                                region_scope: Node(5)
                                safety_mode: Safe
                                stmts: []
                                expr:
                                    Expr {
                                        ty: ()
                                        temp_scope_id: 44
                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:3: 17:4 (#7)
                                        kind: 
                                            Scope {
                                                region_scope: Node(44)
                                                hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).44)
                                                value:
                                                    Expr {
                                                        ty: ()
                                                        temp_scope_id: 44
                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:3: 17:4 (#7)
---
                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:3: 17:4 (#7)
                                                                        kind: 
                                                                            Scope {
                                                                                region_scope: Node(43)
                                                                                hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).43)
                                                                                value:
                                                                                    Expr {
                                                                                        ty: ()
                                                                                        temp_scope_id: 43
                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:3: 17:4 (#7)
---
                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
                                                                                                        kind: 
                                                                                                            Scope {
                                                                                                                region_scope: Node(42)
                                                                                                                hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).42)
                                                                                                                value:
                                                                                                                    Expr {
                                                                                                                        ty: std::ops::Range<u32>
                                                                                                                        temp_scope_id: 42
                                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
                                                                                                                        kind: 
                                                                                                                            Call {
                                                                                                                                ty: FnDef(DefId(2:10036 ~ core[a6f1]::iter::traits::collect::IntoIterator::into_iter), [std::ops::Range<u32>])
                                                                                                                                from_hir_call: true
                                                                                                                                fn_span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
                                                                                                                                fun:
                                                                                                                                    Expr {
                                                                                                                                        ty: FnDef(DefId(2:10036 ~ core[a6f1]::iter::traits::collect::IntoIterator::into_iter), [std::ops::Range<u32>])
                                                                                                                                        temp_scope_id: 41
                                                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
                                                                                                                                        kind: 
                                                                                                                                            Scope {
                                                                                                                                                region_scope: Node(41)
                                                                                                                                                hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).41)
                                                                                                                                                value:
                                                                                                                                                    Expr {
                                                                                                                                                        ty: FnDef(DefId(2:10036 ~ core[a6f1]::iter::traits::collect::IntoIterator::into_iter), [std::ops::Range<u32>])
                                                                                                                                                        temp_scope_id: 41
                                                                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
                                                                                                                                                        kind: 
                                                                                                                                                            ZstLiteral(user_ty: None)
                                                                                                                                                    }
                                                                                                                                            }
                                                                                                                                    }
                                                                                                                                args: [
                                                                                                                                    Expr {
                                                                                                                                        ty: std::ops::Range<u32>
                                                                                                                                        temp_scope_id: 6
                                                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#4)
                                                                                                                                        kind: 
                                                                                                                                            Scope {
                                                                                                                                                region_scope: Node(6)
                                                                                                                                                hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).6)
                                                                                                                                                value:
                                                                                                                                                    Expr {
                                                                                                                                                        ty: std::ops::Range<u32>
                                                                                                                                                        temp_scope_id: 6
                                                                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#4)
                                                                                                                                                        kind: 
                                                                                                                                                            Adt {
                                                                                                                                                                adt_def:
                                                                                                                                                                    AdtDef {
                                                                                                                                                                        did: DefId(2:38773 ~ core[a6f1]::ops::range::Range)
                                                                                                                                                                        variants: [VariantDef { def_id: DefId(2:38773 ~ core[a6f1]::ops::range::Range), ctor: None, name: "Range", discr: Relative(0), fields: [FieldDef { did: DefId(2:38775 ~ core[a6f1]::ops::range::Range::start), name: "start", vis: Public, safety: Safe, value: None }, FieldDef { did: DefId(2:38776 ~ core[a6f1]::ops::range::Range::end), name: "end", vis: Public, safety: Safe, value: None }], tainted: None, flags:  }]
                                                                                                                                                                        flags: IS_STRUCT
                                                                                                                                                                        repr: ReprOptions { int: None, align: None, pack: None, flags: RANDOMIZE_LAYOUT, scalable: None, field_shuffle_seed: 11393859195463582328 }
                                                                                                                                                                    }
                                                                                                                                                                    variant_index: 0
                                                                                                                                                                    args: [u32]
                                                                                                                                                                    user_ty: None
                                                                                                                                                                    field 0:
                                                                                                                                                                        Expr {
                                                                                                                                                                            ty: u32
                                                                                                                                                                            temp_scope_id: 7
                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:13 (#0)
                                                                                                                                                                            kind: 
                                                                                                                                                                                Scope {
                                                                                                                                                                                    region_scope: Node(7)
                                                                                                                                                                                    hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).7)
                                                                                                                                                                                    value:
                                                                                                                                                                                        Expr {
                                                                                                                                                                                            ty: u32
                                                                                                                                                                                            temp_scope_id: 7
                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:13 (#0)
                                                                                                                                                                                            kind: 
                                                                                                                                                                                                VarRef {
                                                                                                                                                                                                    id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).2))
                                                                                                                                                                                                }
                                                                                                                                                                                        }
                                                                                                                                                                                }
                                                                                                                                                                        }
                                                                                                                                                                    field 1:
                                                                                                                                                                        Expr {
                                                                                                                                                                            ty: u32
                                                                                                                                                                            temp_scope_id: 10
                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:15: 15:16 (#0)
                                                                                                                                                                            kind: 
                                                                                                                                                                                Scope {
                                                                                                                                                                                    region_scope: Node(10)
                                                                                                                                                                                    hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).10)
                                                                                                                                                                                    value:
                                                                                                                                                                                        Expr {
                                                                                                                                                                                            ty: u32
                                                                                                                                                                                            temp_scope_id: 10
                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:15: 15:16 (#0)
                                                                                                                                                                                            kind: 
                                                                                                                                                                                                VarRef {
                                                                                                                                                                                                    id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).4))
                                                                                                                                                                                                }
                                                                                                                                                                                        }
                                                                                                                                                                                }
                                                                                                                                                                        }
                                                                                                                                                                    base: None
---
                                                                                                                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
                                                                                                                kind: PatKind {
                                                                                                                    Binding {
                                                                                                                        name: "iter"
                                                                                                                        mode: BindingMode(No, Mut)
                                                                                                                        var: LocalVarId(HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).29))
                                                                                                                        ty: std::ops::Range<u32>
                                                                                                                        is_primary: true
                                                                                                                        is_shorthand: false
                                                                                                                        subpattern: None
                                                                                                                    }
                                                                                                                }
---
                                                                                                                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:3: 17:4 (#7)
                                                                                                                kind: 
                                                                                                                    Scope {
                                                                                                                        region_scope: Node(15)
                                                                                                                        hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).15)
                                                                                                                        value:
                                                                                                                            Expr {
                                                                                                                                ty: ()
                                                                                                                                temp_scope_id: 15
                                                                                                                                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:3: 17:4 (#7)
---
                                                                                                                                                temp_scope_id: 38
                                                                                                                                                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:3: 17:4 (#7)
                                                                                                                                                kind: 
                                                                                                                                                    Block {
                                                                                                                                                        targeted_by_break: false
                                                                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:3: 17:4 (#7)
                                                                                                                                                        region_scope: Node(38)
                                                                                                                                                        safety_mode: Safe
                                                                                                                                                        stmts: [
                                                                                                                                                            Stmt {
                                                                                                                                                                kind: Expr {
---
                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
                                                                                                                                                                            kind: 
                                                                                                                                                                                Scope {
                                                                                                                                                                                    region_scope: Node(36)
                                                                                                                                                                                    hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).36)
                                                                                                                                                                                    value:
                                                                                                                                                                                        Expr {
                                                                                                                                                                                            ty: ()
                                                                                                                                                                                            temp_scope_id: 36
                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
---
                                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
                                                                                                                                                                                                            kind: 
                                                                                                                                                                                                                Scope {
                                                                                                                                                                                                                    region_scope: Node(35)
                                                                                                                                                                                                                    hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).35)
                                                                                                                                                                                                                    value:
                                                                                                                                                                                                                        Expr {
                                                                                                                                                                                                                            ty: std::option::Option<u32>
                                                                                                                                                                                                                            temp_scope_id: 35
                                                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
                                                                                                                                                                                                                            kind: 
                                                                                                                                                                                                                                Call {
                                                                                                                                                                                                                                    ty: FnDef(DefId(2:10213 ~ core[a6f1]::iter::traits::iterator::Iterator::next), [std::ops::Range<u32>])
                                                                                                                                                                                                                                    from_hir_call: true
                                                                                                                                                                                                                                    fn_span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
                                                                                                                                                                                                                                    fun:
                                                                                                                                                                                                                                        Expr {
                                                                                                                                                                                                                                            ty: FnDef(DefId(2:10213 ~ core[a6f1]::iter::traits::iterator::Iterator::next), [std::ops::Range<u32>])
                                                                                                                                                                                                                                            temp_scope_id: 34
                                                                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
                                                                                                                                                                                                                                            kind: 
                                                                                                                                                                                                                                                Scope {
                                                                                                                                                                                                                                                    region_scope: Node(34)
                                                                                                                                                                                                                                                    hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).34)
                                                                                                                                                                                                                                                    value:
                                                                                                                                                                                                                                                        Expr {
                                                                                                                                                                                                                                                            ty: FnDef(DefId(2:10213 ~ core[a6f1]::iter::traits::iterator::Iterator::next), [std::ops::Range<u32>])
                                                                                                                                                                                                                                                            temp_scope_id: 34
                                                                                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
                                                                                                                                                                                                                                                            kind: 
                                                                                                                                                                                                                                                                ZstLiteral(user_ty: None)
                                                                                                                                                                                                                                                        }
                                                                                                                                                                                                                                                }
                                                                                                                                                                                                                                        }
                                                                                                                                                                                                                                    args: [
                                                                                                                                                                                                                                        Expr {
                                                                                                                                                                                                                                            ty: &'{erased} mut std::ops::Range<u32>
                                                                                                                                                                                                                                            temp_scope_id: 32
                                                                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
                                                                                                                                                                                                                                            kind: 
                                                                                                                                                                                                                                                Scope {
                                                                                                                                                                                                                                                    region_scope: Node(32)
                                                                                                                                                                                                                                                    hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).32)
                                                                                                                                                                                                                                                    value:
                                                                                                                                                                                                                                                        Expr {
                                                                                                                                                                                                                                                            ty: &'{erased} mut std::ops::Range<u32>
                                                                                                                                                                                                                                                            temp_scope_id: 32
                                                                                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
                                                                                                                                                                                                                                                            kind: 
                                                                                                                                                                                                                                                                Borrow (
                                                                                                                                                                                                                                                                    borrow_kind: Mut { kind: TwoPhaseBorrow }
                                                                                                                                                                                                                                                                    arg:
                                                                                                                                                                                                                                                                        Expr {
                                                                                                                                                                                                                                                                            ty: std::ops::Range<u32>
                                                                                                                                                                                                                                                                            temp_scope_id: 32
                                                                                                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
                                                                                                                                                                                                                                                                            kind: 
                                                                                                                                                                                                                                                                                Deref {
                                                                                                                                                                                                                                                                                    Expr {
                                                                                                                                                                                                                                                                                        ty: &'{erased} mut std::ops::Range<u32>
                                                                                                                                                                                                                                                                                        temp_scope_id: 32
                                                                                                                                                                                                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
                                                                                                                                                                                                                                                                                        kind: 
                                                                                                                                                                                                                                                                                            Borrow (
                                                                                                                                                                                                                                                                                                borrow_kind: Mut { kind: Default }
                                                                                                                                                                                                                                                                                                arg:
                                                                                                                                                                                                                                                                                                    Expr {
                                                                                                                                                                                                                                                                                                        ty: std::ops::Range<u32>
                                                                                                                                                                                                                                                                                                        temp_scope_id: 31
                                                                                                                                                                                                                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
                                                                                                                                                                                                                                                                                                        kind: 
                                                                                                                                                                                                                                                                                                            Scope {
                                                                                                                                                                                                                                                                                                                region_scope: Node(31)
                                                                                                                                                                                                                                                                                                                hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).31)
                                                                                                                                                                                                                                                                                                                value:
                                                                                                                                                                                                                                                                                                                    Expr {
                                                                                                                                                                                                                                                                                                                        ty: std::ops::Range<u32>
                                                                                                                                                                                                                                                                                                                        temp_scope_id: 31
                                                                                                                                                                                                                                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:12: 15:16 (#7)
                                                                                                                                                                                                                                                                                                                        kind: 
                                                                                                                                                                                                                                                                                                                            VarRef {
                                                                                                                                                                                                                                                                                                                                id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).29))
                                                                                                                                                                                                                                                                                                                            }
                                                                                                                                                                                                                                                                                                                    }
                                                                                                                                                                                                                                                                                                            }
                                                                                                                                                                                                                                                                                                    }
                                                                                                                                                                                                                                                                                            )
---
                                                                                                                                                                                                                                }
                                                                                                                                                                                                                        }
                                                                                                                                                                                                                }
                                                                                                                                                                                                        }
                                                                                                                                                                                                    arms: [
                                                                                                                                                                                                        Arm {
                                                                                                                                                                                                            pattern: 
                                                                                                                                                                                                                Pat {
                                                                                                                                                                                                                    ty: std::option::Option<u32>
                                                                                                                                                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:3: 17:4 (#7)
                                                                                                                                                                                                                    kind: PatKind {
                                                                                                                                                                                                                        Variant {
                                                                                                                                                                                                                            adt_def: 
                                                                                                                                                                                                                                AdtDef {
                                                                                                                                                                                                                                    did: DefId(2:42302 ~ core[a6f1]::option::Option)
                                                                                                                                                                                                                                    variants: [VariantDef { def_id: DefId(2:42304 ~ core[a6f1]::option::Option::None), ctor: Some((Const, DefId(2:42305 ~ core[a6f1]::option::Option::None::{constructor#0}))), name: "None", discr: Relative(0), fields: [], tainted: None, flags:  }, VariantDef { def_id: DefId(2:42306 ~ core[a6f1]::option::Option::Some), ctor: Some((Fn, DefId(2:42307 ~ core[a6f1]::option::Option::Some::{constructor#0}))), name: "Some", discr: Relative(1), fields: [FieldDef { did: DefId(2:42308 ~ core[a6f1]::option::Option::Some::0), name: "0", vis: Public, safety: Safe, value: None }], tainted: None, flags:  }]
                                                                                                                                                                                                                                    flags: IS_ENUM
                                                                                                                                                                                                                                    repr: ReprOptions { int: None, align: None, pack: None, flags: RANDOMIZE_LAYOUT, scalable: None, field_shuffle_seed: 13401315077211548708 }
                                                                                                                                                                                                                                }
                                                                                                                                                                                                                            args: [u32]
                                                                                                                                                                                                                            variant_index: 0
                                                                                                                                                                                                                            subpatterns: []
                                                                                                                                                                                                                        }
---
                                                                                                                                                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:3: 17:4 (#7)
                                                                                                                                                                                                                    kind: 
                                                                                                                                                                                                                        Scope {
                                                                                                                                                                                                                            region_scope: Node(16)
                                                                                                                                                                                                                            hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).16)
                                                                                                                                                                                                                            value:
                                                                                                                                                                                                                                Expr {
                                                                                                                                                                                                                                    ty: ()
                                                                                                                                                                                                                                    temp_scope_id: 16
                                                                                                                                                                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:3: 17:4 (#7)
---
                                                                                                                                                                                                                                        }
                                                                                                                                                                                                                                }
                                                                                                                                                                                                                        }
                                                                                                                                                                                                                }
                                                                                                                                                                                                            hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).19)
                                                                                                                                                                                                            scope: Node(19)
                                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:3: 17:4 (#7)
                                                                                                                                                                                                        }
                                                                                                                                                                                                        Arm {
                                                                                                                                                                                                            pattern: 
                                                                                                                                                                                                                Pat {
                                                                                                                                                                                                                    ty: std::option::Option<u32>
                                                                                                                                                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:7: 15:8 (#7)
                                                                                                                                                                                                                    kind: PatKind {
                                                                                                                                                                                                                        Variant {
                                                                                                                                                                                                                            adt_def: 
                                                                                                                                                                                                                                AdtDef {
                                                                                                                                                                                                                                    did: DefId(2:42302 ~ core[a6f1]::option::Option)
                                                                                                                                                                                                                                    variants: [VariantDef { def_id: DefId(2:42304 ~ core[a6f1]::option::Option::None), ctor: Some((Const, DefId(2:42305 ~ core[a6f1]::option::Option::None::{constructor#0}))), name: "None", discr: Relative(0), fields: [], tainted: None, flags:  }, VariantDef { def_id: DefId(2:42306 ~ core[a6f1]::option::Option::Some), ctor: Some((Fn, DefId(2:42307 ~ core[a6f1]::option::Option::Some::{constructor#0}))), name: "Some", discr: Relative(1), fields: [FieldDef { did: DefId(2:42308 ~ core[a6f1]::option::Option::Some::0), name: "0", vis: Public, safety: Safe, value: None }], tainted: None, flags:  }]
                                                                                                                                                                                                                                    flags: IS_ENUM
                                                                                                                                                                                                                                    repr: ReprOptions { int: None, align: None, pack: None, flags: RANDOMIZE_LAYOUT, scalable: None, field_shuffle_seed: 13401315077211548708 }
                                                                                                                                                                                                                                }
                                                                                                                                                                                                                            args: [u32]
                                                                                                                                                                                                                            variant_index: 1
                                                                                                                                                                                                                            subpatterns: [
                                                                                                                                                                                                                                Pat {
                                                                                                                                                                                                                                    ty: u32
                                                                                                                                                                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:7: 15:8 (#0)
                                                                                                                                                                                                                                    kind: PatKind {
                                                                                                                                                                                                                                        Binding {
                                                                                                                                                                                                                                            name: "i"
                                                                                                                                                                                                                                            mode: BindingMode(No, Not)
                                                                                                                                                                                                                                            var: LocalVarId(HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).14))
                                                                                                                                                                                                                                            ty: u32
                                                                                                                                                                                                                                            is_primary: true
                                                                                                                                                                                                                                            is_shorthand: false
                                                                                                                                                                                                                                            subpattern: None
                                                                                                                                                                                                                                        }
                                                                                                                                                                                                                                    }
---
                                                                                                                                                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:17: 17:4 (#0)
                                                                                                                                                                                                                    kind: 
                                                                                                                                                                                                                        Scope {
                                                                                                                                                                                                                            region_scope: Node(27)
                                                                                                                                                                                                                            hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).27)
                                                                                                                                                                                                                            value:
                                                                                                                                                                                                                                Expr {
                                                                                                                                                                                                                                    ty: ()
                                                                                                                                                                                                                                    temp_scope_id: 27
                                                                                                                                                                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:17: 17:4 (#0)
                                                                                                                                                                                                                                    kind: 
                                                                                                                                                                                                                                        Block {
                                                                                                                                                                                                                                            targeted_by_break: false
                                                                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:17: 17:4 (#0)
                                                                                                                                                                                                                                            region_scope: Node(23)
                                                                                                                                                                                                                                            safety_mode: Safe
                                                                                                                                                                                                                                            stmts: [
                                                                                                                                                                                                                                                Stmt {
                                                                                                                                                                                                                                                    kind: Expr {
---
                                                                                                                                                                                                                                                                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:16:5: 16:6 (#0)
                                                                                                                                                                                                                                                                kind: 
                                                                                                                                                                                                                                                                    Scope {
                                                                                                                                                                                                                                                                        region_scope: Node(24)
                                                                                                                                                                                                                                                                        hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).24)
                                                                                                                                                                                                                                                                        value:
                                                                                                                                                                                                                                                                            Expr {
                                                                                                                                                                                                                                                                                ty: u32
                                                                                                                                                                                                                                                                                temp_scope_id: 24
                                                                                                                                                                                                                                                                                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:16:5: 16:6 (#0)
                                                                                                                                                                                                                                                                                kind: 
                                                                                                                                                                                                                                                                                    VarRef {
                                                                                                                                                                                                                                                                                        id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).14))
                                                                                                                                                                                                                                                                                    }
                                                                                                                                                                                                                                                                            }
                                                                                                                                                                                                                                                                    }
                                                                                                                                                                                                                                                            }
                                                                                                                                                                                                                                                    }
                                                                                                                                                                                                                                                }
                                                                                                                                                                                                                                            ]
                                                                                                                                                                                                                                            expr: []
                                                                                                                                                                                                                                        }
                                                                                                                                                                                                                                }
                                                                                                                                                                                                                        }
                                                                                                                                                                                                                }
                                                                                                                                                                                                            hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).28)
                                                                                                                                                                                                            scope: Node(28)
                                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:3: 17:4 (#7)
                                                                                                                                                                                                        }
                                                                                                                                                                                                    ]
                                                                                                                                                                                                    match_source: ForLoopDesugar
---
                                                                                                                                    )
                                                                                                                            }
                                                                                                                    }
                                                                                                            }
                                                                                                        hir_id: HirId(DefId(0:4 ~ thir_tree_match_for[671a]::match_from_for).39)
                                                                                                        scope: Node(39)
                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:15:3: 17:4 (#7)
                                                                                                    }
                                                                                                ]
                                                                                                match_source: ForLoopDesugar
---
            }
    }


DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor):
params: [
    Param {
        ty: u32
        ty_span: Some(/checkout/tests/ui/thir-print/thir-tree-match-for.rs:21:25: 21:28 (#0))
        self_kind: None
        hir_id: Some(HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).1))
        param: Some( 
            Pat {
                ty: u32
                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:21:22: 21:23 (#0)
                kind: PatKind {
                    Binding {
                        name: "x"
                        mode: BindingMode(No, Not)
                        var: LocalVarId(HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).2))
                        ty: u32
                        is_primary: true
                        is_shorthand: false
                        subpattern: None
                    }
                }
            }
        )
    }
    Param {
        ty: u32
        ty_span: Some(/checkout/tests/ui/thir-print/thir-tree-match-for.rs:21:33: 21:36 (#0))
        self_kind: None
        hir_id: Some(HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).3))
        param: Some( 
            Pat {
                ty: u32
                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:21:30: 21:31 (#0)
                kind: PatKind {
                    Binding {
                        name: "y"
                        mode: BindingMode(No, Not)
                        var: LocalVarId(HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).4))
                        ty: u32
                        is_primary: true
                        is_shorthand: false
                        subpattern: None
                    }
                }
---
        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:21:38: 30:2 (#0)
        kind: 
            Scope {
                region_scope: Node(48)
                hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).48)
                value:
                    Expr {
                        ty: ()
                        temp_scope_id: 48
                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:21:38: 30:2 (#0)
                        kind: 
                            Block {
                                targeted_by_break: false
                                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:21:38: 30:2 (#0)
                                region_scope: Node(5)
                                safety_mode: Safe
                                stmts: []
                                expr:
                                    Expr {
                                        ty: ()
                                        temp_scope_id: 6
                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:22:3: 29:4 (#0)
                                        kind: 
                                            Scope {
                                                region_scope: Node(6)
                                                hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).6)
                                                value:
                                                    Expr {
                                                        ty: ()
                                                        temp_scope_id: 6
                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:22:3: 29:4 (#0)
---
                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:22:9: 22:38 (#0)
                                                                        kind: 
                                                                            Scope {
                                                                                region_scope: Node(7)
                                                                                hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).7)
                                                                                value:
                                                                                    Expr {
                                                                                        ty: std::ops::Range<u32>
                                                                                        temp_scope_id: 7
                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:22:9: 22:38 (#0)
                                                                                        kind: 
                                                                                            Call {
                                                                                                ty: FnDef(DefId(2:10036 ~ core[a6f1]::iter::traits::collect::IntoIterator::into_iter), [std::ops::Range<u32>])
                                                                                                from_hir_call: true
                                                                                                fn_span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:22:9: 22:38 (#0)
                                                                                                fun:
                                                                                                    Expr {
                                                                                                        ty: FnDef(DefId(2:10036 ~ core[a6f1]::iter::traits::collect::IntoIterator::into_iter), [std::ops::Range<u32>])
                                                                                                        temp_scope_id: 8
                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:22:9: 22:32 (#0)
                                                                                                        kind: 
                                                                                                            Scope {
                                                                                                                region_scope: Node(8)
                                                                                                                hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).8)
                                                                                                                value:
                                                                                                                    Expr {
                                                                                                                        ty: FnDef(DefId(2:10036 ~ core[a6f1]::iter::traits::collect::IntoIterator::into_iter), [std::ops::Range<u32>])
                                                                                                                        temp_scope_id: 8
                                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:22:9: 22:32 (#0)
                                                                                                                        kind: 
                                                                                                                            ZstLiteral(user_ty: None)
                                                                                                                    }
                                                                                                            }
                                                                                                    }
                                                                                                args: [
                                                                                                    Expr {
                                                                                                        ty: std::ops::Range<u32>
                                                                                                        temp_scope_id: 11
                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:22:33: 22:37 (#8)
                                                                                                        kind: 
                                                                                                            Scope {
                                                                                                                region_scope: Node(11)
                                                                                                                hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).11)
                                                                                                                value:
                                                                                                                    Expr {
                                                                                                                        ty: std::ops::Range<u32>
                                                                                                                        temp_scope_id: 11
                                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:22:33: 22:37 (#8)
                                                                                                                        kind: 
                                                                                                                            Adt {
                                                                                                                                adt_def:
                                                                                                                                    AdtDef {
                                                                                                                                        did: DefId(2:38773 ~ core[a6f1]::ops::range::Range)
                                                                                                                                        variants: [VariantDef { def_id: DefId(2:38773 ~ core[a6f1]::ops::range::Range), ctor: None, name: "Range", discr: Relative(0), fields: [FieldDef { did: DefId(2:38775 ~ core[a6f1]::ops::range::Range::start), name: "start", vis: Public, safety: Safe, value: None }, FieldDef { did: DefId(2:38776 ~ core[a6f1]::ops::range::Range::end), name: "end", vis: Public, safety: Safe, value: None }], tainted: None, flags:  }]
                                                                                                                                        flags: IS_STRUCT
                                                                                                                                        repr: ReprOptions { int: None, align: None, pack: None, flags: RANDOMIZE_LAYOUT, scalable: None, field_shuffle_seed: 11393859195463582328 }
                                                                                                                                    }
                                                                                                                                    variant_index: 0
                                                                                                                                    args: [u32]
                                                                                                                                    user_ty: None
                                                                                                                                    field 0:
                                                                                                                                        Expr {
                                                                                                                                            ty: u32
                                                                                                                                            temp_scope_id: 12
                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:22:33: 22:34 (#0)
                                                                                                                                            kind: 
                                                                                                                                                Scope {
                                                                                                                                                    region_scope: Node(12)
                                                                                                                                                    hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).12)
                                                                                                                                                    value:
                                                                                                                                                        Expr {
                                                                                                                                                            ty: u32
                                                                                                                                                            temp_scope_id: 12
                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:22:33: 22:34 (#0)
                                                                                                                                                            kind: 
                                                                                                                                                                VarRef {
                                                                                                                                                                    id: LocalVarId(HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).2))
                                                                                                                                                                }
                                                                                                                                                        }
                                                                                                                                                }
                                                                                                                                        }
                                                                                                                                    field 1:
                                                                                                                                        Expr {
                                                                                                                                            ty: u32
                                                                                                                                            temp_scope_id: 15
                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:22:36: 22:37 (#0)
                                                                                                                                            kind: 
                                                                                                                                                Scope {
                                                                                                                                                    region_scope: Node(15)
                                                                                                                                                    hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).15)
                                                                                                                                                    value:
                                                                                                                                                        Expr {
                                                                                                                                                            ty: u32
                                                                                                                                                            temp_scope_id: 15
                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:22:36: 22:37 (#0)
                                                                                                                                                            kind: 
                                                                                                                                                                VarRef {
                                                                                                                                                                    id: LocalVarId(HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).4))
                                                                                                                                                                }
                                                                                                                                                        }
                                                                                                                                                }
                                                                                                                                        }
                                                                                                                                    base: None
---
                                                                                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:23:5: 23:13 (#0)
                                                                                kind: PatKind {
                                                                                    Binding {
                                                                                        name: "iter"
                                                                                        mode: BindingMode(No, Mut)
                                                                                        var: LocalVarId(HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).19))
                                                                                        ty: std::ops::Range<u32>
                                                                                        is_primary: true
                                                                                        is_shorthand: false
                                                                                        subpattern: None
                                                                                    }
                                                                                }
---
                                                                                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:23:17: 28:6 (#0)
                                                                                kind: 
                                                                                    Scope {
                                                                                        region_scope: Node(21)
                                                                                        hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).21)
                                                                                        value:
                                                                                            Expr {
                                                                                                ty: ()
                                                                                                temp_scope_id: 21
                                                                                                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:23:17: 28:6 (#0)
---
                                                                                                                temp_scope_id: 22
                                                                                                                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:23:22: 28:6 (#0)
                                                                                                                kind: 
                                                                                                                    Block {
                                                                                                                        targeted_by_break: false
                                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:23:22: 28:6 (#0)
                                                                                                                        region_scope: Node(22)
                                                                                                                        safety_mode: Safe
                                                                                                                        stmts: [
                                                                                                                            Stmt {
                                                                                                                                kind: Expr {
---
                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:24:7: 27:8 (#0)
                                                                                                                                            kind: 
                                                                                                                                                Scope {
                                                                                                                                                    region_scope: Node(23)
                                                                                                                                                    hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).23)
                                                                                                                                                    value:
                                                                                                                                                        Expr {
                                                                                                                                                            ty: ()
                                                                                                                                                            temp_scope_id: 23
                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:24:7: 27:8 (#0)
---
                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:24:13: 24:38 (#0)
                                                                                                                                                                            kind: 
                                                                                                                                                                                Scope {
                                                                                                                                                                                    region_scope: Node(24)
                                                                                                                                                                                    hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).24)
                                                                                                                                                                                    value:
                                                                                                                                                                                        Expr {
                                                                                                                                                                                            ty: std::option::Option<u32>
                                                                                                                                                                                            temp_scope_id: 24
                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:24:13: 24:38 (#0)
                                                                                                                                                                                            kind: 
                                                                                                                                                                                                Call {
                                                                                                                                                                                                    ty: FnDef(DefId(2:10213 ~ core[a6f1]::iter::traits::iterator::Iterator::next), [std::ops::Range<u32>])
                                                                                                                                                                                                    from_hir_call: true
                                                                                                                                                                                                    fn_span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:24:13: 24:38 (#0)
                                                                                                                                                                                                    fun:
                                                                                                                                                                                                        Expr {
                                                                                                                                                                                                            ty: FnDef(DefId(2:10213 ~ core[a6f1]::iter::traits::iterator::Iterator::next), [std::ops::Range<u32>])
                                                                                                                                                                                                            temp_scope_id: 25
                                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:24:13: 24:27 (#0)
                                                                                                                                                                                                            kind: 
                                                                                                                                                                                                                Scope {
                                                                                                                                                                                                                    region_scope: Node(25)
                                                                                                                                                                                                                    hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).25)
                                                                                                                                                                                                                    value:
                                                                                                                                                                                                                        Expr {
                                                                                                                                                                                                                            ty: FnDef(DefId(2:10213 ~ core[a6f1]::iter::traits::iterator::Iterator::next), [std::ops::Range<u32>])
                                                                                                                                                                                                                            temp_scope_id: 25
                                                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:24:13: 24:27 (#0)
                                                                                                                                                                                                                            kind: 
                                                                                                                                                                                                                                ZstLiteral(user_ty: None)
                                                                                                                                                                                                                        }
                                                                                                                                                                                                                }
                                                                                                                                                                                                        }
                                                                                                                                                                                                    args: [
                                                                                                                                                                                                        Expr {
                                                                                                                                                                                                            ty: &'{erased} mut std::ops::Range<u32>
                                                                                                                                                                                                            temp_scope_id: 28
                                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:24:28: 24:37 (#0)
                                                                                                                                                                                                            kind: 
                                                                                                                                                                                                                Scope {
                                                                                                                                                                                                                    region_scope: Node(28)
                                                                                                                                                                                                                    hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).28)
                                                                                                                                                                                                                    value:
                                                                                                                                                                                                                        Expr {
                                                                                                                                                                                                                            ty: &'{erased} mut std::ops::Range<u32>
                                                                                                                                                                                                                            temp_scope_id: 28
                                                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:24:28: 24:37 (#0)
                                                                                                                                                                                                                            kind: 
                                                                                                                                                                                                                                Borrow (
                                                                                                                                                                                                                                    borrow_kind: Mut { kind: TwoPhaseBorrow }
                                                                                                                                                                                                                                    arg:
                                                                                                                                                                                                                                        Expr {
                                                                                                                                                                                                                                            ty: std::ops::Range<u32>
                                                                                                                                                                                                                                            temp_scope_id: 28
                                                                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:24:28: 24:37 (#0)
                                                                                                                                                                                                                                            kind: 
                                                                                                                                                                                                                                                Deref {
                                                                                                                                                                                                                                                    Expr {
                                                                                                                                                                                                                                                        ty: &'{erased} mut std::ops::Range<u32>
                                                                                                                                                                                                                                                        temp_scope_id: 28
                                                                                                                                                                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:24:28: 24:37 (#0)
                                                                                                                                                                                                                                                        kind: 
                                                                                                                                                                                                                                                            Borrow (
                                                                                                                                                                                                                                                                borrow_kind: Mut { kind: Default }
                                                                                                                                                                                                                                                                arg:
                                                                                                                                                                                                                                                                    Expr {
                                                                                                                                                                                                                                                                        ty: std::ops::Range<u32>
                                                                                                                                                                                                                                                                        temp_scope_id: 29
                                                                                                                                                                                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:24:33: 24:37 (#0)
                                                                                                                                                                                                                                                                        kind: 
                                                                                                                                                                                                                                                                            Scope {
                                                                                                                                                                                                                                                                                region_scope: Node(29)
                                                                                                                                                                                                                                                                                hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).29)
                                                                                                                                                                                                                                                                                value:
                                                                                                                                                                                                                                                                                    Expr {
                                                                                                                                                                                                                                                                                        ty: std::ops::Range<u32>
                                                                                                                                                                                                                                                                                        temp_scope_id: 29
                                                                                                                                                                                                                                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:24:33: 24:37 (#0)
                                                                                                                                                                                                                                                                                        kind: 
                                                                                                                                                                                                                                                                                            VarRef {
                                                                                                                                                                                                                                                                                                id: LocalVarId(HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).19))
                                                                                                                                                                                                                                                                                            }
                                                                                                                                                                                                                                                                                    }
                                                                                                                                                                                                                                                                            }
                                                                                                                                                                                                                                                                    }
                                                                                                                                                                                                                                                            )
---
                                                                                                                                                                                                }
                                                                                                                                                                                        }
                                                                                                                                                                                }
                                                                                                                                                                        }
                                                                                                                                                                    arms: [
                                                                                                                                                                        Arm {
                                                                                                                                                                            pattern: 
                                                                                                                                                                                Pat {
                                                                                                                                                                                    ty: std::option::Option<u32>
                                                                                                                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:25:11: 25:23 (#0)
                                                                                                                                                                                    kind: PatKind {
                                                                                                                                                                                        Variant {
                                                                                                                                                                                            adt_def: 
                                                                                                                                                                                                AdtDef {
                                                                                                                                                                                                    did: DefId(2:42302 ~ core[a6f1]::option::Option)
                                                                                                                                                                                                    variants: [VariantDef { def_id: DefId(2:42304 ~ core[a6f1]::option::Option::None), ctor: Some((Const, DefId(2:42305 ~ core[a6f1]::option::Option::None::{constructor#0}))), name: "None", discr: Relative(0), fields: [], tainted: None, flags:  }, VariantDef { def_id: DefId(2:42306 ~ core[a6f1]::option::Option::Some), ctor: Some((Fn, DefId(2:42307 ~ core[a6f1]::option::Option::Some::{constructor#0}))), name: "Some", discr: Relative(1), fields: [FieldDef { did: DefId(2:42308 ~ core[a6f1]::option::Option::Some::0), name: "0", vis: Public, safety: Safe, value: None }], tainted: None, flags:  }]
                                                                                                                                                                                                    flags: IS_ENUM
                                                                                                                                                                                                    repr: ReprOptions { int: None, align: None, pack: None, flags: RANDOMIZE_LAYOUT, scalable: None, field_shuffle_seed: 13401315077211548708 }
                                                                                                                                                                                                }
                                                                                                                                                                                            args: [u32]
                                                                                                                                                                                            variant_index: 0
                                                                                                                                                                                            subpatterns: []
                                                                                                                                                                                        }
---
                                                                                                                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:25:27: 25:32 (#0)
                                                                                                                                                                                    kind: 
                                                                                                                                                                                        Scope {
                                                                                                                                                                                            region_scope: Node(36)
                                                                                                                                                                                            hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).36)
                                                                                                                                                                                            value:
                                                                                                                                                                                                Expr {
                                                                                                                                                                                                    ty: ()
                                                                                                                                                                                                    temp_scope_id: 36
                                                                                                                                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:25:27: 25:32 (#0)
---
                                                                                                                                                                                                        }
                                                                                                                                                                                                }
                                                                                                                                                                                        }
                                                                                                                                                                                }
                                                                                                                                                                            hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).35)
                                                                                                                                                                            scope: Node(35)
                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:25:11: 25:32 (#0)
                                                                                                                                                                        }
                                                                                                                                                                        Arm {
                                                                                                                                                                            pattern: 
                                                                                                                                                                                Pat {
                                                                                                                                                                                    ty: std::option::Option<u32>
                                                                                                                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:26:11: 26:26 (#0)
                                                                                                                                                                                    kind: PatKind {
                                                                                                                                                                                        Variant {
                                                                                                                                                                                            adt_def: 
                                                                                                                                                                                                AdtDef {
                                                                                                                                                                                                    did: DefId(2:42302 ~ core[a6f1]::option::Option)
                                                                                                                                                                                                    variants: [VariantDef { def_id: DefId(2:42304 ~ core[a6f1]::option::Option::None), ctor: Some((Const, DefId(2:42305 ~ core[a6f1]::option::Option::None::{constructor#0}))), name: "None", discr: Relative(0), fields: [], tainted: None, flags:  }, VariantDef { def_id: DefId(2:42306 ~ core[a6f1]::option::Option::Some), ctor: Some((Fn, DefId(2:42307 ~ core[a6f1]::option::Option::Some::{constructor#0}))), name: "Some", discr: Relative(1), fields: [FieldDef { did: DefId(2:42308 ~ core[a6f1]::option::Option::Some::0), name: "0", vis: Public, safety: Safe, value: None }], tainted: None, flags:  }]
                                                                                                                                                                                                    flags: IS_ENUM
                                                                                                                                                                                                    repr: ReprOptions { int: None, align: None, pack: None, flags: RANDOMIZE_LAYOUT, scalable: None, field_shuffle_seed: 13401315077211548708 }
                                                                                                                                                                                                }
                                                                                                                                                                                            args: [u32]
                                                                                                                                                                                            variant_index: 1
                                                                                                                                                                                            subpatterns: [
                                                                                                                                                                                                Pat {
                                                                                                                                                                                                    ty: u32
                                                                                                                                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:26:24: 26:25 (#0)
                                                                                                                                                                                                    kind: PatKind {
                                                                                                                                                                                                        Binding {
                                                                                                                                                                                                            name: "i"
                                                                                                                                                                                                            mode: BindingMode(No, Not)
                                                                                                                                                                                                            var: LocalVarId(HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).40))
                                                                                                                                                                                                            ty: u32
                                                                                                                                                                                                            is_primary: true
                                                                                                                                                                                                            is_shorthand: false
                                                                                                                                                                                                            subpattern: None
                                                                                                                                                                                                        }
                                                                                                                                                                                                    }
---
                                                                                                                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:26:30: 26:36 (#0)
                                                                                                                                                                                    kind: 
                                                                                                                                                                                        Scope {
                                                                                                                                                                                            region_scope: Node(42)
                                                                                                                                                                                            hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).42)
                                                                                                                                                                                            value:
                                                                                                                                                                                                Expr {
                                                                                                                                                                                                    ty: ()
                                                                                                                                                                                                    temp_scope_id: 42
                                                                                                                                                                                                    span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:26:30: 26:36 (#0)
                                                                                                                                                                                                    kind: 
                                                                                                                                                                                                        Block {
                                                                                                                                                                                                            targeted_by_break: false
                                                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:26:30: 26:36 (#0)
                                                                                                                                                                                                            region_scope: Node(43)
                                                                                                                                                                                                            safety_mode: Safe
                                                                                                                                                                                                            stmts: [
                                                                                                                                                                                                                Stmt {
                                                                                                                                                                                                                    kind: Expr {
---
                                                                                                                                                                                                                                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:26:32: 26:33 (#0)
                                                                                                                                                                                                                                kind: 
                                                                                                                                                                                                                                    Scope {
                                                                                                                                                                                                                                        region_scope: Node(44)
                                                                                                                                                                                                                                        hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).44)
                                                                                                                                                                                                                                        value:
                                                                                                                                                                                                                                            Expr {
                                                                                                                                                                                                                                                ty: u32
                                                                                                                                                                                                                                                temp_scope_id: 44
                                                                                                                                                                                                                                                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:26:32: 26:33 (#0)
                                                                                                                                                                                                                                                kind: 
                                                                                                                                                                                                                                                    VarRef {
                                                                                                                                                                                                                                                        id: LocalVarId(HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).40))
                                                                                                                                                                                                                                                    }
                                                                                                                                                                                                                                            }
                                                                                                                                                                                                                                    }
                                                                                                                                                                                                                            }
                                                                                                                                                                                                                    }
                                                                                                                                                                                                                }
                                                                                                                                                                                                            ]
                                                                                                                                                                                                            expr: []
                                                                                                                                                                                                        }
                                                                                                                                                                                                }
                                                                                                                                                                                        }
                                                                                                                                                                                }
                                                                                                                                                                            hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).41)
                                                                                                                                                                            scope: Node(41)
                                                                                                                                                                            span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:26:11: 26:36 (#0)
                                                                                                                                                                        }
                                                                                                                                                                    ]
                                                                                                                                                                    match_source: Normal
---
                                                                                                    )
                                                                                            }
                                                                                    }
                                                                            }
                                                                        hir_id: HirId(DefId(0:5 ~ thir_tree_match_for[671a]::match_loop_nonfor).20)
                                                                        scope: Node(20)
                                                                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:23:5: 28:6 (#0)
                                                                    }
                                                                ]
                                                                match_source: Normal
---
            }
    }


DefId(0:6 ~ thir_tree_match_for[671a]::main):
params: [
]
body:
    Expr {
        ty: ()
        temp_scope_id: 2
        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:32:11: 32:13 (#0)
        kind: 
            Scope {
                region_scope: Node(2)
                hir_id: HirId(DefId(0:6 ~ thir_tree_match_for[671a]::main).2)
                value:
                    Expr {
                        ty: ()
                        temp_scope_id: 2
                        span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:32:11: 32:13 (#0)
                        kind: 
                            Block {
                                targeted_by_break: false
                                span: /checkout/tests/ui/thir-print/thir-tree-match-for.rs:32:11: 32:13 (#0)
                                region_scope: Node(1)
                                safety_mode: Safe
                                stmts: []
                                expr: []
                            }

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants