[INFO] fetching crate charon_ariadne 0.1.0...
[INFO] checking charon_ariadne-0.1.0 against master#b3bd7058c139e71bae0862ef8f8ac936208873e9 for pr-123752
[INFO] extracting crate charon_ariadne 0.1.0 into /workspace/builds/worker-4-tc1/source
[INFO] validating manifest of crates.io crate charon_ariadne 0.1.0 on toolchain b3bd7058c139e71bae0862ef8f8ac936208873e9
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b3bd7058c139e71bae0862ef8f8ac936208873e9" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate charon_ariadne 0.1.0
[INFO] finished tweaking crates.io crate charon_ariadne 0.1.0
[INFO] tweaked toml for crates.io crate charon_ariadne 0.1.0 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] crate crates.io crate charon_ariadne 0.1.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b3bd7058c139e71bae0862ef8f8ac936208873e9" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+b3bd7058c139e71bae0862ef8f8ac936208873e9" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 49f9c354c174bba3c0343b0340af36e394983def5c888358c38ea30d61bb492f
[INFO] running `Command { std: "docker" "start" "-a" "49f9c354c174bba3c0343b0340af36e394983def5c888358c38ea30d61bb492f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "49f9c354c174bba3c0343b0340af36e394983def5c888358c38ea30d61bb492f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "49f9c354c174bba3c0343b0340af36e394983def5c888358c38ea30d61bb492f", kill_on_drop: false }`
[INFO] [stdout] 49f9c354c174bba3c0343b0340af36e394983def5c888358c38ea30d61bb492f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+b3bd7058c139e71bae0862ef8f8ac936208873e9" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 6035bd8e5529b027f64bfa9d1d7a31a6b4c2474ea505c3faea17c13c29183d23
[INFO] running `Command { std: "docker" "start" "-a" "6035bd8e5529b027f64bfa9d1d7a31a6b4c2474ea505c3faea17c13c29183d23", kill_on_drop: false }`
[INFO] [stderr]     Checking yansi v0.5.1
[INFO] [stderr]     Checking charon_ariadne v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: fields `mtop` and `rcross` are never read
[INFO] [stdout]   --> src/draw.rs:15:9
[INFO] [stdout]    |
[INFO] [stdout] 4  | pub struct Characters {
[INFO] [stdout]    |            ---------- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 15 |     pub mtop: char,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 25 |     pub rcross: char,
[INFO] [stdout]    |         ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `mtop` and `rcross` are never read
[INFO] [stdout]   --> src/draw.rs:15:9
[INFO] [stdout]    |
[INFO] [stdout] 4  | pub struct Characters {
[INFO] [stdout]    |            ---------- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 15 |     pub mtop: char,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 25 |     pub rcross: char,
[INFO] [stdout]    |         ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ariadne`
[INFO] [stdout]  --> examples/simple.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ariadne::{Label, Report, ReportKind, Source};
[INFO] [stdout]   |     ^^^^^^^ use of undeclared crate or module `ariadne`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ariadne`
[INFO] [stdout]  --> examples/multiline.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ariadne::{Color, ColorGenerator, Fmt, Label, Report, ReportKind, Source};
[INFO] [stdout]   |     ^^^^^^^ use of undeclared crate or module `ariadne`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ariadne`
[INFO] [stdout]  --> examples/stresstest.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ariadne::{Color, ColorGenerator, Config, Label, Report, ReportKind, Source};
[INFO] [stdout]   |     ^^^^^^^ use of undeclared crate or module `ariadne`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ariadne`
[INFO] [stdout]  --> examples/multifile.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ariadne::{sources, ColorGenerator, Fmt, Label, Report, ReportKind};
[INFO] [stdout]   |     ^^^^^^^ use of undeclared crate or module `ariadne`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `charon_ariadne` (example "simple") due to 2 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `charon_ariadne` (example "stresstest") due to 2 previous errors
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multiline.rs:17:67
[INFO] [stdout]    |
[INFO] [stdout] 17 |                 .with_message(format!("This is of type {}", "Nat".fg(a)))
[INFO] [stdout]    |                                                                   ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 17 |                 .with_message(format!("This is of type {}", "Nat".bg(a)))
[INFO] [stdout]    |                                                                   ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multifile.rs:16:67
[INFO] [stdout]    |
[INFO] [stdout] 16 |                 .with_message(format!("This is of type {}", "Nat".fg(a)))
[INFO] [stdout]    |                                                                   ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 16 |                 .with_message(format!("This is of type {}", "Nat".bg(a)))
[INFO] [stdout]    |                                                                   ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multifile.rs:21:67
[INFO] [stdout]    |
[INFO] [stdout] 21 |                 .with_message(format!("This is of type {}", "Str".fg(b)))
[INFO] [stdout]    |                                                                   ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 21 |                 .with_message(format!("This is of type {}", "Str".bg(b)))
[INFO] [stdout]    |                                                                   ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multiline.rs:22:67
[INFO] [stdout]    |
[INFO] [stdout] 22 |                 .with_message(format!("This is of type {}", "Str".fg(b)))
[INFO] [stdout]    |                                                                   ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 22 |                 .with_message(format!("This is of type {}", "Str".bg(b)))
[INFO] [stdout]    |                                                                   ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multifile.rs:28:27
[INFO] [stdout]    |
[INFO] [stdout] 28 |                     "Nat".fg(a),
[INFO] [stdout]    |                           ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 28 |                     "Nat".bg(a),
[INFO] [stdout]    |                           ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multiline.rs:29:29
[INFO] [stdout]    |
[INFO] [stdout] 29 |                     "match".fg(out),
[INFO] [stdout]    |                             ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 29 |                     "match".bg(out),
[INFO] [stdout]    |                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multifile.rs:29:27
[INFO] [stdout]    |
[INFO] [stdout] 29 |                     "Str".fg(b)
[INFO] [stdout]    |                           ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 29 |                     "Str".bg(b)
[INFO] [stdout]    |                           ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multiline.rs:35:76
[INFO] [stdout]    |
[INFO] [stdout] 35 |                 .with_message(format!("The {} has a problem", "definition".fg(out2),))
[INFO] [stdout]    |                                                                            ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 35 |                 .with_message(format!("The {} has a problem", "definition".bg(out2),))
[INFO] [stdout]    |                                                                            ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multifile.rs:36:83
[INFO] [stdout]    |
[INFO] [stdout] 36 |                 .with_message(format!("Original definition of {} is here", "five".fg(a)))
[INFO] [stdout]    |                                                                                   ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 36 |                 .with_message(format!("Original definition of {} is here", "five".bg(a)))
[INFO] [stdout]    |                                                                                   ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multiline.rs:40:72
[INFO] [stdout]    |
[INFO] [stdout] 40 |                 .with_message(format!("Usage of {} here", "definition".fg(out2),))
[INFO] [stdout]    |                                                                        ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 40 |                 .with_message(format!("Usage of {} here", "definition".bg(out2),))
[INFO] [stdout]    |                                                                        ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multifile.rs:41:19
[INFO] [stdout]    |
[INFO] [stdout] 41 |             "Nat".fg(a)
[INFO] [stdout]    |                   ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 41 |             "Nat".bg(a)
[INFO] [stdout]    |                   ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multiline.rs:45:21
[INFO] [stdout]    |
[INFO] [stdout] 45 |             "match".fg(out)
[INFO] [stdout]    |                     ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 45 |             "match".bg(out)
[INFO] [stdout]    |                     ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 7 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 7 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `charon_ariadne` (example "multiline") due to 8 previous errors
[INFO] [stderr] error: could not compile `charon_ariadne` (example "multifile") due to 8 previous errors
[INFO] running `Command { std: "docker" "inspect" "6035bd8e5529b027f64bfa9d1d7a31a6b4c2474ea505c3faea17c13c29183d23", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6035bd8e5529b027f64bfa9d1d7a31a6b4c2474ea505c3faea17c13c29183d23", kill_on_drop: false }`
[INFO] [stdout] 6035bd8e5529b027f64bfa9d1d7a31a6b4c2474ea505c3faea17c13c29183d23
[INFO] checking charon_ariadne-0.1.0 against try#57fe1b734d9ff1c8a92bda60b85506b9648158d3 for pr-123752
[INFO] extracting crate charon_ariadne 0.1.0 into /workspace/builds/worker-4-tc2/source
[INFO] validating manifest of crates.io crate charon_ariadne 0.1.0 on toolchain 57fe1b734d9ff1c8a92bda60b85506b9648158d3
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+57fe1b734d9ff1c8a92bda60b85506b9648158d3" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate charon_ariadne 0.1.0
[INFO] finished tweaking crates.io crate charon_ariadne 0.1.0
[INFO] tweaked toml for crates.io crate charon_ariadne 0.1.0 written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] crate crates.io crate charon_ariadne 0.1.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+57fe1b734d9ff1c8a92bda60b85506b9648158d3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+57fe1b734d9ff1c8a92bda60b85506b9648158d3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 5f764034c7c564b9bf7970e08376b57774cfbff0f6d4050ba470b06c220daa83
[INFO] running `Command { std: "docker" "start" "-a" "5f764034c7c564b9bf7970e08376b57774cfbff0f6d4050ba470b06c220daa83", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5f764034c7c564b9bf7970e08376b57774cfbff0f6d4050ba470b06c220daa83", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5f764034c7c564b9bf7970e08376b57774cfbff0f6d4050ba470b06c220daa83", kill_on_drop: false }`
[INFO] [stdout] 5f764034c7c564b9bf7970e08376b57774cfbff0f6d4050ba470b06c220daa83
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+57fe1b734d9ff1c8a92bda60b85506b9648158d3" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b5e556d74213d304524cf19784f0fe8b0f0c6fff45d069b34633e1610e7fa686
[INFO] running `Command { std: "docker" "start" "-a" "b5e556d74213d304524cf19784f0fe8b0f0c6fff45d069b34633e1610e7fa686", kill_on_drop: false }`
[INFO] [stderr]     Checking yansi v0.5.1
[INFO] [stderr]     Checking charon_ariadne v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: fields `mtop` and `rcross` are never read
[INFO] [stdout]   --> src/draw.rs:15:9
[INFO] [stdout]    |
[INFO] [stdout] 4  | pub struct Characters {
[INFO] [stdout]    |            ---------- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 15 |     pub mtop: char,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 25 |     pub rcross: char,
[INFO] [stdout]    |         ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `mtop` and `rcross` are never read
[INFO] [stdout]   --> src/draw.rs:15:9
[INFO] [stdout]    |
[INFO] [stdout] 4  | pub struct Characters {
[INFO] [stdout]    |            ---------- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 15 |     pub mtop: char,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 25 |     pub rcross: char,
[INFO] [stdout]    |         ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ariadne`
[INFO] [stdout]  --> examples/simple.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ariadne::{Label, Report, ReportKind, Source};
[INFO] [stdout]   |     ^^^^^^^ use of undeclared crate or module `ariadne`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ariadne`
[INFO] [stdout]  --> examples/stresstest.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ariadne::{Color, ColorGenerator, Config, Label, Report, ReportKind, Source};
[INFO] [stdout]   |     ^^^^^^^ use of undeclared crate or module `ariadne`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ariadne`
[INFO] [stdout]  --> examples/multiline.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ariadne::{Color, ColorGenerator, Fmt, Label, Report, ReportKind, Source};
[INFO] [stdout]   |     ^^^^^^^ use of undeclared crate or module `ariadne`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ariadne`
[INFO] [stdout]  --> examples/multifile.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ariadne::{sources, ColorGenerator, Fmt, Label, Report, ReportKind};
[INFO] [stdout]   |     ^^^^^^^ use of undeclared crate or module `ariadne`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `charon_ariadne` (example "simple") due to 2 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `charon_ariadne` (example "stresstest") due to 2 previous errors
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multifile.rs:16:67
[INFO] [stdout]    |
[INFO] [stdout] 16 |                 .with_message(format!("This is of type {}", "Nat".fg(a)))
[INFO] [stdout]    |                                                                   ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 16 |                 .with_message(format!("This is of type {}", "Nat".bg(a)))
[INFO] [stdout]    |                                                                   ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multiline.rs:17:67
[INFO] [stdout]    |
[INFO] [stdout] 17 |                 .with_message(format!("This is of type {}", "Nat".fg(a)))
[INFO] [stdout]    |                                                                   ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 17 |                 .with_message(format!("This is of type {}", "Nat".bg(a)))
[INFO] [stdout]    |                                                                   ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multifile.rs:21:67
[INFO] [stdout]    |
[INFO] [stdout] 21 |                 .with_message(format!("This is of type {}", "Str".fg(b)))
[INFO] [stdout]    |                                                                   ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 21 |                 .with_message(format!("This is of type {}", "Str".bg(b)))
[INFO] [stdout]    |                                                                   ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multiline.rs:22:67
[INFO] [stdout]    |
[INFO] [stdout] 22 |                 .with_message(format!("This is of type {}", "Str".fg(b)))
[INFO] [stdout]    |                                                                   ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 22 |                 .with_message(format!("This is of type {}", "Str".bg(b)))
[INFO] [stdout]    |                                                                   ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multiline.rs:29:29
[INFO] [stdout]    |
[INFO] [stdout] 29 |                     "match".fg(out),
[INFO] [stdout]    |                             ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 29 |                     "match".bg(out),
[INFO] [stdout]    |                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multifile.rs:28:27
[INFO] [stdout]    |
[INFO] [stdout] 28 |                     "Nat".fg(a),
[INFO] [stdout]    |                           ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 28 |                     "Nat".bg(a),
[INFO] [stdout]    |                           ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multifile.rs:29:27
[INFO] [stdout]    |
[INFO] [stdout] 29 |                     "Str".fg(b)
[INFO] [stdout]    |                           ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 29 |                     "Str".bg(b)
[INFO] [stdout]    |                           ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multiline.rs:35:76
[INFO] [stdout]    |
[INFO] [stdout] 35 |                 .with_message(format!("The {} has a problem", "definition".fg(out2),))
[INFO] [stdout]    |                                                                            ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 35 |                 .with_message(format!("The {} has a problem", "definition".bg(out2),))
[INFO] [stdout]    |                                                                            ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multifile.rs:36:83
[INFO] [stdout]    |
[INFO] [stdout] 36 |                 .with_message(format!("Original definition of {} is here", "five".fg(a)))
[INFO] [stdout]    |                                                                                   ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 36 |                 .with_message(format!("Original definition of {} is here", "five".bg(a)))
[INFO] [stdout]    |                                                                                   ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multiline.rs:40:72
[INFO] [stdout]    |
[INFO] [stdout] 40 |                 .with_message(format!("Usage of {} here", "definition".fg(out2),))
[INFO] [stdout]    |                                                                        ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 40 |                 .with_message(format!("Usage of {} here", "definition".bg(out2),))
[INFO] [stdout]    |                                                                        ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multifile.rs:41:19
[INFO] [stdout]    |
[INFO] [stdout] 41 |             "Nat".fg(a)
[INFO] [stdout]    |                   ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 41 |             "Nat".bg(a)
[INFO] [stdout]    |                   ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fg` found for reference `&'static str` in the current scope
[INFO] [stdout]   --> examples/multiline.rs:45:21
[INFO] [stdout]    |
[INFO] [stdout] 45 |             "match".fg(out)
[INFO] [stdout]    |                     ^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Fmt` which provides `fg` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 1  + use charon_ariadne::Fmt;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `bg` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 45 |             "match".bg(out)
[INFO] [stdout]    |                     ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 7 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 7 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `charon_ariadne` (example "multiline") due to 8 previous errors
[INFO] [stderr] error: could not compile `charon_ariadne` (example "multifile") due to 8 previous errors
[INFO] running `Command { std: "docker" "inspect" "b5e556d74213d304524cf19784f0fe8b0f0c6fff45d069b34633e1610e7fa686", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b5e556d74213d304524cf19784f0fe8b0f0c6fff45d069b34633e1610e7fa686", kill_on_drop: false }`
[INFO] [stdout] b5e556d74213d304524cf19784f0fe8b0f0c6fff45d069b34633e1610e7fa686
