[INFO] cloning repository https://github.com/tawashichan/type_inference_sample
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/tawashichan/type_inference_sample" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftawashichan%2Ftype_inference_sample", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftawashichan%2Ftype_inference_sample'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] f21fbdd75c702bc74c35ac2819fb139de122bbb0
[INFO] documenting tawashichan/type_inference_sample against beta-2025-10-28 for beta-1.92-rustdoc-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftawashichan%2Ftype_inference_sample" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/tawashichan/type_inference_sample
[INFO] finished tweaking git repo https://github.com/tawashichan/type_inference_sample
[INFO] tweaked toml for git repo https://github.com/tawashichan/type_inference_sample written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/tawashichan/type_inference_sample on toolchain beta-2025-10-28
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-10-28" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/tawashichan/type_inference_sample 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-2025-10-28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded nanoid v0.1.3
[INFO] [stderr]   Downloaded libc v0.2.60
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] a99e01e6e05dab798f6c411d468e4bbd500e42b91d7f2cd45cf6ec1e0b401c80
[INFO] running `Command { std: "docker" "start" "-a" "a99e01e6e05dab798f6c411d468e4bbd500e42b91d7f2cd45cf6ec1e0b401c80", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a99e01e6e05dab798f6c411d468e4bbd500e42b91d7f2cd45cf6ec1e0b401c80", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a99e01e6e05dab798f6c411d468e4bbd500e42b91d7f2cd45cf6ec1e0b401c80", kill_on_drop: false }`
[INFO] [stdout] a99e01e6e05dab798f6c411d468e4bbd500e42b91d7f2cd45cf6ec1e0b401c80
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0c05ec7900c7466c6d5c54335d00633b8c9b516043c1cf053778f4383a2c3ebb
[INFO] running `Command { std: "docker" "start" "-a" "0c05ec7900c7466c6d5c54335d00633b8c9b516043c1cf053778f4383a2c3ebb", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.60
[INFO] [stderr]     Checking rand v0.4.6
[INFO] [stderr]     Checking nanoid v0.1.3
[INFO] [stderr]  Documenting type_inference v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:14:13
[INFO] [stdout]    |
[INFO] [stdout] 14 |             box Exp::Int(1),
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 14 -             box Exp::Int(1),
[INFO] [stdout] 14 +             Box::new(Exp::Int(1)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:15:13
[INFO] [stdout]    |
[INFO] [stdout] 15 |             box Exp::Var("x".to_string()),
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 15 -             box Exp::Var("x".to_string()),
[INFO] [stdout] 15 +             Box::new(Exp::Var("x".to_string())),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:12:9
[INFO] [stdout]    |
[INFO] [stdout] 12 | /         box Exp::Op(
[INFO] [stdout] 13 | |             Op::Plus,
[INFO] [stdout] 14 | |             box Exp::Int(1),
[INFO] [stdout] 15 | |             box Exp::Var("x".to_string()),
[INFO] [stdout] 16 | |         )
[INFO] [stdout]    | |_________^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 12 ~         Box::new(Exp::Op(
[INFO] [stdout] 13 |             Op::Plus,
[INFO] [stdout] 14 |             box Exp::Int(1),
[INFO] [stdout] 15 |             box Exp::Var("x".to_string()),
[INFO] [stdout] 16 ~         ))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:26:21
[INFO] [stdout]    |
[INFO] [stdout] 26 |                     box Exp::Var("x".to_string()),
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 26 -                     box Exp::Var("x".to_string()),
[INFO] [stdout] 26 +                     Box::new(Exp::Var("x".to_string())),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:27:21
[INFO] [stdout]    |
[INFO] [stdout] 27 |                     box Exp::Int(1),
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 27 -                     box Exp::Int(1),
[INFO] [stdout] 27 +                     Box::new(Exp::Int(1)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:24:17
[INFO] [stdout]    |
[INFO] [stdout] 24 | /                 box Exp::Op(
[INFO] [stdout] 25 | |                     Op::Plus,
[INFO] [stdout] 26 | |                     box Exp::Var("x".to_string()),
[INFO] [stdout] 27 | |                     box Exp::Int(1),
[INFO] [stdout] 28 | |                 ),
[INFO] [stdout]    | |_________________^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 24 ~                 Box::new(Exp::Op(
[INFO] [stdout] 25 |                     Op::Plus,
[INFO] [stdout] 26 |                     box Exp::Var("x".to_string()),
[INFO] [stdout] 27 |                     box Exp::Int(1),
[INFO] [stdout] 28 ~                 )),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:29:17
[INFO] [stdout]    |
[INFO] [stdout] 29 |                 box Exp::Var("y".to_string()),
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 29 -                 box Exp::Var("y".to_string()),
[INFO] [stdout] 29 +                 Box::new(Exp::Var("y".to_string())),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:22:13
[INFO] [stdout]    |
[INFO] [stdout] 22 | /             box Exp::Op(
[INFO] [stdout] 23 | |                 Op::Plus,
[INFO] [stdout] 24 | |                 box Exp::Op(
[INFO] [stdout] 25 | |                     Op::Plus,
[INFO] [stdout] ...  |
[INFO] [stdout] 29 | |                 box Exp::Var("y".to_string()),
[INFO] [stdout] 30 | |             )
[INFO] [stdout]    | |_____________^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 22 ~             Box::new(Exp::Op(
[INFO] [stdout] 23 |                 Op::Plus,
[INFO] [stdout] ...
[INFO] [stdout] 29 |                 box Exp::Var("y".to_string()),
[INFO] [stdout] 30 ~             ))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 | /         box Exp::Func(
[INFO] [stdout] 21 | |             "y".to_string(),
[INFO] [stdout] 22 | |             box Exp::Op(
[INFO] [stdout] 23 | |                 Op::Plus,
[INFO] [stdout] ...  |
[INFO] [stdout] 31 | |         )
[INFO] [stdout]    | |_________^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 20 ~         Box::new(Exp::Func(
[INFO] [stdout] 21 |             "y".to_string(),
[INFO] [stdout] ...
[INFO] [stdout] 30 |             )
[INFO] [stdout] 31 ~         ))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:39:17
[INFO] [stdout]    |
[INFO] [stdout] 39 |                 box Exp::Var("x".to_string()),
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 39 -                 box Exp::Var("x".to_string()),
[INFO] [stdout] 39 +                 Box::new(Exp::Var("x".to_string())),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:40:17
[INFO] [stdout]    |
[INFO] [stdout] 40 |                 box Exp::Var("y".to_string()),
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 40 -                 box Exp::Var("y".to_string()),
[INFO] [stdout] 40 +                 Box::new(Exp::Var("y".to_string())),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:37:13
[INFO] [stdout]    |
[INFO] [stdout] 37 | /             box Exp::Op(
[INFO] [stdout] 38 | |                 Op::Plus,
[INFO] [stdout] 39 | |                 box Exp::Var("x".to_string()),
[INFO] [stdout] 40 | |                 box Exp::Var("y".to_string()),
[INFO] [stdout] 41 | |             )
[INFO] [stdout]    | |_____________^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 37 ~             Box::new(Exp::Op(
[INFO] [stdout] 38 |                 Op::Plus,
[INFO] [stdout] 39 |                 box Exp::Var("x".to_string()),
[INFO] [stdout] 40 |                 box Exp::Var("y".to_string()),
[INFO] [stdout] 41 ~             ))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:35:9
[INFO] [stdout]    |
[INFO] [stdout] 35 | /         box Exp::Func(
[INFO] [stdout] 36 | |             "y".to_string(),
[INFO] [stdout] 37 | |             box Exp::Op(
[INFO] [stdout] 38 | |                 Op::Plus,
[INFO] [stdout] ...  |
[INFO] [stdout] 42 | |         )
[INFO] [stdout]    | |_________^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 35 ~         Box::new(Exp::Func(
[INFO] [stdout] 36 |             "y".to_string(),
[INFO] [stdout] ...
[INFO] [stdout] 41 |             )
[INFO] [stdout] 42 ~         ))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:47:13
[INFO] [stdout]    |
[INFO] [stdout] 47 |             box Exp::Var("x".to_string()),
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 47 -             box Exp::Var("x".to_string()),
[INFO] [stdout] 47 +             Box::new(Exp::Var("x".to_string())),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:48:13
[INFO] [stdout]    |
[INFO] [stdout] 48 |             box Exp::Int(1),
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 48 -             box Exp::Int(1),
[INFO] [stdout] 48 +             Box::new(Exp::Int(1)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:49:13
[INFO] [stdout]    |
[INFO] [stdout] 49 |             box Exp::Int(2),
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 49 -             box Exp::Int(2),
[INFO] [stdout] 49 +             Box::new(Exp::Int(2)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:46:9
[INFO] [stdout]    |
[INFO] [stdout] 46 | /         box Exp::If(
[INFO] [stdout] 47 | |             box Exp::Var("x".to_string()),
[INFO] [stdout] 48 | |             box Exp::Int(1),
[INFO] [stdout] 49 | |             box Exp::Int(2),
[INFO] [stdout] 50 | |         )
[INFO] [stdout]    | |_________^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 46 ~         Box::new(Exp::If(
[INFO] [stdout] 47 |             box Exp::Var("x".to_string()),
[INFO] [stdout] 48 |             box Exp::Int(1),
[INFO] [stdout] 49 |             box Exp::Int(2),
[INFO] [stdout] 50 ~         ))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:56:13
[INFO] [stdout]    |
[INFO] [stdout] 56 |             box Exp::Bool(true),
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 56 -             box Exp::Bool(true),
[INFO] [stdout] 56 +             Box::new(Exp::Bool(true)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:57:26
[INFO] [stdout]    |
[INFO] [stdout] 57 |             box Exp::App(box Exp::Var("x".to_string()),box Exp::Int(1)),
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 57 -             box Exp::App(box Exp::Var("x".to_string()),box Exp::Int(1)),
[INFO] [stdout] 57 +             box Exp::App(Box::new(Exp::Var("x".to_string())),box Exp::Int(1)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:57:56
[INFO] [stdout]    |
[INFO] [stdout] 57 |             box Exp::App(box Exp::Var("x".to_string()),box Exp::Int(1)),
[INFO] [stdout]    |                                                        ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 57 -             box Exp::App(box Exp::Var("x".to_string()),box Exp::Int(1)),
[INFO] [stdout] 57 +             box Exp::App(box Exp::Var("x".to_string()),Box::new(Exp::Int(1))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:57:13
[INFO] [stdout]    |
[INFO] [stdout] 57 |             box Exp::App(box Exp::Var("x".to_string()),box Exp::Int(1)),
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 57 -             box Exp::App(box Exp::Var("x".to_string()),box Exp::Int(1)),
[INFO] [stdout] 57 +             Box::new(Exp::App(box Exp::Var("x".to_string()),box Exp::Int(1))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:58:13
[INFO] [stdout]    |
[INFO] [stdout] 58 |             box Exp::Int(1),
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 58 -             box Exp::Int(1),
[INFO] [stdout] 58 +             Box::new(Exp::Int(1)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:55:9
[INFO] [stdout]    |
[INFO] [stdout] 55 | /         box Exp::If(
[INFO] [stdout] 56 | |             box Exp::Bool(true),
[INFO] [stdout] 57 | |             box Exp::App(box Exp::Var("x".to_string()),box Exp::Int(1)),
[INFO] [stdout] 58 | |             box Exp::Int(1),
[INFO] [stdout] 59 | |         ),
[INFO] [stdout]    | |_________^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 55 ~         Box::new(Exp::If(
[INFO] [stdout] 56 |             box Exp::Bool(true),
[INFO] [stdout] 57 |             box Exp::App(box Exp::Var("x".to_string()),box Exp::Int(1)),
[INFO] [stdout] 58 |             box Exp::Int(1),
[INFO] [stdout] 59 ~         )),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:60:22
[INFO] [stdout]    |
[INFO] [stdout] 60 |         box Exp::App(box Exp::Var("x".to_string()),box Exp::Int(1)),
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 60 -         box Exp::App(box Exp::Var("x".to_string()),box Exp::Int(1)),
[INFO] [stdout] 60 +         box Exp::App(Box::new(Exp::Var("x".to_string())),box Exp::Int(1)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:60:52
[INFO] [stdout]    |
[INFO] [stdout] 60 |         box Exp::App(box Exp::Var("x".to_string()),box Exp::Int(1)),
[INFO] [stdout]    |                                                    ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 60 -         box Exp::App(box Exp::Var("x".to_string()),box Exp::Int(1)),
[INFO] [stdout] 60 +         box Exp::App(box Exp::Var("x".to_string()),Box::new(Exp::Int(1))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:60:9
[INFO] [stdout]    |
[INFO] [stdout] 60 |         box Exp::App(box Exp::Var("x".to_string()),box Exp::Int(1)),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 60 -         box Exp::App(box Exp::Var("x".to_string()),box Exp::Int(1)),
[INFO] [stdout] 60 +         Box::new(Exp::App(box Exp::Var("x".to_string()),box Exp::Int(1))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.rs:1:25
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_patterns,box_syntax,slice_patterns)]
[INFO] [stdout]   |                         ^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: removed in 1.70.0; see <https://github.com/rust-lang/rust/pull/108471> for more information
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: Compilation failed, aborting rustdoc
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stderr] error: could not document `type_inference`
[INFO] running `Command { std: "docker" "inspect" "0c05ec7900c7466c6d5c54335d00633b8c9b516043c1cf053778f4383a2c3ebb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0c05ec7900c7466c6d5c54335d00633b8c9b516043c1cf053778f4383a2c3ebb", kill_on_drop: false }`
[INFO] [stdout] 0c05ec7900c7466c6d5c54335d00633b8c9b516043c1cf053778f4383a2c3ebb
