Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ices/79569.sh: fixed with errors #4

Closed
wants to merge 7 commits into from

Conversation

github-actions[bot]
Copy link

Issue: rust-lang/rust#79569

#!/bin/bash

rustc -Zinstrument-coverage - << EOF
#![feature(or_patterns)]
#![deny(unreachable_patterns)]

// We wrap patterns in a tuple because top-level or-patterns were special-cased.
fn main() {
    match (0u8, 0u8) {
        //~^ ERROR non-exhaustive patterns: `(2_u8..=u8::MAX, _)`
        (0 | 1, 2 | 3) => {}
    }
    match ((0u8,),) {
        //~^ ERROR non-exhaustive patterns: `((4_u8..=u8::MAX))`
        ((0 | 1,) | (2 | 3,),) => {}
    }
    match (Some(0u8),) {
        //~^ ERROR non-exhaustive patterns: `(Some(2_u8..=u8::MAX))`
        (None | Some(0 | 1),) => {}
    }
}
EOF
=== stdout ===
=== stderr ===
/home/runner/work/glacier/glacier/ices/79569.sh: line 3: 2_u8..=u8::MAX,: command not found
/home/runner/work/glacier/glacier/ices/79569.sh: line 3: ((: 4_u8: value too great for base (error token is "4_u8")
/home/runner/work/glacier/glacier/ices/79569.sh: command substitution: line 3: syntax error near unexpected token `2_u8..=u8::MAX'
/home/runner/work/glacier/glacier/ices/79569.sh: command substitution: line 3: `(Some(2_u8..=u8::MAX))'
error[E0004]: non-exhaustive patterns: `(2_u8..=u8::MAX, _)` not covered
 --> <anon>:6:11
  |
6 |     match (0u8, 0u8) {
  |           ^^^^^^^^^^ pattern `(2_u8..=u8::MAX, _)` not covered
  |
  = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
  = note: the matched value is of type `(u8, u8)`

error[E0004]: non-exhaustive patterns: `((4_u8..=u8::MAX))` not covered
  --> <anon>:10:11
   |
10 |     match ((0u8,),) {
   |           ^^^^^^^^^ pattern `((4_u8..=u8::MAX))` not covered
   |
   = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
   = note: the matched value is of type `((u8,),)`

error[E0004]: non-exhaustive patterns: `(Some(2_u8..=u8::MAX))` not covered
  --> <anon>:14:11
   |
14 |     match (Some(0u8),) {
   |           ^^^^^^^^^^^^ pattern `(Some(2_u8..=u8::MAX))` not covered
   |
   = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
   = note: the matched value is of type `(Option<u8>,)`

error: aborting due to 3 previous errors

For more information about this error, try `rustc --explain E0004`.
==============

Alexendoo and others added 7 commits December 17, 2020 16:25
=== stdout ===
=== stderr ===
/home/runner/work/glacier/glacier/ices/79569.sh: line 3: 2_u8..=u8::MAX,: command not found
/home/runner/work/glacier/glacier/ices/79569.sh: line 3: ((: 4_u8: value too great for base (error token is "4_u8")
/home/runner/work/glacier/glacier/ices/79569.sh: command substitution: line 3: syntax error near unexpected token `2_u8..=u8::MAX'
/home/runner/work/glacier/glacier/ices/79569.sh: command substitution: line 3: `(Some(2_u8..=u8::MAX))'
error[E0004]: non-exhaustive patterns: `(2_u8..=u8::MAX, _)` not covered
 --> <anon>:6:11
  |
6 |     match (0u8, 0u8) {
  |           ^^^^^^^^^^ pattern `(2_u8..=u8::MAX, _)` not covered
  |
  = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
  = note: the matched value is of type `(u8, u8)`

error[E0004]: non-exhaustive patterns: `((4_u8..=u8::MAX))` not covered
  --> <anon>:10:11
   |
10 |     match ((0u8,),) {
   |           ^^^^^^^^^ pattern `((4_u8..=u8::MAX))` not covered
   |
   = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
   = note: the matched value is of type `((u8,),)`

error[E0004]: non-exhaustive patterns: `(Some(2_u8..=u8::MAX))` not covered
  --> <anon>:14:11
   |
14 |     match (Some(0u8),) {
   |           ^^^^^^^^^^^^ pattern `(Some(2_u8..=u8::MAX))` not covered
   |
   = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
   = note: the matched value is of type `(Option<u8>,)`

error: aborting due to 3 previous errors

For more information about this error, try `rustc --explain E0004`.
==============
@Alexendoo Alexendoo closed this Dec 28, 2020
@Alexendoo Alexendoo deleted the autofix/ices/79569.sh branch December 28, 2020 14:20
Alexendoo pushed a commit that referenced this pull request Jul 29, 2021
=== stdout ===
DefId(0:7 ~ rust_out[6150]::{impl#0}::print):
Thir {
    arms: [
        Arm {
            pattern: Pat {
                ty: (&&str,),
                span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
                kind: Leaf {
                    subpatterns: [
                        FieldPat {
                            field: field[0],
                            pattern: Pat {
                                ty: &&str,
                                span: <anon>:6:49: 6:50 (#4),
                                kind: Binding {
                                    mutability: Not,
                                    name: "arg0",
                                    mode: ByValue,
                                    var: HirId {
                                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                                        local_id: 29,
                                    },
                                    ty: &&str,
                                    subpattern: None,
                                    is_primary: true,
                                },
                            },
                        },
                    ],
                },
            },
            guard: None,
            body: e36,
            lint_level: Explicit(
                HirId {
                    owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                    local_id: 31,
                },
            ),
            scope: Node(31),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
        },
        Arm {
            pattern: Pat {
                ty: &Foo,
                span: <anon>:6:13: 6:24 (#0),
                kind: Deref {
                    subpattern: Pat {
                        ty: Foo,
                        span: <anon>:6:14: 6:24 (#0),
                        kind: Leaf {
                            subpatterns: [
                                FieldPat {
                                    field: field[0],
                                    pattern: Pat {
                                        ty: str,
                                        span: <anon>:6:18: 6:23 (#0),
                                        kind: Binding {
                                            mutability: Not,
                                            name: "s",
                                            mode: ByRef(
                                                Shared,
                                            ),
                                            var: HirId {
                                                owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                                                local_id: 6,
                                            },
                                            ty: &str,
                                            subpattern: None,
                                            is_primary: true,
                                        },
                                    },
                                },
                            ],
                        },
                    },
                },
            },
            guard: None,
            body: e50,
            lint_level: Explicit(
                HirId {
                    owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                    local_id: 9,
                },
            ),
            scope: Node(9),
            span: <anon>:6:13: 6:51 (#0),
        },
    ],
    exprs: [
        Expr {
            ty: &Foo,
            temp_lifetime: Some(
                Node(57),
            ),
            span: <anon>:5:15: 5:19 (#0),
            kind: VarRef {
                id: HirId {
                    owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                    local_id: 2,
                },
            },
        },
        Expr {
            ty: &Foo,
            temp_lifetime: Some(
                Node(57),
            ),
            span: <anon>:5:15: 5:19 (#0),
            kind: Scope {
                region_scope: Node(4),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 4,
                    },
                ),
                value: e0,
            },
        },
        Expr {
            ty: for<'r> fn(std::fmt::Arguments<'r>) {std::io::_print},
            temp_lifetime: Some(
                Node(52),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:9: 98:27 (#3),
            kind: Literal {
                literal: Const {
                    ty: for<'r> fn(std::fmt::Arguments<'r>) {std::io::_print},
                    val: Value(
                        Scalar(
                            <ZST>,
                        ),
                    ),
                },
                user_ty: None,
                const_id: None,
            },
        },
        Expr {
            ty: for<'r> fn(std::fmt::Arguments<'r>) {std::io::_print},
            temp_lifetime: Some(
                Node(52),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:9: 98:27 (#3),
            kind: Scope {
                region_scope: Node(13),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 13,
                    },
                ),
                value: e2,
            },
        },
        Expr {
            ty: fn(&[&'static str], &[std::fmt::ArgumentV1]) -> std::fmt::Arguments {std::fmt::Arguments::new_v1},
            temp_lifetime: Some(
                Node(52),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Literal {
                literal: Const {
                    ty: fn(&[&'static str], &[std::fmt::ArgumentV1]) -> std::fmt::Arguments {std::fmt::Arguments::new_v1},
                    val: Value(
                        Scalar(
                            <ZST>,
                        ),
                    ),
                },
                user_ty: Some(
                    Canonical {
                        max_universe: U0,
                        variables: [
                            CanonicalVarInfo {
                                kind: Region(
                                    U0,
                                ),
                            },
                            CanonicalVarInfo {
                                kind: Region(
                                    U0,
                                ),
                            },
                        ],
                        value: TypeOf(
                            DefId(2:8955 ~ core[734c]::fmt::{impl#3}::new_v1),
                            UserSubsts {
                                substs: [
                                    ReLateBound(DebruijnIndex(0), BoundRegion { var: 0, kind: BrAnon(0) }),
                                ],
                                user_self_ty: Some(
                                    UserSelfTy {
                                        impl_def_id: DefId(2:8953 ~ core[734c]::fmt::{impl#3}),
                                        self_ty: std::fmt::Arguments<'_>,
                                    },
                                ),
                            },
                        ),
                    },
                ),
                const_id: None,
            },
        },
        Expr {
            ty: fn(&[&'static str], &[std::fmt::ArgumentV1]) -> std::fmt::Arguments {std::fmt::Arguments::new_v1},
            temp_lifetime: Some(
                Node(52),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Scope {
                region_scope: Node(20),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 20,
                    },
                ),
                value: e4,
            },
        },
        Expr {
            ty: &str,
            temp_lifetime: Some(
                Node(52),
            ),
            span: <anon>:6:38: 6:47 (#0),
            kind: Literal {
                literal: Const {
                    ty: &str,
                    val: Value(
                        Slice {
                            data: Allocation {
                                bytes: [
                                    102,
                                    34,
                                ],
                                relocations: Relocations(
                                    SortedMap {
                                        data: [],
                                    },
                                ),
                                init_mask: InitMask {
                                    blocks: [
                                        3,
                                    ],
                                    len: Size {
                                        raw: 2,
                                    },
                                },
                                align: Align {
                                    pow2: 0,
                                },
                                mutability: Not,
                                extra: (),
                            },
                            start: 0,
                            end: 2,
                        },
                    ),
                },
                user_ty: None,
                const_id: None,
            },
        },
        Expr {
            ty: &str,
            temp_lifetime: Some(
                Node(52),
            ),
            span: <anon>:6:38: 6:47 (#0),
            kind: Scope {
                region_scope: Node(21),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 21,
                    },
                ),
                value: e6,
            },
        },
        Expr {
            ty: &str,
            temp_lifetime: Some(
                Node(52),
            ),
            span: <anon>:6:38: 6:47 (#0),
            kind: Literal {
                literal: Const {
                    ty: &str,
                    val: Value(
                        Slice {
                            data: Allocation {
                                bytes: [
                                    34,
                                    10,
                                ],
                                relocations: Relocations(
                                    SortedMap {
                                        data: [],
                                    },
                                ),
                                init_mask: InitMask {
                                    blocks: [
                                        3,
                                    ],
                                    len: Size {
                                        raw: 2,
                                    },
                                },
                                align: Align {
                                    pow2: 0,
                                },
                                mutability: Not,
                                extra: (),
                            },
                            start: 0,
                            end: 2,
                        },
                    ),
                },
                user_ty: None,
                const_id: None,
            },
        },
        Expr {
            ty: &str,
            temp_lifetime: Some(
                Node(52),
            ),
            span: <anon>:6:38: 6:47 (#0),
            kind: Scope {
                region_scope: Node(22),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 22,
                    },
                ),
                value: e8,
            },
        },
        Expr {
            ty: [&str; 2],
            temp_lifetime: Some(
                Node(52),
            ),
            span: <anon>:6:38: 6:47 (#0),
            kind: Array {
                fields: [
                    e7,
                    e9,
                ],
            },
        },
        Expr {
            ty: [&str; 2],
            temp_lifetime: Some(
                Node(52),
            ),
            span: <anon>:6:38: 6:47 (#0),
            kind: Scope {
                region_scope: Node(23),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 23,
                    },
                ),
                value: e10,
            },
        },
        Expr {
            ty: &[&str; 2],
            temp_lifetime: Some(
                Node(52),
            ),
            span: <anon>:6:38: 6:47 (#0),
            kind: Borrow {
                borrow_kind: Shared,
                arg: e11,
            },
        },
        Expr {
            ty: [&str; 2],
            temp_lifetime: Some(
                Node(52),
            ),
            span: <anon>:6:38: 6:47 (#0),
            kind: Deref {
                arg: e12,
            },
        },
        Expr {
            ty: &[&str; 2],
            temp_lifetime: Some(
                Node(52),
            ),
            span: <anon>:6:38: 6:47 (#0),
            kind: Borrow {
                borrow_kind: Shared,
                arg: e13,
            },
        },
        Expr {
            ty: &[&str],
            temp_lifetime: Some(
                Node(52),
            ),
            span: <anon>:6:38: 6:47 (#0),
            kind: Pointer {
                cast: Unsize,
                source: e14,
            },
        },
        Expr {
            ty: &[&str],
            temp_lifetime: Some(
                Node(52),
            ),
            span: <anon>:6:38: 6:47 (#0),
            kind: Scope {
                region_scope: Node(24),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 24,
                    },
                ),
                value: e15,
            },
        },
        Expr {
            ty: &str,
            temp_lifetime: Some(
                Node(52),
            ),
            span: <anon>:6:49: 6:50 (#0),
            kind: VarRef {
                id: HirId {
                    owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                    local_id: 6,
                },
            },
        },
        Expr {
            ty: &str,
            temp_lifetime: Some(
                Node(52),
            ),
            span: <anon>:6:49: 6:50 (#0),
            kind: Scope {
                region_scope: Node(26),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 26,
                    },
                ),
                value: e17,
            },
        },
        Expr {
            ty: &&str,
            temp_lifetime: Some(
                Node(52),
            ),
            span: <anon>:6:49: 6:50 (#0),
            kind: Borrow {
                borrow_kind: Shared,
                arg: e18,
            },
        },
        Expr {
            ty: &&str,
            temp_lifetime: Some(
                Node(52),
            ),
            span: <anon>:6:49: 6:50 (#0),
            kind: Scope {
                region_scope: Node(27),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 27,
                    },
                ),
                value: e19,
            },
        },
        Expr {
            ty: (&&str,),
            temp_lifetime: Some(
                Node(52),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Tuple {
                fields: [
                    e20,
                ],
            },
        },
        Expr {
            ty: (&&str,),
            temp_lifetime: Some(
                Node(52),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Scope {
                region_scope: Node(28),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 28,
                    },
                ),
                value: e21,
            },
        },
        Expr {
            ty: for<'b> fn(&'b &str, for<'r, 's, 't0> fn(&'r &str, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> std::fmt::ArgumentV1<'b> {std::fmt::ArgumentV1::new::<&str>},
            temp_lifetime: Some(
                Node(47),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Literal {
                literal: Const {
                    ty: for<'b> fn(&'b &str, for<'r, 's, 't0> fn(&'r &str, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> std::fmt::ArgumentV1<'b> {std::fmt::ArgumentV1::new::<&str>},
                    val: Value(
                        Scalar(
                            <ZST>,
                        ),
                    ),
                },
                user_ty: Some(
                    Canonical {
                        max_universe: U0,
                        variables: [
                            CanonicalVarInfo {
                                kind: Region(
                                    U0,
                                ),
                            },
                            CanonicalVarInfo {
                                kind: Ty(
                                    General(
                                        U0,
                                    ),
                                ),
                            },
                            CanonicalVarInfo {
                                kind: Region(
                                    U0,
                                ),
                            },
                        ],
                        value: TypeOf(
                            DefId(2:8948 ~ core[734c]::fmt::{impl#2}::new),
                            UserSubsts {
                                substs: [
                                    ReLateBound(DebruijnIndex(0), BoundRegion { var: 0, kind: BrAnon(0) }),
                                    ^1,
                                ],
                                user_self_ty: Some(
                                    UserSelfTy {
                                        impl_def_id: DefId(2:8946 ~ core[734c]::fmt::{impl#2}),
                                        self_ty: std::fmt::ArgumentV1<'_>,
                                    },
                                ),
                            },
                        ),
                    },
                ),
                const_id: None,
            },
        },
        Expr {
            ty: for<'b> fn(&'b &str, for<'r, 's, 't0> fn(&'r &str, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> std::fmt::ArgumentV1<'b> {std::fmt::ArgumentV1::new::<&str>},
            temp_lifetime: Some(
                Node(47),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Scope {
                region_scope: Node(38),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 38,
                    },
                ),
                value: e23,
            },
        },
        Expr {
            ty: &&str,
            temp_lifetime: Some(
                Node(47),
            ),
            span: <anon>:6:49: 6:50 (#4),
            kind: VarRef {
                id: HirId {
                    owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                    local_id: 29,
                },
            },
        },
        Expr {
            ty: &str,
            temp_lifetime: Some(
                Node(47),
            ),
            span: <anon>:6:49: 6:50 (#4),
            kind: Deref {
                arg: e25,
            },
        },
        Expr {
            ty: &&str,
            temp_lifetime: Some(
                Node(47),
            ),
            span: <anon>:6:49: 6:50 (#4),
            kind: Borrow {
                borrow_kind: Shared,
                arg: e26,
            },
        },
        Expr {
            ty: &&str,
            temp_lifetime: Some(
                Node(47),
            ),
            span: <anon>:6:49: 6:50 (#4),
            kind: Scope {
                region_scope: Node(40),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 40,
                    },
                ),
                value: e27,
            },
        },
        Expr {
            ty: for<'r, 's, 't0> fn(&'r &str, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {<&str as std::fmt::Display>::fmt},
            temp_lifetime: Some(
                Node(47),
            ),
            span: <anon>:6:49: 6:50 (#4),
            kind: Literal {
                literal: Const {
                    ty: for<'r, 's, 't0> fn(&'r &str, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {<&str as std::fmt::Display>::fmt},
                    val: Value(
                        Scalar(
                            <ZST>,
                        ),
                    ),
                },
                user_ty: None,
                const_id: None,
            },
        },
        Expr {
            ty: for<'r, 's, 't0> fn(&'r &str, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>,
            temp_lifetime: Some(
                Node(47),
            ),
            span: <anon>:6:49: 6:50 (#4),
            kind: Pointer {
                cast: ReifyFnPointer,
                source: e29,
            },
        },
        Expr {
            ty: for<'r, 's, 't0> fn(&'r &str, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>,
            temp_lifetime: Some(
                Node(47),
            ),
            span: <anon>:6:49: 6:50 (#4),
            kind: Scope {
                region_scope: Node(45),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 45,
                    },
                ),
                value: e30,
            },
        },
        Expr {
            ty: std::fmt::ArgumentV1,
            temp_lifetime: Some(
                Node(47),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Call {
                ty: for<'b> fn(&'b &str, for<'r, 's, 't0> fn(&'r &str, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> std::fmt::ArgumentV1<'b> {std::fmt::ArgumentV1::new::<&str>},
                fun: e24,
                args: [
                    e28,
                    e31,
                ],
                from_hir_call: true,
                fn_span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            },
        },
        Expr {
            ty: std::fmt::ArgumentV1,
            temp_lifetime: Some(
                Node(47),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Scope {
                region_scope: Node(46),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 46,
                    },
                ),
                value: e32,
            },
        },
        Expr {
            ty: [std::fmt::ArgumentV1; 1],
            temp_lifetime: Some(
                Node(47),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Array {
                fields: [
                    e33,
                ],
            },
        },
        Expr {
            ty: [std::fmt::ArgumentV1; 1],
            temp_lifetime: Some(
                Node(47),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Scope {
                region_scope: Node(47),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 47,
                    },
                ),
                value: e34,
            },
        },
        Expr {
            ty: [std::fmt::ArgumentV1; 1],
            temp_lifetime: Some(
                Node(47),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Scope {
                region_scope: Destruction(47),
                lint_level: Inherited,
                value: e35,
            },
        },
        Expr {
            ty: [std::fmt::ArgumentV1; 1],
            temp_lifetime: Some(
                Node(52),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Match {
                scrutinee: e22,
                arms: [
                    a0,
                ],
            },
        },
        Expr {
            ty: [std::fmt::ArgumentV1; 1],
            temp_lifetime: Some(
                Node(52),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Scope {
                region_scope: Node(48),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 48,
                    },
                ),
                value: e37,
            },
        },
        Expr {
            ty: &[std::fmt::ArgumentV1; 1],
            temp_lifetime: Some(
                Node(52),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Borrow {
                borrow_kind: Shared,
                arg: e38,
            },
        },
        Expr {
            ty: [std::fmt::ArgumentV1; 1],
            temp_lifetime: Some(
                Node(52),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Deref {
                arg: e39,
            },
        },
        Expr {
            ty: &[std::fmt::ArgumentV1; 1],
            temp_lifetime: Some(
                Node(52),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Borrow {
                borrow_kind: Shared,
                arg: e40,
            },
        },
        Expr {
            ty: &[std::fmt::ArgumentV1],
            temp_lifetime: Some(
                Node(52),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Pointer {
                cast: Unsize,
                source: e41,
            },
        },
        Expr {
            ty: &[std::fmt::ArgumentV1],
            temp_lifetime: Some(
                Node(52),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Scope {
                region_scope: Node(49),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 49,
                    },
                ),
                value: e42,
            },
        },
        Expr {
            ty: std::fmt::Arguments,
            temp_lifetime: Some(
                Node(52),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Call {
                ty: fn(&[&'static str], &[std::fmt::ArgumentV1]) -> std::fmt::Arguments {std::fmt::Arguments::new_v1},
                fun: e5,
                args: [
                    e16,
                    e43,
                ],
                from_hir_call: true,
                fn_span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            },
        },
        Expr {
            ty: std::fmt::Arguments,
            temp_lifetime: Some(
                Node(52),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:28: 98:61 (#4),
            kind: Scope {
                region_scope: Node(50),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 50,
                    },
                ),
                value: e44,
            },
        },
        Expr {
            ty: (),
            temp_lifetime: Some(
                Node(52),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:9: 98:62 (#3),
            kind: Call {
                ty: for<'r> fn(std::fmt::Arguments<'r>) {std::io::_print},
                fun: e3,
                args: [
                    e45,
                ],
                from_hir_call: true,
                fn_span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:9: 98:62 (#3),
            },
        },
        Expr {
            ty: (),
            temp_lifetime: Some(
                Node(52),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:98:9: 98:62 (#3),
            kind: Scope {
                region_scope: Node(51),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 51,
                    },
                ),
                value: e46,
            },
        },
        Expr {
            ty: (),
            temp_lifetime: Some(
                Node(54),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:97:23: 99:6 (#3),
            kind: Block {
                body: Block {
                    targeted_by_break: false,
                    region_scope: Node(53),
                    opt_destruction_scope: None,
                    span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:97:23: 99:6 (#3),
                    stmts: [
                        s0,
                    ],
                    expr: None,
                    safety_mode: Safe,
                },
            },
        },
        Expr {
            ty: (),
            temp_lifetime: Some(
                Node(54),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:97:23: 99:6 (#3),
            kind: Scope {
                region_scope: Node(54),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 54,
                    },
                ),
                value: e48,
            },
        },
        Expr {
            ty: (),
            temp_lifetime: Some(
                Node(54),
            ),
            span: /rustc/b70888601af92f6cdc0364abab3446e418b91d36/library/std/src/macros.rs:97:23: 99:6 (#3),
            kind: Scope {
                region_scope: Destruction(54),
                lint_level: Inherited,
                value: e49,
            },
        },
        Expr {
            ty: (),
            temp_lifetime: Some(
                Node(57),
            ),
            span: <anon>:5:9: 7:10 (#0),
            kind: Match {
                scrutinee: e1,
                arms: [
                    a1,
                ],
            },
        },
        Expr {
            ty: (),
            temp_lifetime: Some(
                Node(57),
            ),
            span: <anon>:5:9: 7:10 (#0),
            kind: Scope {
                region_scope: Node(55),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 55,
                    },
                ),
                value: e51,
            },
        },
        Expr {
            ty: (),
            temp_lifetime: Some(
                Node(57),
            ),
            span: <anon>:4:21: 8:6 (#0),
            kind: Block {
                body: Block {
                    targeted_by_break: false,
                    region_scope: Node(56),
                    opt_destruction_scope: None,
                    span: <anon>:4:21: 8:6 (#0),
                    stmts: [],
                    expr: Some(
                        e52,
                    ),
                    safety_mode: Safe,
                },
            },
        },
        Expr {
            ty: (),
            temp_lifetime: Some(
                Node(57),
            ),
            span: <anon>:4:21: 8:6 (#0),
            kind: Scope {
                region_scope: Node(57),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:7 ~ rust_out[6150]::{impl#0}::print),
                        local_id: 57,
                    },
                ),
                value: e53,
            },
        },
        Expr {
            ty: (),
            temp_lifetime: Some(
                Node(57),
            ),
            span: <anon>:4:21: 8:6 (#0),
            kind: Scope {
                region_scope: Destruction(57),
                lint_level: Inherited,
                value: e54,
            },
        },
    ],
    stmts: [
        Stmt {
            kind: Expr {
                scope: Node(52),
                expr: e47,
            },
            opt_destruction_scope: Some(
                Destruction(52),
            ),
        },
    ],
}

DefId(0:8 ~ rust_out[6150]::main):
Thir {
    arms: [],
    exprs: [
        Expr {
            ty: (),
            temp_lifetime: Some(
                Node(2),
            ),
            span: <anon>:11:11: 11:13 (#0),
            kind: Block {
                body: Block {
                    targeted_by_break: false,
                    region_scope: Node(1),
                    opt_destruction_scope: None,
                    span: <anon>:11:11: 11:13 (#0),
                    stmts: [],
                    expr: None,
                    safety_mode: Safe,
                },
            },
        },
        Expr {
            ty: (),
            temp_lifetime: Some(
                Node(2),
            ),
            span: <anon>:11:11: 11:13 (#0),
            kind: Scope {
                region_scope: Node(2),
                lint_level: Explicit(
                    HirId {
                        owner: DefId(0:8 ~ rust_out[6150]::main),
                        local_id: 2,
                    },
                ),
                value: e0,
            },
        },
        Expr {
            ty: (),
            temp_lifetime: Some(
                Node(2),
            ),
            span: <anon>:11:11: 11:13 (#0),
            kind: Scope {
                region_scope: Destruction(2),
                lint_level: Inherited,
                value: e1,
            },
        },
    ],
    stmts: [],
}

=== stderr ===
warning: struct is never constructed: `Foo`
 --> <anon>:1:8
  |
1 | struct Foo(pub str);
  |        ^^^
  |
  = note: `#[warn(dead_code)]` on by default

warning: associated function is never used: `print`
 --> <anon>:4:8
  |
4 |     fn print(&self) {
  |        ^^^^^

warning: 2 warnings emitted

==============
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants