[INFO] cloning repository https://github.com/hjfreyer/prec
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hjfreyer/prec" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhjfreyer%2Fprec", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhjfreyer%2Fprec'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 80c98b29e70b861e20a06aa9fd9952d0c24543b7
[INFO] checking hjfreyer/prec against try#a7a572ce3edd6d476191fbfe92c9c1986e009b34 for pr-87190-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhjfreyer%2Fprec" "/workspace/builds/worker-5/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/hjfreyer/prec on toolchain a7a572ce3edd6d476191fbfe92c9c1986e009b34
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a7a572ce3edd6d476191fbfe92c9c1986e009b34" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/hjfreyer/prec
[INFO] finished tweaking git repo https://github.com/hjfreyer/prec
[INFO] tweaked toml for git repo https://github.com/hjfreyer/prec written to /workspace/builds/worker-5/source/Cargo.toml
[INFO] crate git repo https://github.com/hjfreyer/prec already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a7a572ce3edd6d476191fbfe92c9c1986e009b34" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded rand_xoshiro v0.4.0
[INFO] [stderr]   Downloaded sized-chunks v0.5.3
[INFO] [stderr]   Downloaded im v14.3.0
[INFO] [stderr]   Downloaded version_check v0.9.1
[INFO] [stderr]   Downloaded bitmaps v2.1.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+a7a572ce3edd6d476191fbfe92c9c1986e009b34" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 3d87cbb0d3dbda99d27694d059d1b3606a2d285d4bbc833ec786db0d8131f195
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "3d87cbb0d3dbda99d27694d059d1b3606a2d285d4bbc833ec786db0d8131f195", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3d87cbb0d3dbda99d27694d059d1b3606a2d285d4bbc833ec786db0d8131f195", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3d87cbb0d3dbda99d27694d059d1b3606a2d285d4bbc833ec786db0d8131f195", kill_on_drop: false }`
[INFO] [stdout] 3d87cbb0d3dbda99d27694d059d1b3606a2d285d4bbc833ec786db0d8131f195
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+a7a572ce3edd6d476191fbfe92c9c1986e009b34" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 132caa52afd85d66a796e0dc78426e823db2587e829dc95b04c183f8e93d5c7a
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "132caa52afd85d66a796e0dc78426e823db2587e829dc95b04c183f8e93d5c7a", kill_on_drop: false }`
[INFO] [stderr] Copying to /tmp/fixit
[INFO] [stderr] Running `cargo fix --edition`
[INFO] [stderr]     Checking rand_core v0.5.1
[INFO] [stderr]    Compiling im v14.3.0
[INFO] [stderr]     Checking bitmaps v2.1.0
[INFO] [stderr]     Checking rand_xoshiro v0.4.0
[INFO] [stderr]     Checking sized-chunks v0.5.3
[INFO] [stderr]     Checking prec v0.1.0 (/tmp/fixit)
[INFO] [stderr]    Migrating src/main.rs from 2018 edition to 2021
[INFO] [stderr] warning: failed to automatically apply fixes suggested by rustc to crate `prec`
[INFO] [stderr] 
[INFO] [stderr] after fixes were automatically applied the compiler reported errors within these files:
[INFO] [stderr] 
[INFO] [stderr]   * src/stack/tactics.rs
[INFO] [stderr]   * src/tactics.rs
[INFO] [stderr] 
[INFO] [stderr] This likely indicates a bug in either rustc or cargo itself,
[INFO] [stderr] and we would appreciate a bug report! You're likely to see 
[INFO] [stderr] a number of compiler warnings after this message which cargo
[INFO] [stderr] attempted to fix but failed. If you could open an issue at
[INFO] [stderr] https://github.com/rust-lang/rust/issues
[INFO] [stderr] quoting the full output of this command we'd be very appreciative!
[INFO] [stderr] Note that you may be able to make some more progress in the near-term
[INFO] [stderr] fixing code with the `--broken-code` flag
[INFO] [stderr] 
[INFO] [stderr] The following errors were reported:
[INFO] [stderr] error[E0277]: the trait bound `fn(_) -> RecursiveTactic<_> {RecursiveTactic::<_>}: Tactic<_>` is not satisfied
[INFO] [stderr]    --> src/tactics.rs:106:9
[INFO] [stderr]     |
[INFO] [stderr] 106 |           crate::tactics::any(crate::tactic![$head], crate::tactic![(|| $($tail)+)])
[INFO] [stderr]     |           ^^^^^^^^^^^^^^^^^^^ the trait `Tactic<_>` is not implemented for `fn(_) -> RecursiveTactic<_> {RecursiveTactic::<_>}`
[INFO] [stderr]     |
[INFO] [stderr]    ::: src/func/tactics.rs:40:5
[INFO] [stderr]     |
[INFO] [stderr] 40  | /     tactic![
[INFO] [stderr] 41  | |         (|| RecursiveTactic(Action::ProjCar)(RecursiveTactic(Action::ProjCdr))(RecursiveTactic(
[INFO] [stderr] 42  | |             Action::CompAssocRight
[INFO] [stderr] 43  | |         ))(RecursiveTactic(Action::CompDistributeStack))(RecursiveTactic(
[INFO] [stderr] ...   |
[INFO] [stderr] 49  | |         )))
[INFO] [stderr] 50  | |     ]
[INFO] [stderr]     | |_____- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] note: required by a bound in `tactics::any`
[INFO] [stderr]    --> src/tactics.rs:89:33
[INFO] [stderr]     |
[INFO] [stderr] 89  | pub fn any<A: base::Action, T1: Tactic<A>, T2: Tactic<A>>(t1: T1, t2: T2) -> impl Tactic<A> {
[INFO] [stderr]     |                                 ^^^^^^^^^ required by this bound in `tactics::any`
[INFO] [stderr]     = note: this error originates in the macro `tactic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] error[E0277]: the trait bound `fn(_) -> impl Tactic<stack::actions::Action> {car::<_>}: Tactic<_>` is not satisfied
[INFO] [stderr]    --> src/tactics.rs:114:9
[INFO] [stderr]     |
[INFO] [stderr] 114 |         crate::tactics::atomic_pipe(crate::tactic![$head], crate::tactic![(&& $($tail)+)])
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Tactic<_>` is not implemented for `fn(_) -> impl Tactic<stack::actions::Action> {car::<_>}`
[INFO] [stderr]     |
[INFO] [stderr]    ::: src/stack/tactics.rs:43:5
[INFO] [stderr]     |
[INFO] [stderr] 43  |     crate::tactic![(&&car(path::tactics::simplify())refl())]
[INFO] [stderr]     |     -------------------------------------------------------- in this macro invocation
[INFO] [stderr] ...
[INFO] [stderr] 50  | pub fn car<PT: base::Tactic<pa::Action>>(tactic: PT) -> impl base::Tactic<Action> {
[INFO] [stderr]     |        --- consider calling this function
[INFO] [stderr]     |
[INFO] [stderr]     = help: use parentheses to call the function: `car(tactic)`
[INFO] [stderr] note: required by a bound in `atomic_pipe`
[INFO] [stderr]    --> src/tactics.rs:72:41
[INFO] [stderr]     |
[INFO] [stderr] 72  | pub fn atomic_pipe<A: base::Action, T1: Tactic<A>, T2: Tactic<A>>(
[INFO] [stderr]     |                                         ^^^^^^^^^ required by this bound in `atomic_pipe`
[INFO] [stderr]     = note: this error originates in the macro `crate::tactic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] error[E0277]: the trait bound `fn() -> impl Tactic<stack::actions::Action> {refl}: Tactic<_>` is not satisfied
[INFO] [stderr]    --> src/tactics.rs:114:9
[INFO] [stderr]     |
[INFO] [stderr] 114 |         crate::tactics::atomic_pipe(crate::tactic![$head], crate::tactic![(&& $($tail)+)])
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Tactic<_>` is not implemented for `fn() -> impl Tactic<stack::actions::Action> {refl}`
[INFO] [stderr]     |
[INFO] [stderr]    ::: src/stack/tactics.rs:9:8
[INFO] [stderr]     |
[INFO] [stderr] 9   | pub fn refl() -> impl base::Tactic<Action> {
[INFO] [stderr]     |        ---- consider calling this function
[INFO] [stderr] ...
[INFO] [stderr] 43  |     crate::tactic![(&&car(path::tactics::simplify())refl())]
[INFO] [stderr]     |     -------------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: use parentheses to call the function: `refl()`
[INFO] [stderr] note: required by a bound in `atomic_pipe`
[INFO] [stderr]    --> src/tactics.rs:72:41
[INFO] [stderr]     |
[INFO] [stderr] 72  | pub fn atomic_pipe<A: base::Action, T1: Tactic<A>, T2: Tactic<A>>(
[INFO] [stderr]     |                                         ^^^^^^^^^ required by this bound in `atomic_pipe`
[INFO] [stderr]     = note: this error originates in the macro `crate::tactic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] error[E0277]: the trait bound `(): Tactic<_>` is not satisfied
[INFO] [stderr]   --> src/stack/tactics.rs:43:57
[INFO] [stderr]    |
[INFO] [stderr] 43 |     crate::tactic![(&&car(path::tactics::simplify())refl())]
[INFO] [stderr]    |                                                         ^^ the trait `Tactic<_>` is not implemented for `()`
[INFO] [stderr]    |
[INFO] [stderr] note: required by a bound in `atomic_pipe`
[INFO] [stderr]   --> src/tactics.rs:72:56
[INFO] [stderr]    |
[INFO] [stderr] 72 | pub fn atomic_pipe<A: base::Action, T1: Tactic<A>, T2: Tactic<A>>(
[INFO] [stderr]    |                                                        ^^^^^^^^^ required by this bound in `atomic_pipe`
[INFO] [stderr] 
[INFO] [stderr] error[E0277]: the trait bound `impl Tactic<path::actions::Action>: Tactic<stack::actions::Action>` is not satisfied
[INFO] [stderr]   --> src/stack/tactics.rs:42:18
[INFO] [stderr]    |
[INFO] [stderr] 42 | pub fn auto() -> impl base::Tactic<Action> {
[INFO] [stderr]    |                  ^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Tactic<stack::actions::Action>` is not implemented for `impl Tactic<path::actions::Action>`
[INFO] [stderr] 
[INFO] [stderr] error[E0277]: the trait bound `fn() -> stack::tactics::induction::Cut {stack::tactics::induction::Cut}: Tactic<_>` is not satisfied
[INFO] [stderr]    --> src/tactics.rs:114:9
[INFO] [stderr]     |
[INFO] [stderr] 114 |           crate::tactics::atomic_pipe(crate::tactic![$head], crate::tactic![(&& $($tail)+)])
[INFO] [stderr]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Tactic<_>` is not implemented for `fn() -> stack::tactics::induction::Cut {stack::tactics::induction::Cut}`
[INFO] [stderr]     |
[INFO] [stderr]    ::: src/stack/tactics.rs:158:9
[INFO] [stderr]     |
[INFO] [stderr] 158 | /         crate::tactic![
[INFO] [stderr] 159 | |             (&&Cut()(car(path::tactics::induction()))(cdr(car(path::tactics::rec_z()))))
[INFO] [stderr] 160 | |         ]
[INFO] [stderr]     | |_________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] note: required by a bound in `atomic_pipe`
[INFO] [stderr]    --> src/tactics.rs:72:41
[INFO] [stderr]     |
[INFO] [stderr] 72  | pub fn atomic_pipe<A: base::Action, T1: Tactic<A>, T2: Tactic<A>>(
[INFO] [stderr]     |                                         ^^^^^^^^^ required by this bound in `atomic_pipe`
[INFO] [stderr]     = note: this error originates in the macro `crate::tactic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] error[E0277]: the trait bound `(): Tactic<_>` is not satisfied
[INFO] [stderr]    --> src/tactics.rs:114:9
[INFO] [stderr]     |
[INFO] [stderr] 114 |           crate::tactics::atomic_pipe(crate::tactic![$head], crate::tactic![(&& $($tail)+)])
[INFO] [stderr]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Tactic<_>` is not implemented for `()`
[INFO] [stderr]     |
[INFO] [stderr]    ::: src/stack/tactics.rs:158:9
[INFO] [stderr]     |
[INFO] [stderr] 158 | /         crate::tactic![
[INFO] [stderr] 159 | |             (&&Cut()(car(path::tactics::induction()))(cdr(car(path::tactics::rec_z()))))
[INFO] [stderr] 160 | |         ]
[INFO] [stderr]     | |_________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] note: required by a bound in `atomic_pipe`
[INFO] [stderr]    --> src/tactics.rs:72:41
[INFO] [stderr]     |
[INFO] [stderr] 72  | pub fn atomic_pipe<A: base::Action, T1: Tactic<A>, T2: Tactic<A>>(
[INFO] [stderr]     |                                         ^^^^^^^^^ required by this bound in `atomic_pipe`
[INFO] [stderr]     = note: this error originates in the macro `crate::tactic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] error[E0277]: the trait bound `[closure@src/stack/tactics.rs:157:20: 161:6]: Tactic<_>` is not satisfied
[INFO] [stderr]    --> src/tactics.rs:106:9
[INFO] [stderr]     |
[INFO] [stderr] 106 |           crate::tactics::any(crate::tactic![$head], crate::tactic![(|| $($tail)+)])
[INFO] [stderr]     |           ^^^^^^^^^^^^^^^^^^^ the trait `Tactic<_>` is not implemented for `[closure@src/stack/tactics.rs:157:20: 161:6]`
[INFO] [stderr]     |
[INFO] [stderr]    ::: src/stack/tactics.rs:157:20
[INFO] [stderr]     |
[INFO] [stderr] 157 |       let one_side = || {
[INFO] [stderr]     |                      -- consider calling this closure
[INFO] [stderr] ...
[INFO] [stderr] 163 | /     crate::tactic![
[INFO] [stderr] 164 | |         (|| one_side()(&&(car(path::tactics::reverse()))(one_side())(car(
[INFO] [stderr] 165 | |             path::tactics::reverse()
[INFO] [stderr] 166 | |         ))(cdr(car(path::tactics::reverse())))))
[INFO] [stderr] 167 | |     ]
[INFO] [stderr]     | |_____- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: use parentheses to call the closure: `one_side()`
[INFO] [stderr] note: required by a bound in `tactics::any`
[INFO] [stderr]    --> src/tactics.rs:89:33
[INFO] [stderr]     |
[INFO] [stderr] 89  | pub fn any<A: base::Action, T1: Tactic<A>, T2: Tactic<A>>(t1: T1, t2: T2) -> impl Tactic<A> {
[INFO] [stderr]     |                                 ^^^^^^^^^ required by this bound in `tactics::any`
[INFO] [stderr]     = note: this error originates in the macro `crate::tactic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] error[E0277]: the trait bound `(): Tactic<_>` is not satisfied
[INFO] [stderr]    --> src/tactics.rs:106:9
[INFO] [stderr]     |
[INFO] [stderr] 106 |           crate::tactics::any(crate::tactic![$head], crate::tactic![(|| $($tail)+)])
[INFO] [stderr]     |           ^^^^^^^^^^^^^^^^^^^ the trait `Tactic<_>` is not implemented for `()`
[INFO] [stderr]     |
[INFO] [stderr]    ::: src/stack/tactics.rs:163:5
[INFO] [stderr]     |
[INFO] [stderr] 163 | /     crate::tactic![
[INFO] [stderr] 164 | |         (|| one_side()(&&(car(path::tactics::reverse()))(one_side())(car(
[INFO] [stderr] 165 | |             path::tactics::reverse()
[INFO] [stderr] 166 | |         ))(cdr(car(path::tactics::reverse())))))
[INFO] [stderr] 167 | |     ]
[INFO] [stderr]     | |_____- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] note: required by a bound in `tactics::any`
[INFO] [stderr]    --> src/tactics.rs:89:33
[INFO] [stderr]     |
[INFO] [stderr] 89  | pub fn any<A: base::Action, T1: Tactic<A>, T2: Tactic<A>>(t1: T1, t2: T2) -> impl Tactic<A> {
[INFO] [stderr]     |                                 ^^^^^^^^^ required by this bound in `tactics::any`
[INFO] [stderr]     = note: this error originates in the macro `crate::tactic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] error[E0277]: the trait bound `for<'r> fn(&'r func::Func) -> impl Tactic<stack::actions::Action> {cut}: Tactic<_>` is not satisfied
[INFO] [stderr]    --> src/tactics.rs:114:9
[INFO] [stderr]     |
[INFO] [stderr] 114 |           crate::tactics::atomic_pipe(crate::tactic![$head], crate::tactic![(&& $($tail)+)])
[INFO] [stderr]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Tactic<_>` is not implemented for `for<'r> fn(&'r func::Func) -> impl Tactic<stack::actions::Action> {cut}`
[INFO] [stderr]     |
[INFO] [stderr]    ::: src/stack/tactics.rs:110:8
[INFO] [stderr]     |
[INFO] [stderr] 110 |   pub fn cut(func: &Func) -> impl base::Tactic<Action> {
[INFO] [stderr]     |          --- consider calling this function
[INFO] [stderr] ...
[INFO] [stderr] 137 | /     crate::tactic![
[INFO] [stderr] 138 | |         (&&cut(func1)(cdr(cut(func2)))(cdr(swap()))(cdr(car(path::tactics::reverse()))))
[INFO] [stderr] 139 | |     ]
[INFO] [stderr]     | |_____- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: use parentheses to call the function: `cut(func)`
[INFO] [stderr] note: required by a bound in `atomic_pipe`
[INFO] [stderr]    --> src/tactics.rs:72:41
[INFO] [stderr]     |
[INFO] [stderr] 72  | pub fn atomic_pipe<A: base::Action, T1: Tactic<A>, T2: Tactic<A>>(
[INFO] [stderr]     |                                         ^^^^^^^^^ required by this bound in `atomic_pipe`
[INFO] [stderr]     = note: this error originates in the macro `crate::tactic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] error[E0277]: the trait bound `&func::Func: Tactic<_>` is not satisfied
[INFO] [stderr]    --> src/tactics.rs:114:9
[INFO] [stderr]     |
[INFO] [stderr] 114 |           crate::tactics::atomic_pipe(crate::tactic![$head], crate::tactic![(&& $($tail)+)])
[INFO] [stderr]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Tactic<_>` is not implemented for `&func::Func`
[INFO] [stderr]     |
[INFO] [stderr]    ::: src/stack/tactics.rs:137:5
[INFO] [stderr]     |
[INFO] [stderr] 137 | /     crate::tactic![
[INFO] [stderr] 138 | |         (&&cut(func1)(cdr(cut(func2)))(cdr(swap()))(cdr(car(path::tactics::reverse()))))
[INFO] [stderr] 139 | |     ]
[INFO] [stderr]     | |_____- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] note: required by a bound in `atomic_pipe`
[INFO] [stderr]    --> src/tactics.rs:72:41
[INFO] [stderr]     |
[INFO] [stderr] 72  | pub fn atomic_pipe<A: base::Action, T1: Tactic<A>, T2: Tactic<A>>(
[INFO] [stderr]     |                                         ^^^^^^^^^ required by this bound in `atomic_pipe`
[INFO] [stderr]     = note: this error originates in the macro `crate::tactic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] error[E0277]: the trait bound `fn() -> stack_split::Cut {stack_split::Cut}: Tactic<_>` is not satisfied
[INFO] [stderr]    --> src/tactics.rs:114:9
[INFO] [stderr]     |
[INFO] [stderr] 114 |           crate::tactics::atomic_pipe(crate::tactic![$head], crate::tactic![(&& $($tail)+)])
[INFO] [stderr]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Tactic<_>` is not implemented for `fn() -> stack_split::Cut {stack_split::Cut}`
[INFO] [stderr]     |
[INFO] [stderr]    ::: src/stack/tactics.rs:181:5
[INFO] [stderr]     |
[INFO] [stderr] 181 | /     crate::tactic![
[INFO] [stderr] 182 | |         (&&Cut()(car(path::tactics::stack_cdr()))(cdr(car(path::tactics::stack_car()))))
[INFO] [stderr] 183 | |     ]
[INFO] [stderr]     | |_____- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] note: required by a bound in `atomic_pipe`
[INFO] [stderr]    --> src/tactics.rs:72:41
[INFO] [stderr]     |
[INFO] [stderr] 72  | pub fn atomic_pipe<A: base::Action, T1: Tactic<A>, T2: Tactic<A>>(
[INFO] [stderr]     |                                         ^^^^^^^^^ required by this bound in `atomic_pipe`
[INFO] [stderr]     = note: this error originates in the macro `crate::tactic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] error[E0277]: the trait bound `(): Tactic<_>` is not satisfied
[INFO] [stderr]    --> src/tactics.rs:114:9
[INFO] [stderr]     |
[INFO] [stderr] 114 |           crate::tactics::atomic_pipe(crate::tactic![$head], crate::tactic![(&& $($tail)+)])
[INFO] [stderr]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Tactic<_>` is not implemented for `()`
[INFO] [stderr]     |
[INFO] [stderr]    ::: src/stack/tactics.rs:181:5
[INFO] [stderr]     |
[INFO] [stderr] 181 | /     crate::tactic![
[INFO] [stderr] 182 | |         (&&Cut()(car(path::tactics::stack_cdr()))(cdr(car(path::tactics::stack_car()))))
[INFO] [stderr] 183 | |     ]
[INFO] [stderr]     | |_____- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] note: required by a bound in `atomic_pipe`
[INFO] [stderr]    --> src/tactics.rs:72:41
[INFO] [stderr]     |
[INFO] [stderr] 72  | pub fn atomic_pipe<A: base::Action, T1: Tactic<A>, T2: Tactic<A>>(
[INFO] [stderr]     |                                         ^^^^^^^^^ required by this bound in `atomic_pipe`
[INFO] [stderr]     = note: this error originates in the macro `crate::tactic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to 13 previous errors
[INFO] [stderr] 
[INFO] [stderr] For more information about this error, try `rustc --explain E0277`.
[INFO] [stderr] Original diagnostics will follow.
[INFO] [stderr] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]   --> src/func/tactics.rs:41:13
[INFO] [stdout]    |
[INFO] [stdout] 41 |         (|| (RecursiveTactic(Action::ProjCar))(RecursiveTactic(Action::ProjCdr))(RecursiveTactic(
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]   --> src/stack/tactics.rs:43:23
[INFO] [stdout]    |
[INFO] [stdout] 43 |     crate::tactic![(&&(car(path::tactics::simplify()))(refl()))]
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]   --> src/stack/tactics.rs:43:55
[INFO] [stdout]    |
[INFO] [stdout] 43 |     crate::tactic![(&&(car(path::tactics::simplify()))(refl()))]
[INFO] [stdout]    |                                                       ^^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/stack/tactics.rs:138:12
[INFO] [stdout]     |
[INFO] [stdout] 138 |         (&&(cut(func1))(cdr(cut(func2)))(cdr(swap()))(cdr(car(path::tactics::reverse()))))
[INFO] [stdout]     |            ^^^^^^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/stack/tactics.rs:159:16
[INFO] [stdout]     |
[INFO] [stdout] 159 |             (&&(Cut())(car(path::tactics::induction()))(cdr(car(path::tactics::rec_z()))))
[INFO] [stdout]     |                ^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/stack/tactics.rs:164:13
[INFO] [stdout]     |
[INFO] [stdout] 164 |         (|| (one_side())(&&(car(path::tactics::reverse()))(one_side())(car(
[INFO] [stdout]     |             ^^^^^^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/stack/tactics.rs:182:12
[INFO] [stdout]     |
[INFO] [stdout] 182 |         (&&(Cut())(car(path::tactics::stack_cdr()))(cdr(car(path::tactics::stack_car()))))
[INFO] [stdout]     |            ^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]   --> src/func/tactics.rs:41:13
[INFO] [stdout]    |
[INFO] [stdout] 41 |         (|| (RecursiveTactic(Action::ProjCar))(RecursiveTactic(Action::ProjCdr))(RecursiveTactic(
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]   --> src/stack/tactics.rs:43:23
[INFO] [stdout]    |
[INFO] [stdout] 43 |     crate::tactic![(&&(car(path::tactics::simplify()))(refl()))]
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]   --> src/stack/tactics.rs:43:55
[INFO] [stdout]    |
[INFO] [stdout] 43 |     crate::tactic![(&&(car(path::tactics::simplify()))(refl()))]
[INFO] [stdout]    |                                                       ^^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/stack/tactics.rs:138:12
[INFO] [stdout]     |
[INFO] [stdout] 138 |         (&&(cut(func1))(cdr(cut(func2)))(cdr(swap()))(cdr(car(path::tactics::reverse()))))
[INFO] [stdout]     |            ^^^^^^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/stack/tactics.rs:159:16
[INFO] [stdout]     |
[INFO] [stdout] 159 |             (&&(Cut())(car(path::tactics::induction()))(cdr(car(path::tactics::rec_z()))))
[INFO] [stdout]     |                ^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/stack/tactics.rs:164:13
[INFO] [stdout]     |
[INFO] [stdout] 164 |         (|| (one_side())(&&(car(path::tactics::reverse()))(one_side())(car(
[INFO] [stdout]     |             ^^^^^^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/stack/tactics.rs:182:12
[INFO] [stdout]     |
[INFO] [stdout] 182 |         (&&(Cut())(car(path::tactics::stack_cdr()))(cdr(car(path::tactics::stack_car()))))
[INFO] [stdout]     |            ^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 7 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 7 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 11.86s
[INFO] [stderr] Running `cargo check` to verify 2021
[INFO] [stderr]     Checking prec v0.1.0 (/tmp/fixit)
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]   --> src/func/tactics.rs:41:13
[INFO] [stdout]    |
[INFO] [stdout] 41 |         (|| (RecursiveTactic(Action::ProjCar))(RecursiveTactic(Action::ProjCdr))(RecursiveTactic(
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]   --> src/stack/tactics.rs:43:23
[INFO] [stdout]    |
[INFO] [stdout] 43 |     crate::tactic![(&&(car(path::tactics::simplify()))(refl()))]
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]   --> src/stack/tactics.rs:43:55
[INFO] [stdout]    |
[INFO] [stdout] 43 |     crate::tactic![(&&(car(path::tactics::simplify()))(refl()))]
[INFO] [stdout]    |                                                       ^^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/stack/tactics.rs:138:12
[INFO] [stdout]     |
[INFO] [stdout] 138 |         (&&(cut(func1))(cdr(cut(func2)))(cdr(swap()))(cdr(car(path::tactics::reverse()))))
[INFO] [stdout]     |            ^^^^^^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/stack/tactics.rs:159:16
[INFO] [stdout]     |
[INFO] [stdout] 159 |             (&&(Cut())(car(path::tactics::induction()))(cdr(car(path::tactics::rec_z()))))
[INFO] [stdout]     |                ^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/stack/tactics.rs:164:13
[INFO] [stdout]     |
[INFO] [stdout] 164 |         (|| (one_side())(&&(car(path::tactics::reverse()))(one_side())(car(
[INFO] [stdout]     |             ^^^^^^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/stack/tactics.rs:182:12
[INFO] [stdout]     |
[INFO] [stdout] 182 |         (&&(Cut())(car(path::tactics::stack_cdr()))(cdr(car(path::tactics::stack_car()))))
[INFO] [stdout]     |            ^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]   --> src/func/tactics.rs:41:13
[INFO] [stdout]    |
[INFO] [stdout] 41 |         (|| (RecursiveTactic(Action::ProjCar))(RecursiveTactic(Action::ProjCdr))(RecursiveTactic(
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]   --> src/stack/tactics.rs:43:23
[INFO] [stdout]    |
[INFO] [stdout] 43 |     crate::tactic![(&&(car(path::tactics::simplify()))(refl()))]
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]   --> src/stack/tactics.rs:43:55
[INFO] [stdout]    |
[INFO] [stdout] 43 |     crate::tactic![(&&(car(path::tactics::simplify()))(refl()))]
[INFO] [stdout]    |                                                       ^^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/stack/tactics.rs:138:12
[INFO] [stdout]     |
[INFO] [stdout] 138 |         (&&(cut(func1))(cdr(cut(func2)))(cdr(swap()))(cdr(car(path::tactics::reverse()))))
[INFO] [stdout]     |            ^^^^^^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/stack/tactics.rs:159:16
[INFO] [stdout]     |
[INFO] [stdout] 159 |             (&&(Cut())(car(path::tactics::induction()))(cdr(car(path::tactics::rec_z()))))
[INFO] [stdout]     |                ^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/stack/tactics.rs:164:13
[INFO] [stdout]     |
[INFO] [stdout] 164 |         (|| (one_side())(&&(car(path::tactics::reverse()))(one_side())(car(
[INFO] [stdout]     |             ^^^^^^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/stack/tactics.rs:182:12
[INFO] [stdout]     |
[INFO] [stdout] 182 |         (&&(Cut())(car(path::tactics::stack_cdr()))(cdr(car(path::tactics::stack_car()))))
[INFO] [stdout]     |            ^^^^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 7 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 7 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.18s
[INFO] running `Command { std: "docker" "inspect" "132caa52afd85d66a796e0dc78426e823db2587e829dc95b04c183f8e93d5c7a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "132caa52afd85d66a796e0dc78426e823db2587e829dc95b04c183f8e93d5c7a", kill_on_drop: false }`
[INFO] [stdout] 132caa52afd85d66a796e0dc78426e823db2587e829dc95b04c183f8e93d5c7a