[INFO] crate malk-core 0.1.1 is already in cache [INFO] extracting crate malk-core 0.1.1 into work/ex/clippy-test-run/sources/stable/reg/malk-core/0.1.1 [INFO] extracting crate malk-core 0.1.1 into work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/reg/malk-core/0.1.1 [INFO] validating manifest of malk-core-0.1.1 on toolchain stable [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of malk-core-0.1.1 on toolchain stable+rustflags=-Dclippy::into_iter_on_array [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started frobbing malk-core-0.1.1 [INFO] finished frobbing malk-core-0.1.1 [INFO] frobbed toml for malk-core-0.1.1 written to work/ex/clippy-test-run/sources/stable/reg/malk-core/0.1.1/Cargo.toml [INFO] started frobbing malk-core-0.1.1 [INFO] finished frobbing malk-core-0.1.1 [INFO] frobbed toml for malk-core-0.1.1 written to work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/reg/malk-core/0.1.1/Cargo.toml [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] linting malk-core-0.1.1 against stable for clippy-test-run [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/clippy-test-run/worker-6/stable:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/clippy-test-run/sources/stable/reg/malk-core/0.1.1:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+stable" "clippy" "--frozen" "--all" "--all-targets"` [INFO] [stdout] 8c67ff1faee3e91d05aa47b7718e2c32e8151d6a15c6159d3b5536ae257c0cae [INFO] running `"docker" "start" "-a" "8c67ff1faee3e91d05aa47b7718e2c32e8151d6a15c6159d3b5536ae257c0cae"` [INFO] [stderr] Checking malk-core v0.1.1 (/opt/crater/workdir) [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:536:17 [INFO] [stderr] | [INFO] [stderr] 536 | arg: arg, [INFO] [stderr] | ^^^^^^^^ help: replace it with: `arg` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(clippy::redundant_field_names)] on by default [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:537:17 [INFO] [stderr] | [INFO] [stderr] 537 | arg_type: arg_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `arg_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:538:17 [INFO] [stderr] | [INFO] [stderr] 538 | res_type: res_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `res_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:539:17 [INFO] [stderr] | [INFO] [stderr] 539 | on_left: on_left, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `on_left` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:540:17 [INFO] [stderr] | [INFO] [stderr] 540 | on_right: on_right, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `on_right` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:561:17 [INFO] [stderr] | [INFO] [stderr] 561 | term_type: term_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `term_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:562:17 [INFO] [stderr] | [INFO] [stderr] 562 | a: a, [INFO] [stderr] | ^^^^ help: replace it with: `a` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:563:17 [INFO] [stderr] | [INFO] [stderr] 563 | b: b, [INFO] [stderr] | ^^^^ help: replace it with: `b` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:564:17 [INFO] [stderr] | [INFO] [stderr] 564 | path: path, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `path` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:565:17 [INFO] [stderr] | [INFO] [stderr] 565 | context: context, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `context` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:566:17 [INFO] [stderr] | [INFO] [stderr] 566 | proof: proof, [INFO] [stderr] | ^^^^^^^^^^^^ help: replace it with: `proof` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:588:17 [INFO] [stderr] | [INFO] [stderr] 588 | intrinsic: intrinsic, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `intrinsic` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:589:17 [INFO] [stderr] | [INFO] [stderr] 589 | world_in: world_in, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `world_in` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:590:17 [INFO] [stderr] | [INFO] [stderr] 590 | arg: arg, [INFO] [stderr] | ^^^^^^^^ help: replace it with: `arg` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:591:17 [INFO] [stderr] | [INFO] [stderr] 591 | expr: expr, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `expr` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:599:17 [INFO] [stderr] | [INFO] [stderr] 599 | pred: pred, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `pred` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:610:17 [INFO] [stderr] | [INFO] [stderr] 610 | arg: arg, [INFO] [stderr] | ^^^^^^^^ help: replace it with: `arg` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:611:17 [INFO] [stderr] | [INFO] [stderr] 611 | res_type: res_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `res_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:612:17 [INFO] [stderr] | [INFO] [stderr] 612 | on_zero: on_zero, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `on_zero` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:613:17 [INFO] [stderr] | [INFO] [stderr] 613 | on_succ: on_succ, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `on_succ` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:667:17 [INFO] [stderr] | [INFO] [stderr] 667 | arg_type: arg_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `arg_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:668:17 [INFO] [stderr] | [INFO] [stderr] 668 | res_type: res_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `res_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:686:17 [INFO] [stderr] | [INFO] [stderr] 686 | func: func, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `func` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:687:17 [INFO] [stderr] | [INFO] [stderr] 687 | arg: arg, [INFO] [stderr] | ^^^^^^^^ help: replace it with: `arg` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:688:17 [INFO] [stderr] | [INFO] [stderr] 688 | arg_type: arg_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `arg_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:689:17 [INFO] [stderr] | [INFO] [stderr] 689 | res_type: res_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `res_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:698:17 [INFO] [stderr] | [INFO] [stderr] 698 | head_type: head_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `head_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:699:17 [INFO] [stderr] | [INFO] [stderr] 699 | tail_type: tail_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `tail_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:718:17 [INFO] [stderr] | [INFO] [stderr] 718 | pair: pair, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `pair` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:719:17 [INFO] [stderr] | [INFO] [stderr] 719 | res: res, [INFO] [stderr] | ^^^^^^^^ help: replace it with: `res` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:720:17 [INFO] [stderr] | [INFO] [stderr] 720 | head_type: head_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `head_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:721:17 [INFO] [stderr] | [INFO] [stderr] 721 | tail_type: tail_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `tail_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:758:17 [INFO] [stderr] | [INFO] [stderr] 758 | arg: arg, [INFO] [stderr] | ^^^^^^^^ help: replace it with: `arg` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:759:17 [INFO] [stderr] | [INFO] [stderr] 759 | arg_type: arg_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `arg_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:760:17 [INFO] [stderr] | [INFO] [stderr] 760 | res_type: res_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `res_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:761:17 [INFO] [stderr] | [INFO] [stderr] 761 | on_left: on_left, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `on_left` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:762:17 [INFO] [stderr] | [INFO] [stderr] 762 | on_right: on_right, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `on_right` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:784:17 [INFO] [stderr] | [INFO] [stderr] 784 | term_type: term_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `term_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:785:17 [INFO] [stderr] | [INFO] [stderr] 785 | a: a, [INFO] [stderr] | ^^^^ help: replace it with: `a` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:786:17 [INFO] [stderr] | [INFO] [stderr] 786 | b: b, [INFO] [stderr] | ^^^^ help: replace it with: `b` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:787:17 [INFO] [stderr] | [INFO] [stderr] 787 | path: path, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `path` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:788:17 [INFO] [stderr] | [INFO] [stderr] 788 | context: context, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `context` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:789:17 [INFO] [stderr] | [INFO] [stderr] 789 | proof: proof, [INFO] [stderr] | ^^^^^^^^^^^^ help: replace it with: `proof` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:812:17 [INFO] [stderr] | [INFO] [stderr] 812 | intrinsic: intrinsic, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `intrinsic` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:813:17 [INFO] [stderr] | [INFO] [stderr] 813 | world_in: world_in, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `world_in` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:814:17 [INFO] [stderr] | [INFO] [stderr] 814 | arg: arg, [INFO] [stderr] | ^^^^^^^^ help: replace it with: `arg` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:815:17 [INFO] [stderr] | [INFO] [stderr] 815 | expr: expr, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `expr` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:832:17 [INFO] [stderr] | [INFO] [stderr] 832 | arg: arg, [INFO] [stderr] | ^^^^^^^^ help: replace it with: `arg` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:833:17 [INFO] [stderr] | [INFO] [stderr] 833 | res_type: res_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `res_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:834:17 [INFO] [stderr] | [INFO] [stderr] 834 | on_zero: on_zero, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `on_zero` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:835:17 [INFO] [stderr] | [INFO] [stderr] 835 | on_succ: on_succ, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `on_succ` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:1003:17 [INFO] [stderr] | [INFO] [stderr] 1003 | intrinsic: intrinsic, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `intrinsic` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:536:17 [INFO] [stderr] | [INFO] [stderr] 536 | arg: arg, [INFO] [stderr] | ^^^^^^^^ help: replace it with: `arg` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(clippy::redundant_field_names)] on by default [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:537:17 [INFO] [stderr] | [INFO] [stderr] 537 | arg_type: arg_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `arg_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:538:17 [INFO] [stderr] | [INFO] [stderr] 538 | res_type: res_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `res_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:539:17 [INFO] [stderr] | [INFO] [stderr] 539 | on_left: on_left, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `on_left` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:540:17 [INFO] [stderr] | [INFO] [stderr] 540 | on_right: on_right, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `on_right` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:561:17 [INFO] [stderr] | [INFO] [stderr] 561 | term_type: term_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `term_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:562:17 [INFO] [stderr] | [INFO] [stderr] 562 | a: a, [INFO] [stderr] | ^^^^ help: replace it with: `a` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:563:17 [INFO] [stderr] | [INFO] [stderr] 563 | b: b, [INFO] [stderr] | ^^^^ help: replace it with: `b` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:564:17 [INFO] [stderr] | [INFO] [stderr] 564 | path: path, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `path` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:565:17 [INFO] [stderr] | [INFO] [stderr] 565 | context: context, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `context` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:566:17 [INFO] [stderr] | [INFO] [stderr] 566 | proof: proof, [INFO] [stderr] | ^^^^^^^^^^^^ help: replace it with: `proof` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:588:17 [INFO] [stderr] | [INFO] [stderr] 588 | intrinsic: intrinsic, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `intrinsic` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:589:17 [INFO] [stderr] | [INFO] [stderr] 589 | world_in: world_in, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `world_in` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:590:17 [INFO] [stderr] | [INFO] [stderr] 590 | arg: arg, [INFO] [stderr] | ^^^^^^^^ help: replace it with: `arg` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:591:17 [INFO] [stderr] | [INFO] [stderr] 591 | expr: expr, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `expr` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:599:17 [INFO] [stderr] | [INFO] [stderr] 599 | pred: pred, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `pred` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:610:17 [INFO] [stderr] | [INFO] [stderr] 610 | arg: arg, [INFO] [stderr] | ^^^^^^^^ help: replace it with: `arg` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:611:17 [INFO] [stderr] | [INFO] [stderr] 611 | res_type: res_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `res_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:612:17 [INFO] [stderr] | [INFO] [stderr] 612 | on_zero: on_zero, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `on_zero` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:613:17 [INFO] [stderr] | [INFO] [stderr] 613 | on_succ: on_succ, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `on_succ` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:667:17 [INFO] [stderr] | [INFO] [stderr] 667 | arg_type: arg_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `arg_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:668:17 [INFO] [stderr] | [INFO] [stderr] 668 | res_type: res_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `res_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:686:17 [INFO] [stderr] | [INFO] [stderr] 686 | func: func, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `func` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:687:17 [INFO] [stderr] | [INFO] [stderr] 687 | arg: arg, [INFO] [stderr] | ^^^^^^^^ help: replace it with: `arg` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:688:17 [INFO] [stderr] | [INFO] [stderr] 688 | arg_type: arg_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `arg_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:689:17 [INFO] [stderr] | [INFO] [stderr] 689 | res_type: res_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `res_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:698:17 [INFO] [stderr] | [INFO] [stderr] 698 | head_type: head_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `head_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:699:17 [INFO] [stderr] | [INFO] [stderr] 699 | tail_type: tail_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `tail_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:718:17 [INFO] [stderr] | [INFO] [stderr] 718 | pair: pair, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `pair` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:719:17 [INFO] [stderr] | [INFO] [stderr] 719 | res: res, [INFO] [stderr] | ^^^^^^^^ help: replace it with: `res` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:720:17 [INFO] [stderr] | [INFO] [stderr] 720 | head_type: head_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `head_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:721:17 [INFO] [stderr] | [INFO] [stderr] 721 | tail_type: tail_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `tail_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:758:17 [INFO] [stderr] | [INFO] [stderr] 758 | arg: arg, [INFO] [stderr] | ^^^^^^^^ help: replace it with: `arg` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:759:17 [INFO] [stderr] | [INFO] [stderr] 759 | arg_type: arg_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `arg_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:760:17 [INFO] [stderr] | [INFO] [stderr] 760 | res_type: res_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `res_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:761:17 [INFO] [stderr] | [INFO] [stderr] 761 | on_left: on_left, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `on_left` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:762:17 [INFO] [stderr] | [INFO] [stderr] 762 | on_right: on_right, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `on_right` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:784:17 [INFO] [stderr] | [INFO] [stderr] 784 | term_type: term_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `term_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:785:17 [INFO] [stderr] | [INFO] [stderr] 785 | a: a, [INFO] [stderr] | ^^^^ help: replace it with: `a` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:786:17 [INFO] [stderr] | [INFO] [stderr] 786 | b: b, [INFO] [stderr] | ^^^^ help: replace it with: `b` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:787:17 [INFO] [stderr] | [INFO] [stderr] 787 | path: path, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `path` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:788:17 [INFO] [stderr] | [INFO] [stderr] 788 | context: context, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `context` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:789:17 [INFO] [stderr] | [INFO] [stderr] 789 | proof: proof, [INFO] [stderr] | ^^^^^^^^^^^^ help: replace it with: `proof` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:812:17 [INFO] [stderr] | [INFO] [stderr] 812 | intrinsic: intrinsic, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `intrinsic` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:813:17 [INFO] [stderr] | [INFO] [stderr] 813 | world_in: world_in, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `world_in` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:814:17 [INFO] [stderr] | [INFO] [stderr] 814 | arg: arg, [INFO] [stderr] | ^^^^^^^^ help: replace it with: `arg` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:815:17 [INFO] [stderr] | [INFO] [stderr] 815 | expr: expr, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `expr` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:832:17 [INFO] [stderr] | [INFO] [stderr] 832 | arg: arg, [INFO] [stderr] | ^^^^^^^^ help: replace it with: `arg` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:833:17 [INFO] [stderr] | [INFO] [stderr] 833 | res_type: res_type, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `res_type` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:834:17 [INFO] [stderr] | [INFO] [stderr] 834 | on_zero: on_zero, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `on_zero` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:835:17 [INFO] [stderr] | [INFO] [stderr] 835 | on_succ: on_succ, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `on_succ` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/lib.rs:1003:17 [INFO] [stderr] | [INFO] [stderr] 1003 | intrinsic: intrinsic, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `intrinsic` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#redundant_field_names [INFO] [stderr] [INFO] [stderr] warning: you seem to be trying to match on a boolean expression [INFO] [stderr] --> src/lib.rs:305:29 [INFO] [stderr] | [INFO] [stderr] 305 | / match **head_pair == **tail_pair { [INFO] [stderr] 306 | | true => head_pair.clone(), [INFO] [stderr] 307 | | false => term.clone(), [INFO] [stderr] 308 | | } [INFO] [stderr] | |_____________________________^ help: consider using an if/else expression: `if **head_pair == **tail_pair { head_pair.clone() } else { term.clone() }` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(clippy::match_bool)] on by default [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#match_bool [INFO] [stderr] [INFO] [stderr] warning: you seem to be trying to match on a boolean expression [INFO] [stderr] --> src/lib.rs:884:13 [INFO] [stderr] | [INFO] [stderr] 884 | / match i < cutoff { [INFO] [stderr] 885 | | true => term.clone(), [INFO] [stderr] 886 | | false => Term::new(Var(i + amount)), [INFO] [stderr] 887 | | } [INFO] [stderr] | |_____________^ help: consider using an if/else expression: `if i < cutoff { term.clone() } else { Term::new(Var(i + amount)) }` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#match_bool [INFO] [stderr] [INFO] [stderr] warning: you seem to be trying to match on a boolean expression [INFO] [stderr] --> src/lib.rs:305:29 [INFO] [stderr] | [INFO] [stderr] 305 | / match **head_pair == **tail_pair { [INFO] [stderr] 306 | | true => head_pair.clone(), [INFO] [stderr] 307 | | false => term.clone(), [INFO] [stderr] 308 | | } [INFO] [stderr] | |_____________________________^ help: consider using an if/else expression: `if **head_pair == **tail_pair { head_pair.clone() } else { term.clone() }` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(clippy::match_bool)] on by default [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#match_bool [INFO] [stderr] [INFO] [stderr] warning: you seem to be trying to match on a boolean expression [INFO] [stderr] --> src/lib.rs:884:13 [INFO] [stderr] | [INFO] [stderr] 884 | / match i < cutoff { [INFO] [stderr] 885 | | true => term.clone(), [INFO] [stderr] 886 | | false => Term::new(Var(i + amount)), [INFO] [stderr] 887 | | } [INFO] [stderr] | |_____________^ help: consider using an if/else expression: `if i < cutoff { term.clone() } else { Term::new(Var(i + amount)) }` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#match_bool [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.49s [INFO] running `"docker" "inspect" "8c67ff1faee3e91d05aa47b7718e2c32e8151d6a15c6159d3b5536ae257c0cae"` [INFO] running `"docker" "rm" "-f" "8c67ff1faee3e91d05aa47b7718e2c32e8151d6a15c6159d3b5536ae257c0cae"` [INFO] [stdout] 8c67ff1faee3e91d05aa47b7718e2c32e8151d6a15c6159d3b5536ae257c0cae