tests/ui/thir-print/thir-tree-match.stdout

   1 DefId(0:16 ~ thir_tree_match[3c9a]::has_match):
   2 params: [
   3     Param {
   4         ty: Foo
   5         ty_span: Some($DIR/thir-tree-match.rs:15:19: 15:22 (#0))
   6         self_kind: None
   7         hir_id: Some(HirId(DefId(0:16 ~ thir_tree_match[3c9a]::has_match).1))
   8         param: Some(
   9             Pat: {
  10                 ty: Foo
  11                 span: $DIR/thir-tree-match.rs:15:14: 15:17 (#0)
  12                 kind: PatKind {
  13                     Binding {
  14                         mutability: Not
  15                         name: "foo"
  16                         mode: ByValue
  17                         var: LocalVarId(HirId(DefId(0:16 ~ thir_tree_match[3c9a]::has_match).2))
  18                         ty: Foo
  19                         is_primary: true
  20                         subpattern: None
  21                     }
  22                 }
  23             }
  24         )
  25     }
  26 ]
  27 body:
  28     Expr {
  29         ty: bool
  30         temp_lifetime: Some(Node(26))
  31         span: $DIR/thir-tree-match.rs:15:32: 21:2 (#0)
  32         kind:
  33             Scope {
  34                 region_scope: Destruction(26)
  35                 lint_level: Inherited
  36                 value:
  37                     Expr {
  38                         ty: bool
  39                         temp_lifetime: Some(Node(26))
  40                         span: $DIR/thir-tree-match.rs:15:32: 21:2 (#0)
  41                         kind:
  42                             Scope {
  43                                 region_scope: Node(26)
  44                                 lint_level: Explicit(HirId(DefId(0:16 ~ thir_tree_match[3c9a]::has_match).26))
  45                                 value:
  46                                     Expr {
  47                                         ty: bool
  48                                         temp_lifetime: Some(Node(26))
  49                                         span: $DIR/thir-tree-match.rs:15:32: 21:2 (#0)
  50                                         kind:
  51                                             Block {
  52                                                 targeted_by_break: false
  53                                                 opt_destruction_scope: None
  54                                                 span: $DIR/thir-tree-match.rs:15:32: 21:2 (#0)
  55                                                 region_scope: Node(25)
  56                                                 safety_mode: Safe
  57                                                 stmts: []
  58                                                 expr:
  59                                                     Expr {
  60                                                         ty: bool
  61                                                         temp_lifetime: Some(Node(26))
  62                                                         span: $DIR/thir-tree-match.rs:16:5: 20:6 (#0)
  63                                                         kind:
  64                                                             Scope {
  65                                                                 region_scope: Node(3)
  66                                                                 lint_level: Explicit(HirId(DefId(0:16 ~ thir_tree_match[3c9a]::has_match).3))
  67                                                                 value:
  68                                                                     Expr {
  69                                                                         ty: bool
  70                                                                         temp_lifetime: Some(Node(26))
  71                                                                         span: $DIR/thir-tree-match.rs:16:5: 20:6 (#0)
  72                                                                         kind:
  73                                                                             Match {
  74                                                                                 scrutinee:
  75                                                                                     Expr {
  76                                                                                         ty: Foo
  77                                                                                         temp_lifetime: Some(Node(26))
  78                                                                                         span: $DIR/thir-tree-match.rs:16:11: 16:14 (#0)
  79                                                                                         kind:
  80                                                                                             Scope {
  81                                                                                                 region_scope: Node(4)
  82                                                                                                 lint_level: Explicit(HirId(DefId(0:16 ~ thir_tree_match[3c9a]::has_match).4))
  83                                                                                                 value:
  84                                                                                                     Expr {
  85                                                                                                         ty: Foo
  86                                                                                                         temp_lifetime: Some(Node(26))
  87                                                                                                         span: $DIR/thir-tree-match.rs:16:11: 16:14 (#0)
  88                                                                                                         kind:
  89                                                                                                             VarRef {
  90                                                                                                                 id: LocalVarId(HirId(DefId(0:16 ~ thir_tree_match[3c9a]::has_match).2))
  91                                                                                                             }
  92                                                                                                     }
  93                                                                                             }
  94                                                                                     }
  95                                                                                 arms: [
  96                                                                                     Arm {
  97                                                                                         pattern:
  98                                                                                             Pat: {
  99                                                                                                 ty: Foo
 100                                                                                                 span: $DIR/thir-tree-match.rs:17:9: 17:32 (#0)
 101                                                                                                 kind: PatKind {
 102                                                                                                     Variant {
 103                                                                                                         adt_def:
 104                                                                                                             AdtDef {
 105                                                                                                                 did: DefId(0:10 ~ thir_tree_match[3c9a]::Foo)
 106                                                                                                                 variants: [VariantDef { def_id: DefId(0:11 ~ thir_tree_match[3c9a]::Foo::FooOne), ctor: Some((Fn, DefId(0:12 ~ thir_tree_match[3c9a]::Foo::FooOne::{constructor#0}))), name: "FooOne", discr: Relative(0), fields: [FieldDef { did: DefId(0:13 ~ thir_tree_match[3c9a]::Foo::FooOne::0), name: "0", vis: Restricted(DefId(0:0 ~ thir_tree_match[3c9a])) }], flags: NO_VARIANT_FLAGS }, VariantDef { def_id: DefId(0:14 ~ thir_tree_match[3c9a]::Foo::FooTwo), ctor: Some((Const, DefId(0:15 ~ thir_tree_match[3c9a]::Foo::FooTwo::{constructor#0}))), name: "FooTwo", discr: Relative(1), fields: [], flags: NO_VARIANT_FLAGS }]
 107                                                                                                                 flags: IS_ENUM
 108                                                                                                                 repr: ReprOptions { int: None, align: None, pack: None, flags: (empty), field_shuffle_seed: 11573694388057581 }
 109                                                                                                         substs: []
 110                                                                                                         variant_index: 0
 111                                                                                                         subpatterns: [
 112                                                                                                             Pat: {
 113                                                                                                                 ty: Bar
 114                                                                                                                 span: $DIR/thir-tree-match.rs:17:21: 17:31 (#0)
 115                                                                                                                 kind: PatKind {
 116                                                                                                                     Variant {
 117                                                                                                                         adt_def:
 118                                                                                                                             AdtDef {
 119                                                                                                                                 did: DefId(0:3 ~ thir_tree_match[3c9a]::Bar)
 120                                                                                                                                 variants: [VariantDef { def_id: DefId(0:4 ~ thir_tree_match[3c9a]::Bar::First), ctor: Some((Const, DefId(0:5 ~ thir_tree_match[3c9a]::Bar::First::{constructor#0}))), name: "First", discr: Relative(0), fields: [], flags: NO_VARIANT_FLAGS }, VariantDef { def_id: DefId(0:6 ~ thir_tree_match[3c9a]::Bar::Second), ctor: Some((Const, DefId(0:7 ~ thir_tree_match[3c9a]::Bar::Second::{constructor#0}))), name: "Second", discr: Relative(1), fields: [], flags: NO_VARIANT_FLAGS }, VariantDef { def_id: DefId(0:8 ~ thir_tree_match[3c9a]::Bar::Third), ctor: Some((Const, DefId(0:9 ~ thir_tree_match[3c9a]::Bar::Third::{constructor#0}))), name: "Third", discr: Relative(2), fields: [], flags: NO_VARIANT_FLAGS }]
 121                                                                                                                                 flags: IS_ENUM
 122                                                                                                                                 repr: ReprOptions { int: None, align: None, pack: None, flags: (empty), field_shuffle_seed: 3125160937860410723 }
 123                                                                                                                         substs: []
 124                                                                                                                         variant_index: 0
 125                                                                                                                         subpatterns: []
 126                                                                                                                     }
 127                                                                                                                 }
 128                                                                                                             }
 129                                                                                                         ]
 130                                                                                                     }
 131                                                                                                 }
 132                                                                                             }
 133                                                                                         guard: None
 134                                                                                         body:
 135                                                                                             Expr {
 136                                                                                                 ty: bool
 137                                                                                                 temp_lifetime: Some(Node(13))
 138                                                                                                 span: $DIR/thir-tree-match.rs:17:36: 17:40 (#0)
 139                                                                                                 kind:
 140                                                                                                     Scope {
 141                                                                                                         region_scope: Destruction(13)
 142                                                                                                         lint_level: Inherited
 143                                                                                                         value:
 144                                                                                                             Expr {
 145                                                                                                                 ty: bool
 146                                                                                                                 temp_lifetime: Some(Node(13))
 147                                                                                                                 span: $DIR/thir-tree-match.rs:17:36: 17:40 (#0)
 148                                                                                                                 kind:
 149                                                                                                                     Scope {
 150                                                                                                                         region_scope: Node(13)
 151                                                                                                                         lint_level: Explicit(HirId(DefId(0:16 ~ thir_tree_match[3c9a]::has_match).13))
 152                                                                                                                         value:
 153                                                                                                                             Expr {
 154                                                                                                                                 ty: bool
 155                                                                                                                                 temp_lifetime: Some(Node(13))
 156                                                                                                                                 span: $DIR/thir-tree-match.rs:17:36: 17:40 (#0)
 157                                                                                                                                 kind:
 158                                                                                                                                     Literal( lit: Spanned { node: Bool(true), span: $DIR/thir-tree-match.rs:17:36: 17:40 (#0) }, neg: false)
 159
 160                                                                                                                             }
 161                                                                                                                     }
 162                                                                                                             }
 163                                                                                                     }
 164                                                                                             }
 165                                                                                         lint_level: Explicit(HirId(DefId(0:16 ~ thir_tree_match[3c9a]::has_match).12))
 166                                                                                         scope: Node(12)
 167                                                                                         span: $DIR/thir-tree-match.rs:17:9: 17:40 (#0)
 168                                                                                     }
 169                                                                                     Arm {
 170                                                                                         pattern:
 171                                                                                             Pat: {
 172                                                                                                 ty: Foo
 173                                                                                                 span: $DIR/thir-tree-match.rs:18:9: 18:23 (#0)
 174                                                                                                 kind: PatKind {
 175                                                                                                     Variant {
 176                                                                                                         adt_def:
 177                                                                                                             AdtDef {
 178                                                                                                                 did: DefId(0:10 ~ thir_tree_match[3c9a]::Foo)
 179                                                                                                                 variants: [VariantDef { def_id: DefId(0:11 ~ thir_tree_match[3c9a]::Foo::FooOne), ctor: Some((Fn, DefId(0:12 ~ thir_tree_match[3c9a]::Foo::FooOne::{constructor#0}))), name: "FooOne", discr: Relative(0), fields: [FieldDef { did: DefId(0:13 ~ thir_tree_match[3c9a]::Foo::FooOne::0), name: "0", vis: Restricted(DefId(0:0 ~ thir_tree_match[3c9a])) }], flags: NO_VARIANT_FLAGS }, VariantDef { def_id: DefId(0:14 ~ thir_tree_match[3c9a]::Foo::FooTwo), ctor: Some((Const, DefId(0:15 ~ thir_tree_match[3c9a]::Foo::FooTwo::{constructor#0}))), name: "FooTwo", discr: Relative(1), fields: [], flags: NO_VARIANT_FLAGS }]
 180                                                                                                                 flags: IS_ENUM
 181                                                                                                                 repr: ReprOptions { int: None, align: None, pack: None, flags: (empty), field_shuffle_seed: 11573694388057581 }
 182                                                                                                         substs: []
 183                                                                                                         variant_index: 0
 184                                                                                                         subpatterns: [
 185                                                                                                             Pat: {
 186                                                                                                                 ty: Bar
 187                                                                                                                 span: $DIR/thir-tree-match.rs:18:21: 18:22 (#0)
 188                                                                                                                 kind: PatKind {
 189                                                                                                                     Wild
 190                                                                                                                 }
 191                                                                                                             }
 192                                                                                                         ]
 193                                                                                                     }
 194                                                                                                 }
 195                                                                                             }
 196                                                                                         guard: None
 197                                                                                         body:
 198                                                                                             Expr {
 199                                                                                                 ty: bool
 200                                                                                                 temp_lifetime: Some(Node(19))
 201                                                                                                 span: $DIR/thir-tree-match.rs:18:27: 18:32 (#0)
 202                                                                                                 kind:
 203                                                                                                     Scope {
 204                                                                                                         region_scope: Destruction(19)
 205                                                                                                         lint_level: Inherited
 206                                                                                                         value:
 207                                                                                                             Expr {
 208                                                                                                                 ty: bool
 209                                                                                                                 temp_lifetime: Some(Node(19))
 210                                                                                                                 span: $DIR/thir-tree-match.rs:18:27: 18:32 (#0)
 211                                                                                                                 kind:
 212                                                                                                                     Scope {
 213                                                                                                                         region_scope: Node(19)
 214                                                                                                                         lint_level: Explicit(HirId(DefId(0:16 ~ thir_tree_match[3c9a]::has_match).19))
 215                                                                                                                         value:
 216                                                                                                                             Expr {
 217                                                                                                                                 ty: bool
 218                                                                                                                                 temp_lifetime: Some(Node(19))
 219                                                                                                                                 span: $DIR/thir-tree-match.rs:18:27: 18:32 (#0)
 220                                                                                                                                 kind:
 221                                                                                                                                     Literal( lit: Spanned { node: Bool(false), span: $DIR/thir-tree-match.rs:18:27: 18:32 (#0) }, neg: false)
 222
 223                                                                                                                             }
 224                                                                                                                     }
 225                                                                                                             }
 226                                                                                                     }
 227                                                                                             }
 228                                                                                         lint_level: Explicit(HirId(DefId(0:16 ~ thir_tree_match[3c9a]::has_match).18))
 229                                                                                         scope: Node(18)
 230                                                                                         span: $DIR/thir-tree-match.rs:18:9: 18:32 (#0)
 231                                                                                     }
 232                                                                                     Arm {
 233                                                                                         pattern:
 234                                                                                             Pat: {
 235                                                                                                 ty: Foo
 236                                                                                                 span: $DIR/thir-tree-match.rs:19:9: 19:20 (#0)
 237                                                                                                 kind: PatKind {
 238                                                                                                     Variant {
 239                                                                                                         adt_def:
 240                                                                                                             AdtDef {
 241                                                                                                                 did: DefId(0:10 ~ thir_tree_match[3c9a]::Foo)
 242                                                                                                                 variants: [VariantDef { def_id: DefId(0:11 ~ thir_tree_match[3c9a]::Foo::FooOne), ctor: Some((Fn, DefId(0:12 ~ thir_tree_match[3c9a]::Foo::FooOne::{constructor#0}))), name: "FooOne", discr: Relative(0), fields: [FieldDef { did: DefId(0:13 ~ thir_tree_match[3c9a]::Foo::FooOne::0), name: "0", vis: Restricted(DefId(0:0 ~ thir_tree_match[3c9a])) }], flags: NO_VARIANT_FLAGS }, VariantDef { def_id: DefId(0:14 ~ thir_tree_match[3c9a]::Foo::FooTwo), ctor: Some((Const, DefId(0:15 ~ thir_tree_match[3c9a]::Foo::FooTwo::{constructor#0}))), name: "FooTwo", discr: Relative(1), fields: [], flags: NO_VARIANT_FLAGS }]
 243                                                                                                                 flags: IS_ENUM
 244                                                                                                                 repr: ReprOptions { int: None, align: None, pack: None, flags: (empty), field_shuffle_seed: 11573694388057581 }
 245                                                                                                         substs: []
 246                                                                                                         variant_index: 1
 247                                                                                                         subpatterns: []
 248                                                                                                     }
 249                                                                                                 }
 250                                                                                             }
 251                                                                                         guard: None
 252                                                                                         body:
 253                                                                                             Expr {
 254                                                                                                 ty: bool
 255                                                                                                 temp_lifetime: Some(Node(24))
 256                                                                                                 span: $DIR/thir-tree-match.rs:19:24: 19:28 (#0)
 257                                                                                                 kind:
 258                                                                                                     Scope {
 259                                                                                                         region_scope: Destruction(24)
 260                                                                                                         lint_level: Inherited
 261                                                                                                         value:
 262                                                                                                             Expr {
 263                                                                                                                 ty: bool
 264                                                                                                                 temp_lifetime: Some(Node(24))
 265                                                                                                                 span: $DIR/thir-tree-match.rs:19:24: 19:28 (#0)
 266                                                                                                                 kind:
 267                                                                                                                     Scope {
 268                                                                                                                         region_scope: Node(24)
 269                                                                                                                         lint_level: Explicit(HirId(DefId(0:16 ~ thir_tree_match[3c9a]::has_match).24))
 270                                                                                                                         value:
 271                                                                                                                             Expr {
 272                                                                                                                                 ty: bool
 273                                                                                                                                 temp_lifetime: Some(Node(24))
 274                                                                                                                                 span: $DIR/thir-tree-match.rs:19:24: 19:28 (#0)
 275                                                                                                                                 kind:
 276                                                                                                                                     Literal( lit: Spanned { node: Bool(true), span: $DIR/thir-tree-match.rs:19:24: 19:28 (#0) }, neg: false)
 277
 278                                                                                                                             }
 279                                                                                                                     }
 280                                                                                                             }
 281                                                                                                     }
 282                                                                                             }
 283                                                                                         lint_level: Explicit(HirId(DefId(0:16 ~ thir_tree_match[3c9a]::has_match).23))
 284                                                                                         scope: Node(23)
 285                                                                                         span: $DIR/thir-tree-match.rs:19:9: 19:28 (#0)
 286                                                                                     }
 287                                                                                 ]
 288                                                                             }
 289                                                                     }
 290                                                             }
 291                                                     }
 292                                             }
 293                                     }
 294                             }
 295                     }
 296             }
 297     }
 298
 299
 300 DefId(0:17 ~ thir_tree_match[3c9a]::main):
 301 params: [
 302 ]
 303 body:
 304     Expr {
 305         ty: ()
 306         temp_lifetime: Some(Node(2))
 307         span: $DIR/thir-tree-match.rs:23:11: 23:13 (#0)
 308         kind:
 309             Scope {
 310                 region_scope: Destruction(2)
 311                 lint_level: Inherited
 312                 value:
 313                     Expr {
 314                         ty: ()
 315                         temp_lifetime: Some(Node(2))
 316                         span: $DIR/thir-tree-match.rs:23:11: 23:13 (#0)
 317                         kind:
 318                             Scope {
 319                                 region_scope: Node(2)
 320                                 lint_level: Explicit(HirId(DefId(0:17 ~ thir_tree_match[3c9a]::main).2))
 321                                 value:
 322                                     Expr {
 323                                         ty: ()
 324                                         temp_lifetime: Some(Node(2))
 325                                         span: $DIR/thir-tree-match.rs:23:11: 23:13 (#0)
 326                                         kind:
 327                                             Block {
 328                                                 targeted_by_break: false
 329                                                 opt_destruction_scope: None
 330                                                 span: $DIR/thir-tree-match.rs:23:11: 23:13 (#0)
 331                                                 region_scope: Node(1)
 332                                                 safety_mode: Safe
 333                                                 stmts: []
 334                                                 expr: []
 335                                             }
 336                                     }
 337                             }
 338                     }
 339             }
 340     }
 341
 342