[INFO] updating cached repository GuillaumeDIDIER/C-teel [INFO] running `"git" "fetch" "--all"` [INFO] [stdout] Fetching origin [INFO] [stderr] From git://github.com/GuillaumeDIDIER/C-teel [INFO] [stderr] * branch HEAD -> FETCH_HEAD [INFO] running `"git" "clone" "work/cache/sources/gh/GuillaumeDIDIER/C-teel" "work/ex/clippy-test-run/sources/stable/gh/GuillaumeDIDIER/C-teel"` [INFO] [stderr] Cloning into 'work/ex/clippy-test-run/sources/stable/gh/GuillaumeDIDIER/C-teel'... [INFO] [stderr] done. [INFO] running `"git" "clone" "work/cache/sources/gh/GuillaumeDIDIER/C-teel" "work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/gh/GuillaumeDIDIER/C-teel"` [INFO] [stderr] Cloning into 'work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/gh/GuillaumeDIDIER/C-teel'... [INFO] [stderr] done. [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] 4e46a6623dc3ce669e7525cff7069dbdeaa4043b [INFO] sha for GitHub repo GuillaumeDIDIER/C-teel: 4e46a6623dc3ce669e7525cff7069dbdeaa4043b [INFO] validating manifest of GuillaumeDIDIER/C-teel 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 GuillaumeDIDIER/C-teel 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 GuillaumeDIDIER/C-teel [INFO] finished frobbing GuillaumeDIDIER/C-teel [INFO] frobbed toml for GuillaumeDIDIER/C-teel written to work/ex/clippy-test-run/sources/stable/gh/GuillaumeDIDIER/C-teel/Cargo.toml [INFO] started frobbing GuillaumeDIDIER/C-teel [INFO] finished frobbing GuillaumeDIDIER/C-teel [INFO] frobbed toml for GuillaumeDIDIER/C-teel written to work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/gh/GuillaumeDIDIER/C-teel/Cargo.toml [INFO] crate GuillaumeDIDIER/C-teel has a lockfile. skipping [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 GuillaumeDIDIER/C-teel against stable for clippy-test-run [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/clippy-test-run/worker-5/stable:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/clippy-test-run/sources/stable/gh/GuillaumeDIDIER/C-teel:/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] 3c26b7dc49d43ec284f606598231439aca1fd5413dd5917d252e71240d0d373f [INFO] running `"docker" "start" "-a" "3c26b7dc49d43ec284f606598231439aca1fd5413dd5917d252e71240d0d373f"` [INFO] [stderr] Checking clap v2.19.3 [INFO] [stderr] Checking nom v2.1.0 [INFO] [stderr] Checking C_teel v0.1.0 (/opt/crater/workdir) [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/typing/ast.rs:88:20 [INFO] [stderr] | [INFO] [stderr] 88 | Expression{typ: typ, kind: kind, _is_pure: is_pure} [INFO] [stderr] | ^^^^^^^^ help: replace it with: `typ` [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/typing/ast.rs:88:30 [INFO] [stderr] | [INFO] [stderr] 88 | Expression{typ: typ, kind: kind, _is_pure: is_pure} [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `kind` [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/typing/typer.rs:189:13 [INFO] [stderr] | [INFO] [stderr] 189 | typ: typ, [INFO] [stderr] | ^^^^^^^^ help: replace it with: `typ` [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/typing/typer.rs:190:13 [INFO] [stderr] | [INFO] [stderr] 190 | name: name, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `name` [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/typing/typer.rs:254:13 [INFO] [stderr] | [INFO] [stderr] 254 | name: name, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `name` [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/typing/typer.rs:256:13 [INFO] [stderr] | [INFO] [stderr] 256 | vars: vars, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `vars` [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: using `write!()` with a format string that ends in a single newline, consider using `writeln!()` instead [INFO] [stderr] --> src/rtl/tree.rs:169:9 [INFO] [stderr] | [INFO] [stderr] 169 | write!(f, "== END ==================================================\n") [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: redundant field names in struct initialization [INFO] [stderr] --> src/rtl/builder.rs:52:13 [INFO] [stderr] | [INFO] [stderr] 52 | label_allocator: label_allocator, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `label_allocator` [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/rtl/builder.rs:53:13 [INFO] [stderr] | [INFO] [stderr] 53 | register_allocator: register_allocator, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `register_allocator` [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/rtl/builder.rs:54:13 [INFO] [stderr] | [INFO] [stderr] 54 | result: result, [INFO] [stderr] | ^^^^^^^^^^^^^^ help: replace it with: `result` [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/rtl/builder.rs:55:13 [INFO] [stderr] | [INFO] [stderr] 55 | exit: exit, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `exit` [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/rtl/builder.rs:57:13 [INFO] [stderr] | [INFO] [stderr] 57 | locals: locals, [INFO] [stderr] | ^^^^^^^^^^^^^^ help: replace it with: `locals` [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/rtl/builder.rs:59:13 [INFO] [stderr] | [INFO] [stderr] 59 | formals: formals, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `formals` [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/rtl/builder.rs:60:13 [INFO] [stderr] | [INFO] [stderr] 60 | types: types, [INFO] [stderr] | ^^^^^^^^^^^^ help: replace it with: `types` [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/rtl/builder.rs:508:13 [INFO] [stderr] | [INFO] [stderr] 508 | name: name, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `name` [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: using `write!()` with a format string that ends in a single newline, consider using `writeln!()` instead [INFO] [stderr] --> src/ertl/tree.rs:221:9 [INFO] [stderr] | [INFO] [stderr] 221 | write!(f, "== END ==================================================\n") [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/ertl/builder.rs:24:13 [INFO] [stderr] | [INFO] [stderr] 24 | functions: functions, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `functions` [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/ertl/builder.rs:124:13 [INFO] [stderr] | [INFO] [stderr] 124 | liveness: liveness, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `liveness` [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: using `write!()` with a format string that ends in a single newline, consider using `writeln!()` instead [INFO] [stderr] --> src/ltl/tree.rs:178:9 [INFO] [stderr] | [INFO] [stderr] 178 | write!(f, "== END ==================================================\n") [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/ltl/interference.rs:100:13 [INFO] [stderr] | [INFO] [stderr] 100 | graph: graph, [INFO] [stderr] | ^^^^^^^^^^^^ help: replace it with: `graph` [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/ltl/interference.rs:101:13 [INFO] [stderr] | [INFO] [stderr] 101 | possible_colors: possible_colors, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `possible_colors` [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/ltl/interference.rs:104:13 [INFO] [stderr] | [INFO] [stderr] 104 | todo: todo, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `todo` [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/ltl/builder.rs:16:13 [INFO] [stderr] | [INFO] [stderr] 16 | functions: functions, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `functions` [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/ltl/builder.rs:46:13 [INFO] [stderr] | [INFO] [stderr] 46 | spilled: spilled, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `spilled` [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/ltl/builder.rs:47:13 [INFO] [stderr] | [INFO] [stderr] 47 | register_affectations: register_affectations, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `register_affectations` [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/output/builder.rs:20:13 [INFO] [stderr] | [INFO] [stderr] 20 | globals: globals, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `globals` [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/output/builder.rs:21:13 [INFO] [stderr] | [INFO] [stderr] 21 | functions: functions, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `functions` [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/output/builder.rs:33:13 [INFO] [stderr] | [INFO] [stderr] 33 | instructions: instructions, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `instructions` [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/output/builder.rs:34:13 [INFO] [stderr] | [INFO] [stderr] 34 | labels: labels, [INFO] [stderr] | ^^^^^^^^^^^^^^ help: replace it with: `labels` [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/output/builder.rs:152:13 [INFO] [stderr] | [INFO] [stderr] 152 | name: name [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `name` [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/typing/ast.rs:88:20 [INFO] [stderr] | [INFO] [stderr] 88 | Expression{typ: typ, kind: kind, _is_pure: is_pure} [INFO] [stderr] | ^^^^^^^^ help: replace it with: `typ` [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/typing/ast.rs:88:30 [INFO] [stderr] | [INFO] [stderr] 88 | Expression{typ: typ, kind: kind, _is_pure: is_pure} [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `kind` [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/typing/typer.rs:189:13 [INFO] [stderr] | [INFO] [stderr] 189 | typ: typ, [INFO] [stderr] | ^^^^^^^^ help: replace it with: `typ` [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/typing/typer.rs:190:13 [INFO] [stderr] | [INFO] [stderr] 190 | name: name, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `name` [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/typing/typer.rs:254:13 [INFO] [stderr] | [INFO] [stderr] 254 | name: name, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `name` [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/typing/typer.rs:256:13 [INFO] [stderr] | [INFO] [stderr] 256 | vars: vars, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `vars` [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: using `write!()` with a format string that ends in a single newline, consider using `writeln!()` instead [INFO] [stderr] --> src/rtl/tree.rs:169:9 [INFO] [stderr] | [INFO] [stderr] 169 | write!(f, "== END ==================================================\n") [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: redundant field names in struct initialization [INFO] [stderr] --> src/rtl/builder.rs:52:13 [INFO] [stderr] | [INFO] [stderr] 52 | label_allocator: label_allocator, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `label_allocator` [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/rtl/builder.rs:53:13 [INFO] [stderr] | [INFO] [stderr] 53 | register_allocator: register_allocator, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `register_allocator` [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/rtl/builder.rs:54:13 [INFO] [stderr] | [INFO] [stderr] 54 | result: result, [INFO] [stderr] | ^^^^^^^^^^^^^^ help: replace it with: `result` [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/rtl/builder.rs:55:13 [INFO] [stderr] | [INFO] [stderr] 55 | exit: exit, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `exit` [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/rtl/builder.rs:57:13 [INFO] [stderr] | [INFO] [stderr] 57 | locals: locals, [INFO] [stderr] | ^^^^^^^^^^^^^^ help: replace it with: `locals` [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/rtl/builder.rs:59:13 [INFO] [stderr] | [INFO] [stderr] 59 | formals: formals, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `formals` [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/rtl/builder.rs:60:13 [INFO] [stderr] | [INFO] [stderr] 60 | types: types, [INFO] [stderr] | ^^^^^^^^^^^^ help: replace it with: `types` [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/rtl/builder.rs:508:13 [INFO] [stderr] | [INFO] [stderr] 508 | name: name, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `name` [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: using `write!()` with a format string that ends in a single newline, consider using `writeln!()` instead [INFO] [stderr] --> src/ertl/tree.rs:221:9 [INFO] [stderr] | [INFO] [stderr] 221 | write!(f, "== END ==================================================\n") [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/ertl/builder.rs:24:13 [INFO] [stderr] | [INFO] [stderr] 24 | functions: functions, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `functions` [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/ertl/builder.rs:124:13 [INFO] [stderr] | [INFO] [stderr] 124 | liveness: liveness, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: replace it with: `liveness` [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: using `write!()` with a format string that ends in a single newline, consider using `writeln!()` instead [INFO] [stderr] --> src/ltl/tree.rs:178:9 [INFO] [stderr] | [INFO] [stderr] 178 | write!(f, "== END ==================================================\n") [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/ltl/interference.rs:100:13 [INFO] [stderr] | [INFO] [stderr] 100 | graph: graph, [INFO] [stderr] | ^^^^^^^^^^^^ help: replace it with: `graph` [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/ltl/interference.rs:101:13 [INFO] [stderr] | [INFO] [stderr] 101 | possible_colors: possible_colors, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `possible_colors` [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/ltl/interference.rs:104:13 [INFO] [stderr] | [INFO] [stderr] 104 | todo: todo, [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `todo` [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/ltl/builder.rs:16:13 [INFO] [stderr] | [INFO] [stderr] 16 | functions: functions, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `functions` [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/ltl/builder.rs:46:13 [INFO] [stderr] | [INFO] [stderr] 46 | spilled: spilled, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `spilled` [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/ltl/builder.rs:47:13 [INFO] [stderr] | [INFO] [stderr] 47 | register_affectations: register_affectations, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `register_affectations` [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/output/builder.rs:20:13 [INFO] [stderr] | [INFO] [stderr] 20 | globals: globals, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: replace it with: `globals` [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/output/builder.rs:21:13 [INFO] [stderr] | [INFO] [stderr] 21 | functions: functions, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: replace it with: `functions` [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/output/builder.rs:33:13 [INFO] [stderr] | [INFO] [stderr] 33 | instructions: instructions, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `instructions` [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/output/builder.rs:34:13 [INFO] [stderr] | [INFO] [stderr] 34 | labels: labels, [INFO] [stderr] | ^^^^^^^^^^^^^^ help: replace it with: `labels` [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/output/builder.rs:152:13 [INFO] [stderr] | [INFO] [stderr] 152 | name: name [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `name` [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: method is never used: `cnd_cmp` [INFO] [stderr] --> src/rtl/builder.rs:343:5 [INFO] [stderr] | [INFO] [stderr] 343 | fn cnd_cmp(& mut self, op: x64Branch, lhs: tast::Expression, rhs: tast::Expression, exit_false: Label, exit_true: Label) -> Label { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(dead_code)] on by default [INFO] [stderr] [INFO] [stderr] warning: crate `C_teel` should have a snake case name such as `c_teel` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(non_snake_case)] on by default [INFO] [stderr] [INFO] [stderr] warning: single-character string constant used as pattern [INFO] [stderr] --> src/parse/lexer.rs:48:56 [INFO] [stderr] | [INFO] [stderr] 48 | let mut v = Vec::new(); v.extend(res.split("\n")); [INFO] [stderr] | ^^^^ help: try using a char instead: `'\n'` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(clippy::single_char_pattern)] on by default [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#single_char_pattern [INFO] [stderr] [INFO] [stderr] warning: method is never used: `cnd_cmp` [INFO] [stderr] --> src/rtl/builder.rs:343:5 [INFO] [stderr] | [INFO] [stderr] 343 | fn cnd_cmp(& mut self, op: x64Branch, lhs: tast::Expression, rhs: tast::Expression, exit_false: Label, exit_true: Label) -> Label { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(dead_code)] on by default [INFO] [stderr] [INFO] [stderr] warning: crate `C_teel` should have a snake case name such as `c_teel` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(non_snake_case)] on by default [INFO] [stderr] [INFO] [stderr] warning: single-character string constant used as pattern [INFO] [stderr] --> src/parse/lexer.rs:48:56 [INFO] [stderr] | [INFO] [stderr] 48 | let mut v = Vec::new(); v.extend(res.split("\n")); [INFO] [stderr] | ^^^^ help: try using a char instead: `'\n'` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(clippy::single_char_pattern)] on by default [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#single_char_pattern [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/rtl/tree.rs:38:22 [INFO] [stderr] | [INFO] [stderr] 38 | vec![label.clone()] [INFO] [stderr] | ^^^^^^^^^^^^^ help: try dereferencing it: `*label` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(clippy::clone_on_copy)] on by default [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/rtl/tree.rs:41:22 [INFO] [stderr] | [INFO] [stderr] 41 | vec![label2.clone(), label1.clone()] [INFO] [stderr] | ^^^^^^^^^^^^^^ help: try dereferencing it: `*label2` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/rtl/tree.rs:41:38 [INFO] [stderr] | [INFO] [stderr] 41 | vec![label2.clone(), label1.clone()] [INFO] [stderr] | ^^^^^^^^^^^^^^ help: try dereferencing it: `*label1` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/rtl/builder.rs:97:55 [INFO] [stderr] | [INFO] [stderr] 97 | let label = self.statement(*box_stmt, exit.clone()); [INFO] [stderr] | ^^^^^^^^^^^^ help: try removing the `clone` call: `exit` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/rtl/builder.rs:107:65 [INFO] [stderr] | [INFO] [stderr] 107 | let label_else = self.statement(*box_stmt_else, exit.clone()); [INFO] [stderr] | ^^^^^^^^^^^^ help: try removing the `clone` call: `exit` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/rtl/builder.rs:108:61 [INFO] [stderr] | [INFO] [stderr] 108 | let label_if = self.statement(*box_stmt_if, exit.clone()); [INFO] [stderr] | ^^^^^^^^^^^^ help: try removing the `clone` call: `exit` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/rtl/builder.rs:290:47 [INFO] [stderr] | [INFO] [stderr] 290 | let label1 = self.expression(rhs, label2.clone(), Some(src_register)); [INFO] [stderr] | ^^^^^^^^^^^^^^ help: try removing the `clone` call: `label2` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/rtl/builder.rs:365:41 [INFO] [stderr] | [INFO] [stderr] 365 | (None, self.expression(rhs, exit.clone(), None)) [INFO] [stderr] | ^^^^^^^^^^^^ help: try removing the `clone` call: `exit` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/rtl/tree.rs:38:22 [INFO] [stderr] | [INFO] [stderr] 38 | vec![label.clone()] [INFO] [stderr] | ^^^^^^^^^^^^^ help: try dereferencing it: `*label` [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] = note: #[warn(clippy::clone_on_copy)] on by default [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/rtl/tree.rs:41:22 [INFO] [stderr] | [INFO] [stderr] 41 | vec![label2.clone(), label1.clone()] [INFO] [stderr] | ^^^^^^^^^^^^^^ help: try dereferencing it: `*label2` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/rtl/tree.rs:41:38 [INFO] [stderr] | [INFO] [stderr] 41 | vec![label2.clone(), label1.clone()] [INFO] [stderr] | ^^^^^^^^^^^^^^ help: try dereferencing it: `*label1` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/rtl/builder.rs:393:41 [INFO] [stderr] | [INFO] [stderr] 393 | (None, self.expression(rhs, exit.clone(), None)) [INFO] [stderr] | ^^^^^^^^^^^^ help: try removing the `clone` call: `exit` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/ertl/tree.rs:49:22 [INFO] [stderr] | [INFO] [stderr] 49 | vec![label.clone()] [INFO] [stderr] | ^^^^^^^^^^^^^ help: try dereferencing it: `*label` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/ertl/tree.rs:52:22 [INFO] [stderr] | [INFO] [stderr] 52 | vec![label2.clone(), label1.clone()] [INFO] [stderr] | ^^^^^^^^^^^^^^ help: try dereferencing it: `*label2` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/ertl/tree.rs:52:38 [INFO] [stderr] | [INFO] [stderr] 52 | vec![label2.clone(), label1.clone()] [INFO] [stderr] | ^^^^^^^^^^^^^^ help: try dereferencing it: `*label1` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/rtl/builder.rs:97:55 [INFO] [stderr] | [INFO] [stderr] 97 | let label = self.statement(*box_stmt, exit.clone()); [INFO] [stderr] | ^^^^^^^^^^^^ help: try removing the `clone` call: `exit` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/rtl/builder.rs:107:65 [INFO] [stderr] | [INFO] [stderr] 107 | let label_else = self.statement(*box_stmt_else, exit.clone()); [INFO] [stderr] | ^^^^^^^^^^^^ help: try removing the `clone` call: `exit` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/rtl/builder.rs:108:61 [INFO] [stderr] | [INFO] [stderr] 108 | let label_if = self.statement(*box_stmt_if, exit.clone()); [INFO] [stderr] | ^^^^^^^^^^^^ help: try removing the `clone` call: `exit` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/rtl/builder.rs:290:47 [INFO] [stderr] | [INFO] [stderr] 290 | let label1 = self.expression(rhs, label2.clone(), Some(src_register)); [INFO] [stderr] | ^^^^^^^^^^^^^^ help: try removing the `clone` call: `label2` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/rtl/builder.rs:365:41 [INFO] [stderr] | [INFO] [stderr] 365 | (None, self.expression(rhs, exit.clone(), None)) [INFO] [stderr] | ^^^^^^^^^^^^ help: try removing the `clone` call: `exit` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/rtl/builder.rs:393:41 [INFO] [stderr] | [INFO] [stderr] 393 | (None, self.expression(rhs, exit.clone(), None)) [INFO] [stderr] | ^^^^^^^^^^^^ help: try removing the `clone` call: `exit` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/ertl/tree.rs:49:22 [INFO] [stderr] | [INFO] [stderr] 49 | vec![label.clone()] [INFO] [stderr] | ^^^^^^^^^^^^^ help: try dereferencing it: `*label` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/ertl/tree.rs:52:22 [INFO] [stderr] | [INFO] [stderr] 52 | vec![label2.clone(), label1.clone()] [INFO] [stderr] | ^^^^^^^^^^^^^^ help: try dereferencing it: `*label2` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/ertl/tree.rs:52:38 [INFO] [stderr] | [INFO] [stderr] 52 | vec![label2.clone(), label1.clone()] [INFO] [stderr] | ^^^^^^^^^^^^^^ help: try dereferencing it: `*label1` [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/ltl/tree.rs:64:22 [INFO] [stderr] | [INFO] [stderr] 64 | vec![label.clone()] [INFO] [stderr] | ^^^^^^^^^^^^^ help: try dereferencing it: `*label` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/ltl/tree.rs:67:22 [INFO] [stderr] | [INFO] [stderr] 67 | vec![label2.clone(), label1.clone()] [INFO] [stderr] | ^^^^^^^^^^^^^^ help: try dereferencing it: `*label2` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/ltl/tree.rs:67:38 [INFO] [stderr] | [INFO] [stderr] 67 | vec![label2.clone(), label1.clone()] [INFO] [stderr] | ^^^^^^^^^^^^^^ help: try dereferencing it: `*label1` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: `ref` on an entire `let` pattern is discouraged, take a reference with `&` instead [INFO] [stderr] --> src/ltl/interference.rs:76:13 [INFO] [stderr] | [INFO] [stderr] 76 | for ref reg in keys { [INFO] [stderr] | ^^^^^^^ ---- help: try: `let reg = &keys;` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(clippy::toplevel_ref_arg)] on by default [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#toplevel_ref_arg [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/ltl/tree.rs:64:22 [INFO] [stderr] | [INFO] [stderr] 64 | vec![label.clone()] [INFO] [stderr] | ^^^^^^^^^^^^^ help: try dereferencing it: `*label` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/ltl/tree.rs:67:22 [INFO] [stderr] | [INFO] [stderr] 67 | vec![label2.clone(), label1.clone()] [INFO] [stderr] | ^^^^^^^^^^^^^^ help: try dereferencing it: `*label2` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: using `clone` on a `Copy` type [INFO] [stderr] --> src/ltl/tree.rs:67:38 [INFO] [stderr] | [INFO] [stderr] 67 | vec![label2.clone(), label1.clone()] [INFO] [stderr] | ^^^^^^^^^^^^^^ help: try dereferencing it: `*label1` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy [INFO] [stderr] [INFO] [stderr] warning: `ref` on an entire `let` pattern is discouraged, take a reference with `&` instead [INFO] [stderr] --> src/ltl/interference.rs:76:13 [INFO] [stderr] | [INFO] [stderr] 76 | for ref reg in keys { [INFO] [stderr] | ^^^^^^^ ---- help: try: `let reg = &keys;` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(clippy::toplevel_ref_arg)] on by default [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#toplevel_ref_arg [INFO] [stderr] [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/bin/c-teel.rs:97:19 [INFO] [stderr] | [INFO] [stderr] 97 | Ok(Driver{mode: mode, filename: String::from(input)}) [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `mode` [INFO] [stderr] warning: redundant field names in struct initialization [INFO] [stderr] --> src/bin/c-teel.rs:97:19 [INFO] [stderr] | [INFO] [stderr] 97 | Ok(Driver{mode: mode, filename: String::from(input)}) [INFO] [stderr] | ^^^^^^^^^^ help: replace it with: `mode` [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] | [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] Finished dev [unoptimized + debuginfo] target(s) in 14.22s [INFO] running `"docker" "inspect" "3c26b7dc49d43ec284f606598231439aca1fd5413dd5917d252e71240d0d373f"` [INFO] running `"docker" "rm" "-f" "3c26b7dc49d43ec284f606598231439aca1fd5413dd5917d252e71240d0d373f"` [INFO] [stdout] 3c26b7dc49d43ec284f606598231439aca1fd5413dd5917d252e71240d0d373f