[INFO] fetching crate formally-support 0.2.0...
[INFO] checking formally-support-0.2.0 against 52995a223f2919dd3e2e427231db90a257350ded for pr-129249-4
[INFO] extracting crate formally-support 0.2.0 into /workspace/builds/worker-5-tc2/source
[INFO] started tweaking crates.io crate formally-support 0.2.0
[INFO] finished tweaking crates.io crate formally-support 0.2.0
[INFO] tweaked toml for crates.io crate formally-support 0.2.0 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate formally-support 0.2.0 on toolchain 52995a223f2919dd3e2e427231db90a257350ded
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+52995a223f2919dd3e2e427231db90a257350ded" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate formally-support 0.2.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" "+52995a223f2919dd3e2e427231db90a257350ded" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 9dcbcf8fcdf03945b967c7357e3e5dd38e6a14c57fcbf1dff06516a57fc2c1d1
[INFO] running `Command { std: "docker" "start" "9dcbcf8fcdf03945b967c7357e3e5dd38e6a14c57fcbf1dff06516a57fc2c1d1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9dcbcf8fcdf03945b967c7357e3e5dd38e6a14c57fcbf1dff06516a57fc2c1d1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "9dcbcf8fcdf03945b967c7357e3e5dd38e6a14c57fcbf1dff06516a57fc2c1d1" "/opt/rustwide/cargo-home/bin/cargo" "+52995a223f2919dd3e2e427231db90a257350ded" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9dcbcf8fcdf03945b967c7357e3e5dd38e6a14c57fcbf1dff06516a57fc2c1d1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "9dcbcf8fcdf03945b967c7357e3e5dd38e6a14c57fcbf1dff06516a57fc2c1d1" "/opt/rustwide/cargo-home/bin/cargo" "+52995a223f2919dd3e2e427231db90a257350ded" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]     Checking smallvec v1.15.2
[INFO] [stderr]    Compiling litrs v0.2.3
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking triomphe v0.1.16
[INFO] [stderr]     Checking either v1.18.0
[INFO] [stderr]    Compiling formally-support-macros v0.2.0
[INFO] [stderr]     Checking itertools v0.15.0
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]     Checking dashmap v6.2.1
[INFO] [stderr]     Checking archery v1.2.3
[INFO] [stderr]     Checking rpds v1.2.1
[INFO] [stderr]    Compiling cps v0.2.3
[INFO] [stderr]    Compiling derive_more-impl v2.1.1
[INFO] [stderr]    Compiling perfect-derive v0.1.5
[INFO] [stderr]     Checking derive_more v2.1.1
[INFO] [stderr]     Checking formally-support v0.2.0 (/opt/rustwide/workdir)
[INFO] [stdout] error: useless conversion to the same type: `Option<location::Span>`
[INFO] [stdout]    --> src/diagnostics.rs:522:41
[INFO] [stdout]     |
[INFO] [stdout] 509 | / macro_rules! diagnose_impl {
[INFO] [stdout] 510 | |     ($ty:ident::$level:ident, $emitter:expr, $span:expr, $arg:literal) => {
[INFO] [stdout] 511 | |         $crate::diagnose_impl!(
[INFO] [stdout] 512 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($arg)
[INFO] [stdout] ...   |
[INFO] [stdout] 522 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($($args)*)
[INFO] [stdout]     | |                                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...   |
[INFO] [stdout] 538 | |     };
[INFO] [stdout] 539 | | }
[INFO] [stdout]     | |_- this error originates in the macro `$crate::diagnose_impl` which comes from the expansion of the macro `error`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/scope.rs:179:17
[INFO] [stdout]     |
[INFO] [stdout] 179 | /                 error!(
[INFO] [stdout] 180 | |                     self.name.span(),
[INFO] [stdout] 181 | |                     "ambiguous reference to symbol '{}'", self.name
[INFO] [stdout] 182 | |                 );
[INFO] [stdout]     | |_________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout]     = note: you can instead use the fully-qualified path `<Option<location::Span> as Into<Option<location::Span>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: `#[deny(self_type_conversion)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `Option<location::Span>`
[INFO] [stdout]    --> src/diagnostics.rs:512:41
[INFO] [stdout]     |
[INFO] [stdout] 509 | / macro_rules! diagnose_impl {
[INFO] [stdout] 510 | |     ($ty:ident::$level:ident, $emitter:expr, $span:expr, $arg:literal) => {
[INFO] [stdout] 511 | |         $crate::diagnose_impl!(
[INFO] [stdout] 512 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($arg)
[INFO] [stdout]     | |                                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...   |
[INFO] [stdout] 538 | |     };
[INFO] [stdout] 539 | | }
[INFO] [stdout]     | |_- this error originates in the macro `$crate::diagnose_impl` which comes from the expansion of the macro `note`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/scope.rs:183:17
[INFO] [stdout]     |
[INFO] [stdout] 183 |                   note!(t1.span(), "matching symbol declared here");
[INFO] [stdout]     |                   ------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout]     = note: you can instead use the fully-qualified path `<Option<location::Span> as Into<Option<location::Span>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `Option<location::Span>`
[INFO] [stdout]    --> src/diagnostics.rs:512:41
[INFO] [stdout]     |
[INFO] [stdout] 509 | / macro_rules! diagnose_impl {
[INFO] [stdout] 510 | |     ($ty:ident::$level:ident, $emitter:expr, $span:expr, $arg:literal) => {
[INFO] [stdout] 511 | |         $crate::diagnose_impl!(
[INFO] [stdout] 512 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($arg)
[INFO] [stdout]     | |                                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...   |
[INFO] [stdout] 538 | |     };
[INFO] [stdout] 539 | | }
[INFO] [stdout]     | |_- this error originates in the macro `$crate::diagnose_impl` which comes from the expansion of the macro `note`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/scope.rs:184:17
[INFO] [stdout]     |
[INFO] [stdout] 184 |                   note!(t2.span(), "matching symbol declared here");
[INFO] [stdout]     |                   ------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout]     = note: you can instead use the fully-qualified path `<Option<location::Span> as Into<Option<location::Span>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `Option<location::Span>`
[INFO] [stdout]    --> src/diagnostics.rs:512:41
[INFO] [stdout]     |
[INFO] [stdout] 509 | / macro_rules! diagnose_impl {
[INFO] [stdout] 510 | |     ($ty:ident::$level:ident, $emitter:expr, $span:expr, $arg:literal) => {
[INFO] [stdout] 511 | |         $crate::diagnose_impl!(
[INFO] [stdout] 512 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($arg)
[INFO] [stdout]     | |                                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...   |
[INFO] [stdout] 538 | |     };
[INFO] [stdout] 539 | | }
[INFO] [stdout]     | |_- this error originates in the macro `$crate::diagnose_impl` which comes from the expansion of the macro `note`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/scope.rs:186:21
[INFO] [stdout]     |
[INFO] [stdout] 186 |                       note!(t.span(), "matching symbol declared here");
[INFO] [stdout]     |                       ------------------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout]     = note: you can instead use the fully-qualified path `<Option<location::Span> as Into<Option<location::Span>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `Option<location::Span>`
[INFO] [stdout]    --> src/diagnostics.rs:522:41
[INFO] [stdout]     |
[INFO] [stdout] 509 | / macro_rules! diagnose_impl {
[INFO] [stdout] 510 | |     ($ty:ident::$level:ident, $emitter:expr, $span:expr, $arg:literal) => {
[INFO] [stdout] 511 | |         $crate::diagnose_impl!(
[INFO] [stdout] 512 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($arg)
[INFO] [stdout] ...   |
[INFO] [stdout] 522 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($($args)*)
[INFO] [stdout]     | |                                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...   |
[INFO] [stdout] 538 | |     };
[INFO] [stdout] 539 | | }
[INFO] [stdout]     | |_- this error originates in the macro `$crate::diagnose_impl` which comes from the expansion of the macro `error`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/scope.rs:194:25
[INFO] [stdout]     |
[INFO] [stdout] 194 |                           error!(self.name.span(), "no matching symbol '{}'", self.name);
[INFO] [stdout]     |                           -------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout]     = note: you can instead use the fully-qualified path `<Option<location::Span> as Into<Option<location::Span>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `Option<location::Span>`
[INFO] [stdout]    --> src/diagnostics.rs:512:41
[INFO] [stdout]     |
[INFO] [stdout] 509 | / macro_rules! diagnose_impl {
[INFO] [stdout] 510 | |     ($ty:ident::$level:ident, $emitter:expr, $span:expr, $arg:literal) => {
[INFO] [stdout] 511 | |         $crate::diagnose_impl!(
[INFO] [stdout] 512 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($arg)
[INFO] [stdout]     | |                                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...   |
[INFO] [stdout] 538 | |     };
[INFO] [stdout] 539 | | }
[INFO] [stdout]     | |_- this error originates in the macro `$crate::diagnose_impl` which comes from the expansion of the macro `note`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/scope.rs:198:33
[INFO] [stdout]     |
[INFO] [stdout] 198 |   ...                   note!(element.span(), "non-matching symbol declared here");
[INFO] [stdout]     |                         ---------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout]     = note: you can instead use the fully-qualified path `<Option<location::Span> as Into<Option<location::Span>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `Option<location::Span>`
[INFO] [stdout]    --> src/diagnostics.rs:522:41
[INFO] [stdout]     |
[INFO] [stdout] 509 | / macro_rules! diagnose_impl {
[INFO] [stdout] 510 | |     ($ty:ident::$level:ident, $emitter:expr, $span:expr, $arg:literal) => {
[INFO] [stdout] 511 | |         $crate::diagnose_impl!(
[INFO] [stdout] 512 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($arg)
[INFO] [stdout] ...   |
[INFO] [stdout] 522 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($($args)*)
[INFO] [stdout]     | |                                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...   |
[INFO] [stdout] 538 | |     };
[INFO] [stdout] 539 | | }
[INFO] [stdout]     | |_- this error originates in the macro `$crate::diagnose_impl` which comes from the expansion of the macro `error`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/scope.rs:204:25
[INFO] [stdout]     |
[INFO] [stdout] 204 | /                         error!(
[INFO] [stdout] 205 | |                             self.name.span(),
[INFO] [stdout] 206 | |                             "undefined reference to symbol '{}'", self.name
[INFO] [stdout] 207 | |                         );
[INFO] [stdout]     | |_________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout]     = note: you can instead use the fully-qualified path `<Option<location::Span> as Into<Option<location::Span>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `formally-support` (lib test) due to 7 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: useless conversion to the same type: `Option<location::Span>`
[INFO] [stdout]    --> src/diagnostics.rs:522:41
[INFO] [stdout]     |
[INFO] [stdout] 509 | / macro_rules! diagnose_impl {
[INFO] [stdout] 510 | |     ($ty:ident::$level:ident, $emitter:expr, $span:expr, $arg:literal) => {
[INFO] [stdout] 511 | |         $crate::diagnose_impl!(
[INFO] [stdout] 512 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($arg)
[INFO] [stdout] ...   |
[INFO] [stdout] 522 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($($args)*)
[INFO] [stdout]     | |                                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...   |
[INFO] [stdout] 538 | |     };
[INFO] [stdout] 539 | | }
[INFO] [stdout]     | |_- this error originates in the macro `$crate::diagnose_impl` which comes from the expansion of the macro `error`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/scope.rs:179:17
[INFO] [stdout]     |
[INFO] [stdout] 179 | /                 error!(
[INFO] [stdout] 180 | |                     self.name.span(),
[INFO] [stdout] 181 | |                     "ambiguous reference to symbol '{}'", self.name
[INFO] [stdout] 182 | |                 );
[INFO] [stdout]     | |_________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout]     = note: you can instead use the fully-qualified path `<Option<location::Span> as Into<Option<location::Span>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: `#[deny(self_type_conversion)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `Option<location::Span>`
[INFO] [stdout]    --> src/diagnostics.rs:512:41
[INFO] [stdout]     |
[INFO] [stdout] 509 | / macro_rules! diagnose_impl {
[INFO] [stdout] 510 | |     ($ty:ident::$level:ident, $emitter:expr, $span:expr, $arg:literal) => {
[INFO] [stdout] 511 | |         $crate::diagnose_impl!(
[INFO] [stdout] 512 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($arg)
[INFO] [stdout]     | |                                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...   |
[INFO] [stdout] 538 | |     };
[INFO] [stdout] 539 | | }
[INFO] [stdout]     | |_- this error originates in the macro `$crate::diagnose_impl` which comes from the expansion of the macro `note`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/scope.rs:183:17
[INFO] [stdout]     |
[INFO] [stdout] 183 |                   note!(t1.span(), "matching symbol declared here");
[INFO] [stdout]     |                   ------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout]     = note: you can instead use the fully-qualified path `<Option<location::Span> as Into<Option<location::Span>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `Option<location::Span>`
[INFO] [stdout]    --> src/diagnostics.rs:512:41
[INFO] [stdout]     |
[INFO] [stdout] 509 | / macro_rules! diagnose_impl {
[INFO] [stdout] 510 | |     ($ty:ident::$level:ident, $emitter:expr, $span:expr, $arg:literal) => {
[INFO] [stdout] 511 | |         $crate::diagnose_impl!(
[INFO] [stdout] 512 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($arg)
[INFO] [stdout]     | |                                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...   |
[INFO] [stdout] 538 | |     };
[INFO] [stdout] 539 | | }
[INFO] [stdout]     | |_- this error originates in the macro `$crate::diagnose_impl` which comes from the expansion of the macro `note`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/scope.rs:184:17
[INFO] [stdout]     |
[INFO] [stdout] 184 |                   note!(t2.span(), "matching symbol declared here");
[INFO] [stdout]     |                   ------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout]     = note: you can instead use the fully-qualified path `<Option<location::Span> as Into<Option<location::Span>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `Option<location::Span>`
[INFO] [stdout]    --> src/diagnostics.rs:512:41
[INFO] [stdout]     |
[INFO] [stdout] 509 | / macro_rules! diagnose_impl {
[INFO] [stdout] 510 | |     ($ty:ident::$level:ident, $emitter:expr, $span:expr, $arg:literal) => {
[INFO] [stdout] 511 | |         $crate::diagnose_impl!(
[INFO] [stdout] 512 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($arg)
[INFO] [stdout]     | |                                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...   |
[INFO] [stdout] 538 | |     };
[INFO] [stdout] 539 | | }
[INFO] [stdout]     | |_- this error originates in the macro `$crate::diagnose_impl` which comes from the expansion of the macro `note`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/scope.rs:186:21
[INFO] [stdout]     |
[INFO] [stdout] 186 |                       note!(t.span(), "matching symbol declared here");
[INFO] [stdout]     |                       ------------------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout]     = note: you can instead use the fully-qualified path `<Option<location::Span> as Into<Option<location::Span>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `Option<location::Span>`
[INFO] [stdout]    --> src/diagnostics.rs:522:41
[INFO] [stdout]     |
[INFO] [stdout] 509 | / macro_rules! diagnose_impl {
[INFO] [stdout] 510 | |     ($ty:ident::$level:ident, $emitter:expr, $span:expr, $arg:literal) => {
[INFO] [stdout] 511 | |         $crate::diagnose_impl!(
[INFO] [stdout] 512 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($arg)
[INFO] [stdout] ...   |
[INFO] [stdout] 522 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($($args)*)
[INFO] [stdout]     | |                                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...   |
[INFO] [stdout] 538 | |     };
[INFO] [stdout] 539 | | }
[INFO] [stdout]     | |_- this error originates in the macro `$crate::diagnose_impl` which comes from the expansion of the macro `error`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/scope.rs:194:25
[INFO] [stdout]     |
[INFO] [stdout] 194 |                           error!(self.name.span(), "no matching symbol '{}'", self.name);
[INFO] [stdout]     |                           -------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout]     = note: you can instead use the fully-qualified path `<Option<location::Span> as Into<Option<location::Span>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `Option<location::Span>`
[INFO] [stdout]    --> src/diagnostics.rs:512:41
[INFO] [stdout]     |
[INFO] [stdout] 509 | / macro_rules! diagnose_impl {
[INFO] [stdout] 510 | |     ($ty:ident::$level:ident, $emitter:expr, $span:expr, $arg:literal) => {
[INFO] [stdout] 511 | |         $crate::diagnose_impl!(
[INFO] [stdout] 512 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($arg)
[INFO] [stdout]     | |                                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...   |
[INFO] [stdout] 538 | |     };
[INFO] [stdout] 539 | | }
[INFO] [stdout]     | |_- this error originates in the macro `$crate::diagnose_impl` which comes from the expansion of the macro `note`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/scope.rs:198:33
[INFO] [stdout]     |
[INFO] [stdout] 198 |   ...                   note!(element.span(), "non-matching symbol declared here");
[INFO] [stdout]     |                         ---------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout]     = note: you can instead use the fully-qualified path `<Option<location::Span> as Into<Option<location::Span>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `Option<location::Span>`
[INFO] [stdout]    --> src/diagnostics.rs:522:41
[INFO] [stdout]     |
[INFO] [stdout] 509 | / macro_rules! diagnose_impl {
[INFO] [stdout] 510 | |     ($ty:ident::$level:ident, $emitter:expr, $span:expr, $arg:literal) => {
[INFO] [stdout] 511 | |         $crate::diagnose_impl!(
[INFO] [stdout] 512 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($arg)
[INFO] [stdout] ...   |
[INFO] [stdout] 522 | |             impl $ty, $level, $emitter, $span.clone().into(), format!($($args)*)
[INFO] [stdout]     | |                                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...   |
[INFO] [stdout] 538 | |     };
[INFO] [stdout] 539 | | }
[INFO] [stdout]     | |_- this error originates in the macro `$crate::diagnose_impl` which comes from the expansion of the macro `error`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/scope.rs:204:25
[INFO] [stdout]     |
[INFO] [stdout] 204 | /                         error!(
[INFO] [stdout] 205 | |                             self.name.span(),
[INFO] [stdout] 206 | |                             "undefined reference to symbol '{}'", self.name
[INFO] [stdout] 207 | |                         );
[INFO] [stdout]     | |_________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout]     = note: you can instead use the fully-qualified path `<Option<location::Span> as Into<Option<location::Span>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `formally-support` (lib) due to 7 previous errors
[INFO] [stderr] warning: unused dependency `dashmap`
[INFO] [stderr]  --> Cargo.toml:1:15
[INFO] [stderr]   |
[INFO] [stderr] 1 | [dependencies.dashmap]
[INFO] [stderr]   |               ^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `dashmap`
[INFO] [stderr] warning: `formally-support` (manifest) generated 1 warning
[INFO] running `Command { std: "docker" "inspect" "9dcbcf8fcdf03945b967c7357e3e5dd38e6a14c57fcbf1dff06516a57fc2c1d1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9dcbcf8fcdf03945b967c7357e3e5dd38e6a14c57fcbf1dff06516a57fc2c1d1", kill_on_drop: false }`
[INFO] [stdout] 9dcbcf8fcdf03945b967c7357e3e5dd38e6a14c57fcbf1dff06516a57fc2c1d1
