[INFO] fetching crate mck 0.7.1...
[INFO] checking mck-0.7.1 against 52995a223f2919dd3e2e427231db90a257350ded for pr-129249-4
[INFO] extracting crate mck 0.7.1 into /workspace/builds/worker-3-tc2/source
[INFO] started tweaking crates.io crate mck 0.7.1
[INFO] finished tweaking crates.io crate mck 0.7.1
[INFO] tweaked toml for crates.io crate mck 0.7.1 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate mck 0.7.1 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 mck 0.7.1 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-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:c0af3998e971868164375a7dfb646c9933ddd1a3bdb00fa2041266763dc1eeab" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 8a7545e11ec1a2a8f1cff7e603556c927a434efb9bf7b3dc8ae1f1fcf1414565
[INFO] running `Command { std: "docker" "start" "8a7545e11ec1a2a8f1cff7e603556c927a434efb9bf7b3dc8ae1f1fcf1414565", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8a7545e11ec1a2a8f1cff7e603556c927a434efb9bf7b3dc8ae1f1fcf1414565", 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" "8a7545e11ec1a2a8f1cff7e603556c927a434efb9bf7b3dc8ae1f1fcf1414565" "/opt/rustwide/cargo-home/bin/cargo" "+52995a223f2919dd3e2e427231db90a257350ded" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8a7545e11ec1a2a8f1cff7e603556c927a434efb9bf7b3dc8ae1f1fcf1414565", 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" "8a7545e11ec1a2a8f1cff7e603556c927a434efb9bf7b3dc8ae1f1fcf1414565" "/opt/rustwide/cargo-home/bin/cargo" "+52995a223f2919dd3e2e427231db90a257350ded" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling proc-macro2 v1.0.103
[INFO] [stderr]    Compiling quote v1.0.41
[INFO] [stderr]    Compiling unicode-ident v1.0.20
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling syn v2.0.108
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking num-complex v0.4.6
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking num-iter v0.1.45
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking num v0.4.3
[INFO] [stderr]     Checking serde_json v1.0.145
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]     Checking mck v0.7.1 (/opt/rustwide/workdir)
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<0>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | divrem_op_test!(udiv, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<0>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<0>>>>::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: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | divrem_op_test!(udiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<1>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | divrem_op_test!(udiv, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<1>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<1>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | divrem_op_test!(udiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<2>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | divrem_op_test!(udiv, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<2>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<2>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | divrem_op_test!(udiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<3>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | divrem_op_test!(udiv, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<3>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<3>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | divrem_op_test!(udiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<4>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | divrem_op_test!(udiv, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<4>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<4>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | divrem_op_test!(udiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<0>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | divrem_op_test!(sdiv, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<0>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<0>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | divrem_op_test!(sdiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<1>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | divrem_op_test!(sdiv, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<1>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<1>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | divrem_op_test!(sdiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<2>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | divrem_op_test!(sdiv, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<2>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<2>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | divrem_op_test!(sdiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<3>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | divrem_op_test!(sdiv, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<3>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<3>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | divrem_op_test!(sdiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<4>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | divrem_op_test!(sdiv, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<4>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<4>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | divrem_op_test!(sdiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<0>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:24:1
[INFO] [stdout]    |
[INFO] [stdout] 24 | divrem_op_test!(urem, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<0>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<0>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:24:1
[INFO] [stdout]    |
[INFO] [stdout] 24 | divrem_op_test!(urem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<1>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:24:1
[INFO] [stdout]    |
[INFO] [stdout] 24 | divrem_op_test!(urem, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<1>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<1>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:24:1
[INFO] [stdout]    |
[INFO] [stdout] 24 | divrem_op_test!(urem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<2>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:24:1
[INFO] [stdout]    |
[INFO] [stdout] 24 | divrem_op_test!(urem, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<2>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<2>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:24:1
[INFO] [stdout]    |
[INFO] [stdout] 24 | divrem_op_test!(urem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<3>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:24:1
[INFO] [stdout]    |
[INFO] [stdout] 24 | divrem_op_test!(urem, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<3>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<3>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:24:1
[INFO] [stdout]    |
[INFO] [stdout] 24 | divrem_op_test!(urem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<4>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:24:1
[INFO] [stdout]    |
[INFO] [stdout] 24 | divrem_op_test!(urem, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<4>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<4>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:24:1
[INFO] [stdout]    |
[INFO] [stdout] 24 | divrem_op_test!(urem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<0>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:25:1
[INFO] [stdout]    |
[INFO] [stdout] 25 | divrem_op_test!(srem, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<0>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<0>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:25:1
[INFO] [stdout]    |
[INFO] [stdout] 25 | divrem_op_test!(srem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<1>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:25:1
[INFO] [stdout]    |
[INFO] [stdout] 25 | divrem_op_test!(srem, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<1>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<1>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:25:1
[INFO] [stdout]    |
[INFO] [stdout] 25 | divrem_op_test!(srem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<2>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:25:1
[INFO] [stdout]    |
[INFO] [stdout] 25 | divrem_op_test!(srem, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<2>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<2>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:25:1
[INFO] [stdout]    |
[INFO] [stdout] 25 | divrem_op_test!(srem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<3>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:25:1
[INFO] [stdout]    |
[INFO] [stdout] 25 | divrem_op_test!(srem, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<3>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<3>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:25:1
[INFO] [stdout]    |
[INFO] [stdout] 25 | divrem_op_test!(srem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::abstr::PanicResult<DualInterval<bound::CBound<4>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:77:73
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 77 |             let abstr_func = |a: CDualInterval<L>, b: CDualInterval<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:25:1
[INFO] [stdout]    |
[INFO] [stdout] 25 | divrem_op_test!(srem, false);
[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 `<panic::abstr::PanicResult<DualInterval<bound::CBound<4>>> as Into<panic::abstr::PanicResult<DualInterval<bound::CBound<4>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>>`
[INFO] [stdout]   --> src/bitvector/abstr/dual_interval/tests/op.rs:78:83
[INFO] [stdout]    |
[INFO] [stdout] 70 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout] 78 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]    |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/abstr/dual_interval/tests.rs:25:1
[INFO] [stdout]    |
[INFO] [stdout] 25 | divrem_op_test!(srem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<0>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:135:1
[INFO] [stdout]     |
[INFO] [stdout] 135 | divrem_op_test!(udiv, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<0>>> as Into<PanicResult<ThreeValuedBitvector<CBound<0>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-18291939509523015755.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:135:1
[INFO] [stdout]     |
[INFO] [stdout] 135 | divrem_op_test!(udiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<1>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:135:1
[INFO] [stdout]     |
[INFO] [stdout] 135 | divrem_op_test!(udiv, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<1>>> as Into<PanicResult<ThreeValuedBitvector<CBound<1>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-9223217744733649886.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:135:1
[INFO] [stdout]     |
[INFO] [stdout] 135 | divrem_op_test!(udiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<2>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:135:1
[INFO] [stdout]     |
[INFO] [stdout] 135 | divrem_op_test!(udiv, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<2>>> as Into<PanicResult<ThreeValuedBitvector<CBound<2>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-5144811824661759071.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:135:1
[INFO] [stdout]     |
[INFO] [stdout] 135 | divrem_op_test!(udiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<3>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:135:1
[INFO] [stdout]     |
[INFO] [stdout] 135 | divrem_op_test!(udiv, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<3>>> as Into<PanicResult<ThreeValuedBitvector<CBound<3>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-7574881242861599085.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:135:1
[INFO] [stdout]     |
[INFO] [stdout] 135 | divrem_op_test!(udiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<4>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:135:1
[INFO] [stdout]     |
[INFO] [stdout] 135 | divrem_op_test!(udiv, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<4>>> as Into<PanicResult<ThreeValuedBitvector<CBound<4>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-7386634755046874159.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:135:1
[INFO] [stdout]     |
[INFO] [stdout] 135 | divrem_op_test!(udiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<5>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:135:1
[INFO] [stdout]     |
[INFO] [stdout] 135 | divrem_op_test!(udiv, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<5>>> as Into<PanicResult<ThreeValuedBitvector<CBound<5>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-960653186618107751.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<5>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:135:1
[INFO] [stdout]     |
[INFO] [stdout] 135 | divrem_op_test!(udiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<5>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<5>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<6>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:135:1
[INFO] [stdout]     |
[INFO] [stdout] 135 | divrem_op_test!(udiv, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<6>>> as Into<PanicResult<ThreeValuedBitvector<CBound<6>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-7455119054900890760.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<6>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:135:1
[INFO] [stdout]     |
[INFO] [stdout] 135 | divrem_op_test!(udiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<6>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<6>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<0>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:136:1
[INFO] [stdout]     |
[INFO] [stdout] 136 | divrem_op_test!(sdiv, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<0>>> as Into<PanicResult<ThreeValuedBitvector<CBound<0>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-18291939509523015755.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:136:1
[INFO] [stdout]     |
[INFO] [stdout] 136 | divrem_op_test!(sdiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<1>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:136:1
[INFO] [stdout]     |
[INFO] [stdout] 136 | divrem_op_test!(sdiv, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<1>>> as Into<PanicResult<ThreeValuedBitvector<CBound<1>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-9223217744733649886.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:136:1
[INFO] [stdout]     |
[INFO] [stdout] 136 | divrem_op_test!(sdiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<2>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:136:1
[INFO] [stdout]     |
[INFO] [stdout] 136 | divrem_op_test!(sdiv, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<2>>> as Into<PanicResult<ThreeValuedBitvector<CBound<2>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-5144811824661759071.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:136:1
[INFO] [stdout]     |
[INFO] [stdout] 136 | divrem_op_test!(sdiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<3>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:136:1
[INFO] [stdout]     |
[INFO] [stdout] 136 | divrem_op_test!(sdiv, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<3>>> as Into<PanicResult<ThreeValuedBitvector<CBound<3>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-7574881242861599085.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:136:1
[INFO] [stdout]     |
[INFO] [stdout] 136 | divrem_op_test!(sdiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<4>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:136:1
[INFO] [stdout]     |
[INFO] [stdout] 136 | divrem_op_test!(sdiv, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<4>>> as Into<PanicResult<ThreeValuedBitvector<CBound<4>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-7386634755046874159.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:136:1
[INFO] [stdout]     |
[INFO] [stdout] 136 | divrem_op_test!(sdiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<5>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:136:1
[INFO] [stdout]     |
[INFO] [stdout] 136 | divrem_op_test!(sdiv, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<5>>> as Into<PanicResult<ThreeValuedBitvector<CBound<5>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-960653186618107751.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<5>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:136:1
[INFO] [stdout]     |
[INFO] [stdout] 136 | divrem_op_test!(sdiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<5>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<5>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<6>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:136:1
[INFO] [stdout]     |
[INFO] [stdout] 136 | divrem_op_test!(sdiv, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<6>>> as Into<PanicResult<ThreeValuedBitvector<CBound<6>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-7455119054900890760.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<6>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:136:1
[INFO] [stdout]     |
[INFO] [stdout] 136 | divrem_op_test!(sdiv, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<6>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<6>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<0>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:137:1
[INFO] [stdout]     |
[INFO] [stdout] 137 | divrem_op_test!(urem, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<0>>> as Into<PanicResult<ThreeValuedBitvector<CBound<0>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-18291939509523015755.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:137:1
[INFO] [stdout]     |
[INFO] [stdout] 137 | divrem_op_test!(urem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<1>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:137:1
[INFO] [stdout]     |
[INFO] [stdout] 137 | divrem_op_test!(urem, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<1>>> as Into<PanicResult<ThreeValuedBitvector<CBound<1>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-9223217744733649886.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:137:1
[INFO] [stdout]     |
[INFO] [stdout] 137 | divrem_op_test!(urem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<2>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:137:1
[INFO] [stdout]     |
[INFO] [stdout] 137 | divrem_op_test!(urem, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<2>>> as Into<PanicResult<ThreeValuedBitvector<CBound<2>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-5144811824661759071.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:137:1
[INFO] [stdout]     |
[INFO] [stdout] 137 | divrem_op_test!(urem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<3>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:137:1
[INFO] [stdout]     |
[INFO] [stdout] 137 | divrem_op_test!(urem, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<3>>> as Into<PanicResult<ThreeValuedBitvector<CBound<3>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-7574881242861599085.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:137:1
[INFO] [stdout]     |
[INFO] [stdout] 137 | divrem_op_test!(urem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<4>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:137:1
[INFO] [stdout]     |
[INFO] [stdout] 137 | divrem_op_test!(urem, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<4>>> as Into<PanicResult<ThreeValuedBitvector<CBound<4>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-7386634755046874159.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:137:1
[INFO] [stdout]     |
[INFO] [stdout] 137 | divrem_op_test!(urem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<5>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:137:1
[INFO] [stdout]     |
[INFO] [stdout] 137 | divrem_op_test!(urem, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<5>>> as Into<PanicResult<ThreeValuedBitvector<CBound<5>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-960653186618107751.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<5>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:137:1
[INFO] [stdout]     |
[INFO] [stdout] 137 | divrem_op_test!(urem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<5>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<5>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<6>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:137:1
[INFO] [stdout]     |
[INFO] [stdout] 137 | divrem_op_test!(urem, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<6>>> as Into<PanicResult<ThreeValuedBitvector<CBound<6>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-7455119054900890760.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<6>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:137:1
[INFO] [stdout]     |
[INFO] [stdout] 137 | divrem_op_test!(urem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<6>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<6>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<0>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 | divrem_op_test!(srem, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<0>>> as Into<PanicResult<ThreeValuedBitvector<CBound<0>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-18291939509523015755.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 | divrem_op_test!(srem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<0>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<1>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 | divrem_op_test!(srem, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<1>>> as Into<PanicResult<ThreeValuedBitvector<CBound<1>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-9223217744733649886.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 | divrem_op_test!(srem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<1>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<2>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 | divrem_op_test!(srem, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<2>>> as Into<PanicResult<ThreeValuedBitvector<CBound<2>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-5144811824661759071.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 | divrem_op_test!(srem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<2>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<3>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 | divrem_op_test!(srem, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<3>>> as Into<PanicResult<ThreeValuedBitvector<CBound<3>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-7574881242861599085.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 | divrem_op_test!(srem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<3>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<4>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 | divrem_op_test!(srem, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<4>>> as Into<PanicResult<ThreeValuedBitvector<CBound<4>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-7386634755046874159.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 | divrem_op_test!(srem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<4>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<5>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 | divrem_op_test!(srem, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<5>>> as Into<PanicResult<ThreeValuedBitvector<CBound<5>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-960653186618107751.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<5>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 | divrem_op_test!(srem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<5>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<5>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PanicResult<ThreeValuedBitvector<CBound<6>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:86:89
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  86 |             let abstr_func = |a: CThreeValuedBitvector<L>, b: CThreeValuedBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 | divrem_op_test!(srem, false);
[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 `<PanicResult<ThreeValuedBitvector<CBound<6>>> as Into<PanicResult<ThreeValuedBitvector<CBound<6>>>>::into(val) to avoid triggering this lint
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/build/mck/4371fb74c6ecc6ed/out/mck-4371fb74c6ecc6ed.long-type-7455119054900890760.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<6>>>`
[INFO] [stdout]    --> src/bitvector/abstr/three_valued/tests/op.rs:87:83
[INFO] [stdout]     |
[INFO] [stdout]  77 | macro_rules! divrem_op_test {
[INFO] [stdout] ...
[INFO] [stdout]  87 |             let concr_func = |a: CConcreteBitvector<L>, b: CConcreteBitvector<L>| a.$op(b).into();
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/bitvector/abstr/three_valued/tests.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 | divrem_op_test!(srem, false);
[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 `<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<6>>> as Into<panic::concr::PanicResult<bitvector::concr::ConcreteBitvector<bound::CBound<6>>>>::into(val) to avoid triggering this lint
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `mck` (lib test) due to 96 previous errors
[INFO] [stderr] warning: unused dependency `num`
[INFO] [stderr]  --> Cargo.toml:1:15
[INFO] [stderr]   |
[INFO] [stderr] 1 | [dependencies.num]
[INFO] [stderr]   |               ^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `num`
[INFO] [stderr] warning: unused dependency `serde_json`
[INFO] [stderr]   --> Cargo.toml:11:15
[INFO] [stderr]    |
[INFO] [stderr] 11 | [dependencies.serde_json]
[INFO] [stderr]    |               ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `serde_json`
[INFO] [stderr] warning: `mck` (manifest) generated 2 warnings
[INFO] running `Command { std: "docker" "inspect" "8a7545e11ec1a2a8f1cff7e603556c927a434efb9bf7b3dc8ae1f1fcf1414565", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8a7545e11ec1a2a8f1cff7e603556c927a434efb9bf7b3dc8ae1f1fcf1414565", kill_on_drop: false }`
[INFO] [stdout] 8a7545e11ec1a2a8f1cff7e603556c927a434efb9bf7b3dc8ae1f1fcf1414565
