[INFO] cloning repository https://github.com/YeyaSwizaw/rust-reasoning
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/YeyaSwizaw/rust-reasoning" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FYeyaSwizaw%2Frust-reasoning", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FYeyaSwizaw%2Frust-reasoning'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] f98ab3aefc309a2f88ce9c5d0d08bc1a8753cbba
[INFO] documenting YeyaSwizaw/rust-reasoning against beta-2023-04-20 for beta-1.70-rustdoc-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FYeyaSwizaw%2Frust-reasoning" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/YeyaSwizaw/rust-reasoning on toolchain beta-2023-04-20
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-04-20" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/YeyaSwizaw/rust-reasoning
[INFO] finished tweaking git repo https://github.com/YeyaSwizaw/rust-reasoning
[INFO] tweaked toml for git repo https://github.com/YeyaSwizaw/rust-reasoning written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/YeyaSwizaw/rust-reasoning 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" "+beta-2023-04-20" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-04-20" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 05e57828e2370914cd4e1313db1dce2b812cff31baf0e66f9aae7ce5d8736cda
[INFO] running `Command { std: "docker" "start" "-a" "05e57828e2370914cd4e1313db1dce2b812cff31baf0e66f9aae7ce5d8736cda", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "05e57828e2370914cd4e1313db1dce2b812cff31baf0e66f9aae7ce5d8736cda", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "05e57828e2370914cd4e1313db1dce2b812cff31baf0e66f9aae7ce5d8736cda", kill_on_drop: false }`
[INFO] [stdout] 05e57828e2370914cd4e1313db1dce2b812cff31baf0e66f9aae7ce5d8736cda
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-04-20" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a42478009cdaa1ba7927b512aacc2c11dfb7a503e3af6060d4fd76c41e26961e
[INFO] running `Command { std: "docker" "start" "-a" "a42478009cdaa1ba7927b512aacc2c11dfb7a503e3af6060d4fd76c41e26961e", kill_on_drop: false }`
[INFO] [stderr]  Documenting reasoning v0.0.1 (/opt/rustwide/workdir)
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:69:55
[INFO] [stdout]    |
[INFO] [stdout] 69 | ...                   expr_stack.push(Expr::Not(box expr));
[INFO] [stdout]    |                                                 ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 69 |                             expr_stack.push(Expr::Not(Box::new(expr)));
[INFO] [stdout]    |                                                       ~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:92:55
[INFO] [stdout]    |
[INFO] [stdout] 92 | ...                   expr_stack.push(Expr::Not(box expr))
[INFO] [stdout]    |                                                 ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 92 |                             expr_stack.push(Expr::Not(Box::new(expr)))
[INFO] [stdout]    |                                                       ~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:98:55
[INFO] [stdout]    |
[INFO] [stdout] 98 | ...                   expr_stack.push(Expr::And(box expr2, box expr1))
[INFO] [stdout]    |                                                 ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 98 |                             expr_stack.push(Expr::And(Box::new(expr2), box expr1))
[INFO] [stdout]    |                                                       ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:98:66
[INFO] [stdout]    |
[INFO] [stdout] 98 | ...                   expr_stack.push(Expr::And(box expr2, box expr1))
[INFO] [stdout]    |                                                            ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 98 |                             expr_stack.push(Expr::And(box expr2, Box::new(expr1)))
[INFO] [stdout]    |                                                                  ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:104:54
[INFO] [stdout]     |
[INFO] [stdout] 104 | ...                   expr_stack.push(Expr::Or(box expr2, box expr1))
[INFO] [stdout]     |                                                ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 104 |                             expr_stack.push(Expr::Or(Box::new(expr2), box expr1))
[INFO] [stdout]     |                                                      ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:104:65
[INFO] [stdout]     |
[INFO] [stdout] 104 | ...                   expr_stack.push(Expr::Or(box expr2, box expr1))
[INFO] [stdout]     |                                                           ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 104 |                             expr_stack.push(Expr::Or(box expr2, Box::new(expr1)))
[INFO] [stdout]     |                                                                 ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:110:58
[INFO] [stdout]     |
[INFO] [stdout] 110 | ...                   expr_stack.push(Expr::IfThen(box expr2, box expr1))
[INFO] [stdout]     |                                                    ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 110 |                             expr_stack.push(Expr::IfThen(Box::new(expr2), box expr1))
[INFO] [stdout]     |                                                          ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:110:69
[INFO] [stdout]     |
[INFO] [stdout] 110 | ...                   expr_stack.push(Expr::IfThen(box expr2, box expr1))
[INFO] [stdout]     |                                                               ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 110 |                             expr_stack.push(Expr::IfThen(box expr2, Box::new(expr1)))
[INFO] [stdout]     |                                                                     ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:116:55
[INFO] [stdout]     |
[INFO] [stdout] 116 | ...                   expr_stack.push(Expr::IFF(box expr2, box expr1))
[INFO] [stdout]     |                                                 ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 116 |                             expr_stack.push(Expr::IFF(Box::new(expr2), box expr1))
[INFO] [stdout]     |                                                       ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:116:66
[INFO] [stdout]     |
[INFO] [stdout] 116 | ...                   expr_stack.push(Expr::IFF(box expr2, box expr1))
[INFO] [stdout]     |                                                            ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 116 |                             expr_stack.push(Expr::IFF(box expr2, Box::new(expr1)))
[INFO] [stdout]     |                                                                  ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:133:43
[INFO] [stdout]     |
[INFO] [stdout] 133 |                 expr_stack.push(Expr::Not(box expr))
[INFO] [stdout]     |                                           ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 133 |                 expr_stack.push(Expr::Not(Box::new(expr)))
[INFO] [stdout]     |                                           ~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:139:43
[INFO] [stdout]     |
[INFO] [stdout] 139 |                 expr_stack.push(Expr::And(box expr2, box expr1))
[INFO] [stdout]     |                                           ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 139 |                 expr_stack.push(Expr::And(Box::new(expr2), box expr1))
[INFO] [stdout]     |                                           ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:139:54
[INFO] [stdout]     |
[INFO] [stdout] 139 |                 expr_stack.push(Expr::And(box expr2, box expr1))
[INFO] [stdout]     |                                                      ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 139 |                 expr_stack.push(Expr::And(box expr2, Box::new(expr1)))
[INFO] [stdout]     |                                                      ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:145:42
[INFO] [stdout]     |
[INFO] [stdout] 145 |                 expr_stack.push(Expr::Or(box expr2, box expr1))
[INFO] [stdout]     |                                          ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 145 |                 expr_stack.push(Expr::Or(Box::new(expr2), box expr1))
[INFO] [stdout]     |                                          ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:145:53
[INFO] [stdout]     |
[INFO] [stdout] 145 |                 expr_stack.push(Expr::Or(box expr2, box expr1))
[INFO] [stdout]     |                                                     ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 145 |                 expr_stack.push(Expr::Or(box expr2, Box::new(expr1)))
[INFO] [stdout]     |                                                     ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:151:46
[INFO] [stdout]     |
[INFO] [stdout] 151 |                 expr_stack.push(Expr::IfThen(box expr2, box expr1))
[INFO] [stdout]     |                                              ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 151 |                 expr_stack.push(Expr::IfThen(Box::new(expr2), box expr1))
[INFO] [stdout]     |                                              ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:151:57
[INFO] [stdout]     |
[INFO] [stdout] 151 |                 expr_stack.push(Expr::IfThen(box expr2, box expr1))
[INFO] [stdout]     |                                                         ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 151 |                 expr_stack.push(Expr::IfThen(box expr2, Box::new(expr1)))
[INFO] [stdout]     |                                                         ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:157:43
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 expr_stack.push(Expr::IFF(box expr2, box expr1))
[INFO] [stdout]     |                                           ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 expr_stack.push(Expr::IFF(Box::new(expr2), box expr1))
[INFO] [stdout]     |                                           ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:157:54
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 expr_stack.push(Expr::IFF(box expr2, box expr1))
[INFO] [stdout]     |                                                      ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 expr_stack.push(Expr::IFF(box expr2, Box::new(expr1)))
[INFO] [stdout]     |                                                      ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:196:33
[INFO] [stdout]     |
[INFO] [stdout] 196 |     let mut newexpr = Expr::Not(box expr);
[INFO] [stdout]     |                                 ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 196 |     let mut newexpr = Expr::Not(Box::new(expr));
[INFO] [stdout]     |                                 ~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:230:37
[INFO] [stdout]     |
[INFO] [stdout] 230 |                 let not = Expr::Not(box atom.clone()).reduce();
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 230 |                 let not = Expr::Not(Box::new(atom.clone())).reduce();
[INFO] [stdout]     |                                     ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:245:41
[INFO] [stdout]     |
[INFO] [stdout] 245 |                     let not = Expr::Not(box atom.clone()).reduce();
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 245 |                     let not = Expr::Not(Box::new(atom.clone())).reduce();
[INFO] [stdout]     |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_syntax)]
[INFO] [stdout]   |            ^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: Compilation failed, aborting rustdoc
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 24 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stderr] error: could not document `reasoning`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustdoc --crate-type bin --crate-name reasoning src/main.rs -o /opt/rustwide/target/doc --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --document-private-items '-Arustdoc::private-intra-doc-links' -C metadata=1ec313ca1ea8581d -L dependency=/opt/rustwide/target/debug/deps --cap-lints=warn --crate-version 0.0.1` (exit status: 1)
[INFO] running `Command { std: "docker" "inspect" "a42478009cdaa1ba7927b512aacc2c11dfb7a503e3af6060d4fd76c41e26961e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a42478009cdaa1ba7927b512aacc2c11dfb7a503e3af6060d4fd76c41e26961e", kill_on_drop: false }`
[INFO] [stdout] a42478009cdaa1ba7927b512aacc2c11dfb7a503e3af6060d4fd76c41e26961e
