[INFO] cloning repository https://github.com/cucapra/rewrite-dsl
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/cucapra/rewrite-dsl" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcucapra%2Frewrite-dsl", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcucapra%2Frewrite-dsl'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] d8b8d56a17c6ba39669cab2d6dc74b18274e290e
[INFO] checking cucapra/rewrite-dsl against 3154cc1a3e6424e44f438a95007d043ed5ceaaf6 for pr-133502-30
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcucapra%2Frewrite-dsl" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/cucapra/rewrite-dsl
[INFO] finished tweaking git repo https://github.com/cucapra/rewrite-dsl
[INFO] tweaked toml for git repo https://github.com/cucapra/rewrite-dsl written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/cucapra/rewrite-dsl on toolchain 3154cc1a3e6424e44f438a95007d043ed5ceaaf6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/cucapra/rewrite-dsl 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" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "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:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 298efc3fe78eb5be5b73f23307ff718913d3ddc3a3d1fad02613ff795d72ae83
[INFO] running `Command { std: "docker" "start" "298efc3fe78eb5be5b73f23307ff718913d3ddc3a3d1fad02613ff795d72ae83", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "298efc3fe78eb5be5b73f23307ff718913d3ddc3a3d1fad02613ff795d72ae83", 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" "298efc3fe78eb5be5b73f23307ff718913d3ddc3a3d1fad02613ff795d72ae83" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "298efc3fe78eb5be5b73f23307ff718913d3ddc3a3d1fad02613ff795d72ae83", 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" "298efc3fe78eb5be5b73f23307ff718913d3ddc3a3d1fad02613ff795d72ae83" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling wasmtime-internal-core v48.0.1
[INFO] [stderr]     Checking hashbrown v0.17.1
[INFO] [stderr]    Compiling pest v2.9.1
[INFO] [stderr]     Checking easy-smt v0.3.2
[INFO] [stderr]     Checking cranelift-bitset v0.135.1
[INFO] [stderr]     Checking cranelift-entity v0.135.1
[INFO] [stderr]    Compiling pest_meta v2.9.1
[INFO] [stderr]    Compiling pest_generator v2.9.1
[INFO] [stderr]    Compiling pest_derive v2.9.1
[INFO] [stderr]     Checking rewrite-dsl v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | entity_impl!(WidthExprId, "WidthExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | entity_impl!(WidthExprId, "WidthExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | entity_impl!(WidthExprId, "WidthExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | entity_impl!(WidthExprId, "WidthExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:15:1
[INFO] [stdout]    |
[INFO] [stdout] 15 | entity_impl!(BoolExprId, "BoolExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:15:1
[INFO] [stdout]    |
[INFO] [stdout] 15 | entity_impl!(BoolExprId, "BoolExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:15:1
[INFO] [stdout]    |
[INFO] [stdout] 15 | entity_impl!(BoolExprId, "BoolExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:15:1
[INFO] [stdout]    |
[INFO] [stdout] 15 | entity_impl!(BoolExprId, "BoolExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | entity_impl!(BitVecExprId, "BitVecExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | entity_impl!(BitVecExprId, "BitVecExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | entity_impl!(BitVecExprId, "BitVecExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | entity_impl!(BitVecExprId, "BitVecExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | entity_impl!(WidthExprId, "WidthExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | entity_impl!(WidthExprId, "WidthExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | entity_impl!(WidthExprId, "WidthExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | entity_impl!(WidthExprId, "WidthExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:15:1
[INFO] [stdout]    |
[INFO] [stdout] 15 | entity_impl!(BoolExprId, "BoolExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:15:1
[INFO] [stdout]    |
[INFO] [stdout] 15 | entity_impl!(BoolExprId, "BoolExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:15:1
[INFO] [stdout]    |
[INFO] [stdout] 15 | entity_impl!(BoolExprId, "BoolExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:15:1
[INFO] [stdout]    |
[INFO] [stdout] 15 | entity_impl!(BoolExprId, "BoolExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | entity_impl!(BitVecExprId, "BitVecExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | entity_impl!(BitVecExprId, "BitVecExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | entity_impl!(BitVecExprId, "BitVecExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/ir.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | entity_impl!(BitVecExprId, "BitVecExpr");
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `$crate::entity_impl` which comes from the expansion of the macro `entity_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]   --> src/parser.rs:63:41
[INFO] [stdout]    |
[INFO] [stdout] 63 | fn emit_params(rparams: Pair<'_, Rule>, ctx: &mut Ctx) -> Vec<String> {
[INFO] [stdout]    |                                         ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rwexpr`
[INFO] [stdout]   --> src/parser.rs:87:15
[INFO] [stdout]    |
[INFO] [stdout] 87 | fn emit_wexpr(rwexpr: Pair<'_, Rule>, ctx: &mut Ctx) -> WidthExprId {
[INFO] [stdout]    |               ^^^^^^ help: if this is intentional, prefix it with an underscore: `_rwexpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]   --> src/parser.rs:87:39
[INFO] [stdout]    |
[INFO] [stdout] 87 | fn emit_wexpr(rwexpr: Pair<'_, Rule>, ctx: &mut Ctx) -> WidthExprId {
[INFO] [stdout]    |                                       ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rbvcall`
[INFO] [stdout]    --> src/parser.rs:108:16
[INFO] [stdout]     |
[INFO] [stdout] 108 | fn emit_bvcall(rbvcall: Pair<'_, Rule>, ctx: &mut Ctx, w: WidthExprId) -> BitVecExprId {
[INFO] [stdout]     |                ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_rbvcall`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/parser.rs:108:41
[INFO] [stdout]     |
[INFO] [stdout] 108 | fn emit_bvcall(rbvcall: Pair<'_, Rule>, ctx: &mut Ctx, w: WidthExprId) -> BitVecExprId {
[INFO] [stdout]     |                                         ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `w`
[INFO] [stdout]    --> src/parser.rs:108:56
[INFO] [stdout]     |
[INFO] [stdout] 108 | fn emit_bvcall(rbvcall: Pair<'_, Rule>, ctx: &mut Ctx, w: WidthExprId) -> BitVecExprId {
[INFO] [stdout]     |                                                        ^ help: if this is intentional, prefix it with an underscore: `_w`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rbvary`
[INFO] [stdout]    --> src/parser.rs:139:15
[INFO] [stdout]     |
[INFO] [stdout] 139 | fn emit_bvary(rbvary: Pair<'_, Rule>, ctx: &mut Ctx, w: WidthExprId) -> BitVecExprId {
[INFO] [stdout]     |               ^^^^^^ help: if this is intentional, prefix it with an underscore: `_rbvary`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/parser.rs:139:39
[INFO] [stdout]     |
[INFO] [stdout] 139 | fn emit_bvary(rbvary: Pair<'_, Rule>, ctx: &mut Ctx, w: WidthExprId) -> BitVecExprId {
[INFO] [stdout]     |                                       ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `w`
[INFO] [stdout]    --> src/parser.rs:139:54
[INFO] [stdout]     |
[INFO] [stdout] 139 | fn emit_bvary(rbvary: Pair<'_, Rule>, ctx: &mut Ctx, w: WidthExprId) -> BitVecExprId {
[INFO] [stdout]     |                                                      ^ help: if this is intentional, prefix it with an underscore: `_w`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]   --> src/parser.rs:63:41
[INFO] [stdout]    |
[INFO] [stdout] 63 | fn emit_params(rparams: Pair<'_, Rule>, ctx: &mut Ctx) -> Vec<String> {
[INFO] [stdout]    |                                         ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rwexpr`
[INFO] [stdout]   --> src/parser.rs:87:15
[INFO] [stdout]    |
[INFO] [stdout] 87 | fn emit_wexpr(rwexpr: Pair<'_, Rule>, ctx: &mut Ctx) -> WidthExprId {
[INFO] [stdout]    |               ^^^^^^ help: if this is intentional, prefix it with an underscore: `_rwexpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]   --> src/parser.rs:87:39
[INFO] [stdout]    |
[INFO] [stdout] 87 | fn emit_wexpr(rwexpr: Pair<'_, Rule>, ctx: &mut Ctx) -> WidthExprId {
[INFO] [stdout]    |                                       ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rbvcall`
[INFO] [stdout]    --> src/parser.rs:108:16
[INFO] [stdout]     |
[INFO] [stdout] 108 | fn emit_bvcall(rbvcall: Pair<'_, Rule>, ctx: &mut Ctx, w: WidthExprId) -> BitVecExprId {
[INFO] [stdout]     |                ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_rbvcall`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/parser.rs:108:41
[INFO] [stdout]     |
[INFO] [stdout] 108 | fn emit_bvcall(rbvcall: Pair<'_, Rule>, ctx: &mut Ctx, w: WidthExprId) -> BitVecExprId {
[INFO] [stdout]     |                                         ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `w`
[INFO] [stdout]    --> src/parser.rs:108:56
[INFO] [stdout]     |
[INFO] [stdout] 108 | fn emit_bvcall(rbvcall: Pair<'_, Rule>, ctx: &mut Ctx, w: WidthExprId) -> BitVecExprId {
[INFO] [stdout]     |                                                        ^ help: if this is intentional, prefix it with an underscore: `_w`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rbvary`
[INFO] [stdout]    --> src/parser.rs:139:15
[INFO] [stdout]     |
[INFO] [stdout] 139 | fn emit_bvary(rbvary: Pair<'_, Rule>, ctx: &mut Ctx, w: WidthExprId) -> BitVecExprId {
[INFO] [stdout]     |               ^^^^^^ help: if this is intentional, prefix it with an underscore: `_rbvary`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/parser.rs:139:39
[INFO] [stdout]     |
[INFO] [stdout] 139 | fn emit_bvary(rbvary: Pair<'_, Rule>, ctx: &mut Ctx, w: WidthExprId) -> BitVecExprId {
[INFO] [stdout]     |                                       ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `w`
[INFO] [stdout]    --> src/parser.rs:139:54
[INFO] [stdout]     |
[INFO] [stdout] 139 | fn emit_bvary(rbvary: Pair<'_, Rule>, ctx: &mut Ctx, w: WidthExprId) -> BitVecExprId {
[INFO] [stdout]     |                                                      ^ help: if this is intentional, prefix it with an underscore: `_w`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Ext` in this scope
[INFO] [stdout]   --> tests/assoc.rs:14:64
[INFO] [stdout]    |
[INFO] [stdout] 14 |     let a = ctx.insert_bv(BitVecExpr::Var(wa, "a".to_string(), Ext::ZeroExt));
[INFO] [stdout]    |                                                                ^^^ use of undeclared type `Ext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this enum variant takes 2 arguments but 3 arguments were supplied
[INFO] [stdout]   --> tests/assoc.rs:14:27
[INFO] [stdout]    |
[INFO] [stdout] 14 |     let a = ctx.insert_bv(BitVecExpr::Var(wa, "a".to_string(), Ext::ZeroExt));
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^                      ------------ unexpected argument #3
[INFO] [stdout]    |
[INFO] [stdout] note: tuple variant defined here
[INFO] [stdout]   --> src/ir.rs:89:5
[INFO] [stdout]    |
[INFO] [stdout] 89 |     Var(WidthExprId, String),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 14 -     let a = ctx.insert_bv(BitVecExpr::Var(wa, "a".to_string(), Ext::ZeroExt));
[INFO] [stdout] 14 +     let a = ctx.insert_bv(BitVecExpr::Var(wa, "a".to_string()));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Ext` in this scope
[INFO] [stdout]   --> tests/assoc.rs:15:64
[INFO] [stdout]    |
[INFO] [stdout] 15 |     let b = ctx.insert_bv(BitVecExpr::Var(wb, "b".to_string(), Ext::ZeroExt));
[INFO] [stdout]    |                                                                ^^^ use of undeclared type `Ext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this enum variant takes 2 arguments but 3 arguments were supplied
[INFO] [stdout]   --> tests/assoc.rs:15:27
[INFO] [stdout]    |
[INFO] [stdout] 15 |     let b = ctx.insert_bv(BitVecExpr::Var(wb, "b".to_string(), Ext::ZeroExt));
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^                      ------------ unexpected argument #3
[INFO] [stdout]    |
[INFO] [stdout] note: tuple variant defined here
[INFO] [stdout]   --> src/ir.rs:89:5
[INFO] [stdout]    |
[INFO] [stdout] 89 |     Var(WidthExprId, String),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 15 -     let b = ctx.insert_bv(BitVecExpr::Var(wb, "b".to_string(), Ext::ZeroExt));
[INFO] [stdout] 15 +     let b = ctx.insert_bv(BitVecExpr::Var(wb, "b".to_string()));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Ext` in this scope
[INFO] [stdout]   --> tests/assoc.rs:16:64
[INFO] [stdout]    |
[INFO] [stdout] 16 |     let c = ctx.insert_bv(BitVecExpr::Var(wc, "c".to_string(), Ext::ZeroExt));
[INFO] [stdout]    |                                                                ^^^ use of undeclared type `Ext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this enum variant takes 2 arguments but 3 arguments were supplied
[INFO] [stdout]   --> tests/assoc.rs:16:27
[INFO] [stdout]    |
[INFO] [stdout] 16 |     let c = ctx.insert_bv(BitVecExpr::Var(wc, "c".to_string(), Ext::ZeroExt));
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^                      ------------ unexpected argument #3
[INFO] [stdout]    |
[INFO] [stdout] note: tuple variant defined here
[INFO] [stdout]   --> src/ir.rs:89:5
[INFO] [stdout]    |
[INFO] [stdout] 89 |     Var(WidthExprId, String),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 16 -     let c = ctx.insert_bv(BitVecExpr::Var(wc, "c".to_string(), Ext::ZeroExt));
[INFO] [stdout] 16 +     let c = ctx.insert_bv(BitVecExpr::Var(wc, "c".to_string()));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Ext` in this scope
[INFO] [stdout]   --> tests/assoc.rs:24:9
[INFO] [stdout]    |
[INFO] [stdout] 24 |         Ext::ZeroExt,
[INFO] [stdout]    |         ^^^ use of undeclared type `Ext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this enum variant takes 4 arguments but 5 arguments were supplied
[INFO] [stdout]   --> tests/assoc.rs:19:28
[INFO] [stdout]    |
[INFO] [stdout] 19 |     let bc = ctx.insert_bv(BitVecExpr::BinArith(
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 24 |         Ext::ZeroExt,
[INFO] [stdout]    |         ------------ unexpected argument #5
[INFO] [stdout]    |
[INFO] [stdout] note: tuple variant defined here
[INFO] [stdout]   --> src/ir.rs:95:5
[INFO] [stdout]    |
[INFO] [stdout] 95 |     BinArith(WidthExprId, BitVecBinArithOp, BitVecExprId, BitVecExprId),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 23 -         c,
[INFO] [stdout] 24 -         Ext::ZeroExt,
[INFO] [stdout] 23 +         c,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Ext` in this scope
[INFO] [stdout]   --> tests/assoc.rs:31:9
[INFO] [stdout]    |
[INFO] [stdout] 31 |         Ext::ZeroExt,
[INFO] [stdout]    |         ^^^ use of undeclared type `Ext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this enum variant takes 4 arguments but 5 arguments were supplied
[INFO] [stdout]   --> tests/assoc.rs:26:29
[INFO] [stdout]    |
[INFO] [stdout] 26 |     let lhs = ctx.insert_bv(BitVecExpr::BinArith(
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 31 |         Ext::ZeroExt,
[INFO] [stdout]    |         ------------ unexpected argument #5
[INFO] [stdout]    |
[INFO] [stdout] note: tuple variant defined here
[INFO] [stdout]   --> src/ir.rs:95:5
[INFO] [stdout]    |
[INFO] [stdout] 95 |     BinArith(WidthExprId, BitVecBinArithOp, BitVecExprId, BitVecExprId),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 30 -         bc,
[INFO] [stdout] 31 -         Ext::ZeroExt,
[INFO] [stdout] 30 +         bc,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Ext` in this scope
[INFO] [stdout]   --> tests/assoc.rs:40:9
[INFO] [stdout]    |
[INFO] [stdout] 40 |         Ext::ZeroExt,
[INFO] [stdout]    |         ^^^ use of undeclared type `Ext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this enum variant takes 4 arguments but 5 arguments were supplied
[INFO] [stdout]   --> tests/assoc.rs:35:28
[INFO] [stdout]    |
[INFO] [stdout] 35 |     let ab = ctx.insert_bv(BitVecExpr::BinArith(
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 40 |         Ext::ZeroExt,
[INFO] [stdout]    |         ------------ unexpected argument #5
[INFO] [stdout]    |
[INFO] [stdout] note: tuple variant defined here
[INFO] [stdout]   --> src/ir.rs:95:5
[INFO] [stdout]    |
[INFO] [stdout] 95 |     BinArith(WidthExprId, BitVecBinArithOp, BitVecExprId, BitVecExprId),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 39 -         b,
[INFO] [stdout] 40 -         Ext::ZeroExt,
[INFO] [stdout] 39 +         b,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Ext` in this scope
[INFO] [stdout]   --> tests/assoc.rs:47:9
[INFO] [stdout]    |
[INFO] [stdout] 47 |         Ext::ZeroExt,
[INFO] [stdout]    |         ^^^ use of undeclared type `Ext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this enum variant takes 4 arguments but 5 arguments were supplied
[INFO] [stdout]   --> tests/assoc.rs:42:29
[INFO] [stdout]    |
[INFO] [stdout] 42 |     let rhs = ctx.insert_bv(BitVecExpr::BinArith(
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 47 |         Ext::ZeroExt,
[INFO] [stdout]    |         ------------ unexpected argument #5
[INFO] [stdout]    |
[INFO] [stdout] note: tuple variant defined here
[INFO] [stdout]   --> src/ir.rs:95:5
[INFO] [stdout]    |
[INFO] [stdout] 95 |     BinArith(WidthExprId, BitVecBinArithOp, BitVecExprId, BitVecExprId),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 46 -         c,
[INFO] [stdout] 47 -         Ext::ZeroExt,
[INFO] [stdout] 46 +         c,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0061, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0061`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rewrite-dsl` (test "assoc") due to 14 previous errors
[INFO] running `Command { std: "docker" "inspect" "298efc3fe78eb5be5b73f23307ff718913d3ddc3a3d1fad02613ff795d72ae83", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "298efc3fe78eb5be5b73f23307ff718913d3ddc3a3d1fad02613ff795d72ae83", kill_on_drop: false }`
[INFO] [stdout] 298efc3fe78eb5be5b73f23307ff718913d3ddc3a3d1fad02613ff795d72ae83
