[INFO] crate sat 0.1.0 is already in cache
[INFO] extracting crate sat 0.1.0 into work/ex/clippy-test-run/sources/stable/reg/sat/0.1.0
[INFO] extracting crate sat 0.1.0 into work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/reg/sat/0.1.0
[INFO] validating manifest of sat-0.1.0 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 sat-0.1.0 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 sat-0.1.0
[INFO] finished frobbing sat-0.1.0
[INFO] frobbed toml for sat-0.1.0 written to work/ex/clippy-test-run/sources/stable/reg/sat/0.1.0/Cargo.toml
[INFO] started frobbing sat-0.1.0
[INFO] finished frobbing sat-0.1.0
[INFO] frobbed toml for sat-0.1.0 written to work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/reg/sat/0.1.0/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 sat-0.1.0 against stable for clippy-test-run
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/clippy-test-run/worker-0/stable:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/clippy-test-run/sources/stable/reg/sat/0.1.0:/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] 57b3dc8353898ce50ab09107db59f9cd79bdda6cd46bd39cdff72311e1a725e2
[INFO] running `"docker" "start" "-a" "57b3dc8353898ce50ab09107db59f9cd79bdda6cd46bd39cdff72311e1a725e2"`
[INFO] [stderr]     Checking sat v0.1.0 (/opt/crater/workdir)
[INFO] [stderr] warning: redundant field names in struct initialization
[INFO] [stderr]   --> src/solver/dimacs.rs:39:13
[INFO] [stderr]    |
[INFO] [stderr] 39 |             cmd_factory: cmd_factory,
[INFO] [stderr]    |             ^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `cmd_factory`
[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: using `write!()` with a format string that ends in a single newline, consider using `writeln!()` instead
[INFO] [stderr]   --> src/solver/dimacs.rs:50:9
[INFO] [stderr]    |
[INFO] [stderr] 50 | /         write!(writer, "p cnf {} {}\n",
[INFO] [stderr] 51 | |             instance.num_vars, instance.cnf_clauses.len()).unwrap();
[INFO] [stderr]    | |__________________________________________________________^
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(clippy::write_with_newline)] on by default
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#write_with_newline
[INFO] [stderr] 
[INFO] [stderr] warning: using `write!()` with a format string that ends in a single newline, consider using `writeln!()` instead
[INFO] [stderr]   --> src/solver/dimacs.rs:57:13
[INFO] [stderr]    |
[INFO] [stderr] 57 |             write!(writer, "0\n").unwrap();
[INFO] [stderr]    |             ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#write_with_newline
[INFO] [stderr] 
[INFO] [stderr] warning: redundant field names in struct initialization
[INFO] [stderr]    --> src/solver/dimacs.rs:100:13
[INFO] [stderr]     |
[INFO] [stderr] 100 |             assignment: assignment,
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `assignment`
[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/solver/dimacs.rs:39:13
[INFO] [stderr]    |
[INFO] [stderr] 39 |             cmd_factory: cmd_factory,
[INFO] [stderr]    |             ^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `cmd_factory`
[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: using `write!()` with a format string that ends in a single newline, consider using `writeln!()` instead
[INFO] [stderr]   --> src/solver/dimacs.rs:50:9
[INFO] [stderr]    |
[INFO] [stderr] 50 | /         write!(writer, "p cnf {} {}\n",
[INFO] [stderr] 51 | |             instance.num_vars, instance.cnf_clauses.len()).unwrap();
[INFO] [stderr]    | |__________________________________________________________^
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(clippy::write_with_newline)] on by default
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#write_with_newline
[INFO] [stderr] 
[INFO] [stderr] warning: using `write!()` with a format string that ends in a single newline, consider using `writeln!()` instead
[INFO] [stderr]   --> src/solver/dimacs.rs:57:13
[INFO] [stderr]    |
[INFO] [stderr] 57 |             write!(writer, "0\n").unwrap();
[INFO] [stderr]    |             ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#write_with_newline
[INFO] [stderr] 
[INFO] [stderr] warning: redundant field names in struct initialization
[INFO] [stderr]    --> src/solver/dimacs.rs:100:13
[INFO] [stderr]     |
[INFO] [stderr] 100 |             assignment: assignment,
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `assignment`
[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 should consider deriving a `Default` implementation for `Instance`
[INFO] [stderr]   --> src/lib.rs:87:5
[INFO] [stderr]    |
[INFO] [stderr] 87 | /     pub fn new() -> Instance {
[INFO] [stderr] 88 | |         Instance {
[INFO] [stderr] 89 | |             num_vars: 0,
[INFO] [stderr] 90 | |             cnf_clauses: vec![],
[INFO] [stderr] 91 | |         }
[INFO] [stderr] 92 | |     }
[INFO] [stderr]    | |_____^
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(clippy::new_without_default_derive)] on by default
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#new_without_default_derive
[INFO] [stderr] help: try this
[INFO] [stderr]    |
[INFO] [stderr] 64 | #[derive(Default)]
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: you should consider deriving a `Default` implementation for `Instance`
[INFO] [stderr]   --> src/lib.rs:87:5
[INFO] [stderr]    |
[INFO] [stderr] 87 | /     pub fn new() -> Instance {
[INFO] [stderr] 88 | |         Instance {
[INFO] [stderr] 89 | |             num_vars: 0,
[INFO] [stderr] 90 | |             cnf_clauses: vec![],
[INFO] [stderr] 91 | |         }
[INFO] [stderr] 92 | |     }
[INFO] [stderr]    | |_____^
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(clippy::new_without_default_derive)] on by default
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#new_without_default_derive
[INFO] [stderr] help: try this
[INFO] [stderr]    |
[INFO] [stderr] 64 | #[derive(Default)]
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: the loop variable `i` is used to index `adj`
[INFO] [stderr]   --> examples/petersen.rs:23:14
[INFO] [stderr]    |
[INFO] [stderr] 23 |     for i in 0..5 {
[INFO] [stderr]    |              ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(clippy::needless_range_loop)] on by default
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_range_loop
[INFO] [stderr] help: consider using an iterator
[INFO] [stderr]    |
[INFO] [stderr] 23 |     for (i, <item>) in adj.iter_mut().enumerate().take(5) {
[INFO] [stderr]    |         ^^^^^^^^^^^    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: the loop variable `i` is used to index `adj`
[INFO] [stderr]   --> examples/petersen.rs:33:14
[INFO] [stderr]    |
[INFO] [stderr] 33 |     for i in 5..VERTICES {
[INFO] [stderr]    |              ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_range_loop
[INFO] [stderr] help: consider using an iterator
[INFO] [stderr]    |
[INFO] [stderr] 33 |     for (i, <item>) in adj.iter_mut().enumerate().take(VERTICES).skip(5) {
[INFO] [stderr]    |         ^^^^^^^^^^^    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 4.03s
[INFO] running `"docker" "inspect" "57b3dc8353898ce50ab09107db59f9cd79bdda6cd46bd39cdff72311e1a725e2"`
[INFO] running `"docker" "rm" "-f" "57b3dc8353898ce50ab09107db59f9cd79bdda6cd46bd39cdff72311e1a725e2"`
[INFO] [stdout] 57b3dc8353898ce50ab09107db59f9cd79bdda6cd46bd39cdff72311e1a725e2