[INFO] cloning repository https://github.com/maxdexh/generic-uint
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/maxdexh/generic-uint" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmaxdexh%2Fgeneric-uint", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmaxdexh%2Fgeneric-uint'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 5161d742fcb5be63f097049e4b5491bef14654cf
[INFO] testing maxdexh/generic-uint against master#ec6f9a5b4413f74386267ef8efc93712c2ce6db6 for pr-155739
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmaxdexh%2Fgeneric-uint" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/maxdexh/generic-uint
[INFO] finished tweaking git repo https://github.com/maxdexh/generic-uint
[INFO] tweaked toml for git repo https://github.com/maxdexh/generic-uint written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/maxdexh/generic-uint on toolchain ec6f9a5b4413f74386267ef8efc93712c2ce6db6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/maxdexh/generic-uint 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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded type-const v1.1.1
[INFO] [stderr]   Downloaded const-util v2.2.0
[INFO] [stderr]   Downloaded ibig v0.3.6
[INFO] [stderr]   Downloaded generic-upper-bound v3.1.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 30c1fab16855be2020831dbb2673a1ce11b0cdad3e4f145bd92a4133c911fde4
[INFO] running `Command { std: "docker" "start" "-a" "30c1fab16855be2020831dbb2673a1ce11b0cdad3e4f145bd92a4133c911fde4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "30c1fab16855be2020831dbb2673a1ce11b0cdad3e4f145bd92a4133c911fde4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "30c1fab16855be2020831dbb2673a1ce11b0cdad3e4f145bd92a4133c911fde4", kill_on_drop: false }`
[INFO] [stdout] 30c1fab16855be2020831dbb2673a1ce11b0cdad3e4f145bd92a4133c911fde4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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" "RUSTDOCFLAGS=--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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b447f172622e69b5dd59aeecbd1a78995b59449b5bc824a2f73dff8a0d4b9e41
[INFO] running `Command { std: "docker" "start" "-a" "b447f172622e69b5dd59aeecbd1a78995b59449b5bc824a2f73dff8a0d4b9e41", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.5.0
[INFO] [stderr]    Compiling generic-upper-bound v3.1.1
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling static_assertions v1.1.0
[INFO] [stderr]    Compiling type-const v1.1.1
[INFO] [stderr]    Compiling cfg-if v1.0.3
[INFO] [stderr]    Compiling gnat v0.1.10 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling const-util v2.2.0
[INFO] [stderr]    Compiling ibig v0.3.6
[INFO] [stderr]    Compiling gnat-proc v0.1.10 (/opt/rustwide/workdir/proc)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 7.21s
[INFO] running `Command { std: "docker" "inspect" "b447f172622e69b5dd59aeecbd1a78995b59449b5bc824a2f73dff8a0d4b9e41", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b447f172622e69b5dd59aeecbd1a78995b59449b5bc824a2f73dff8a0d4b9e41", kill_on_drop: false }`
[INFO] [stdout] b447f172622e69b5dd59aeecbd1a78995b59449b5bc824a2f73dff8a0d4b9e41
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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" "RUSTDOCFLAGS=--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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b55a725587a3cb7345e680942cb5fd7088006a8ca186a118c94174af31e3e782
[INFO] running `Command { std: "docker" "start" "-a" "b55a725587a3cb7345e680942cb5fd7088006a8ca186a118c94174af31e3e782", kill_on_drop: false }`
[INFO] [stderr]    Compiling gnat v0.1.10 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 10.81s
[INFO] running `Command { std: "docker" "inspect" "b55a725587a3cb7345e680942cb5fd7088006a8ca186a118c94174af31e3e782", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b55a725587a3cb7345e680942cb5fd7088006a8ca186a118c94174af31e3e782", kill_on_drop: false }`
[INFO] [stdout] b55a725587a3cb7345e680942cb5fd7088006a8ca186a118c94174af31e3e782
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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" "RUSTDOCFLAGS=--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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] a3fc69788eb833a698c7f8432129f48d3855a0ae55dacee5d2fe58dc3cc656b9
[INFO] running `Command { std: "docker" "start" "-a" "a3fc69788eb833a698c7f8432129f48d3855a0ae55dacee5d2fe58dc3cc656b9", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/gnat-0a8e98bb647746b2)
[INFO] [stdout] 
[INFO] [stdout] running 21 tests
[INFO] [stdout] test consts::test_usize_max ... ok
[INFO] [stdout] test consts::test_generated_maxes ... ok
[INFO] [stdout] test expr::bitmath::test_bit_and ... ok
[INFO] [stdout] test expr::bitmath::test_bit_or ... ok
[INFO] [stdout] test expr::cmp::test_eq ... ok
[INFO] [stdout] test expr::divrem::test_rem ... ok
[INFO] [stdout] test expr::divrem::test_div ... ok
[INFO] [stdout] test expr::cmp::test_lt ... ok
[INFO] [stdout] test expr::bitmath::test_bit_xor ... ok
[INFO] [stdout] test expr::add::test_add ... ok
[INFO] [stdout] test expr::cmp::test_cmp ... ok
[INFO] [stdout] test expr::log::test_base_len ... ok
[INFO] [stdout] test expr::log::test_ilog ... ok
[INFO] [stdout] test expr::primitives::opaqueness_tests ... ok
[INFO] [stdout] test expr::pow::test_pow ... ok
[INFO] [stdout] test expr::testing::test_satdec ... ok
[INFO] [stdout] test expr::shift::test_shr ... ok
[INFO] [stdout] test expr::sub::test_abs_diff ... ok
[INFO] [stdout] test expr::sub::test_sat_sub ... ok
[INFO] [stdout] test expr::shift::test_shl ... ok
[INFO] [stdout] test expr::mul::test_mul ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 21 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests gnat
[INFO] [stdout] 
[INFO] [stdout] running 64 tests
[INFO] [stdout] test src/array/arr_deq.rs - array::arr_deq::ArrDeqApi<A>::assert_empty (line 581) ... ok
[INFO] [stdout] test src/array/arr_deq.rs - array::arr_deq::ArrDeqApi<A>::assert_full (line 551) ... ok
[INFO] [stdout] test src/array/arr_deq.rs - array::arr_deq::ArrDeqApi<A>::into_contiguous (line 526) ... ok
[INFO] [stdout] test src/array.rs - array::__drop_items (line 186) ... ok
[INFO] [stdout] test src/array/arr_deq.rs - array::arr_deq::ArrDeqApi<A>::is_empty (line 220) ... ok
[INFO] [stdout] test src/array/arr_deq.rs - array::arr_deq::ArrDeqApi<A>::as_slices (line 436) ... ok
[INFO] [stdout] test src/array/arr_deq.rs - array::arr_deq::ArrDeqApi<A>::len (line 207) ... ok
[INFO] [stdout] test src/array/arr_deq.rs - array::arr_deq::ArrDeqApi<A>::capacity (line 195) ... ok
[INFO] [stdout] test src/array/arr_deq.rs - array::arr_deq::ArrDeqApi<A>::as_mut_slices (line 128) ... ok
[INFO] [stdout] test src/array/arr_deq.rs - array::arr_deq::ArrDeqApi<A>::make_contiguous (line 466) ... ok
[INFO] [stdout] test src/array/arr_deq.rs - array::arr_deq::ArrDeqApi<A>::is_full (line 233) ... ok
[INFO] [stdout] test src/array/arr_deq.rs - array::arr_deq::ArrDeqApi<A>::push_back (line 342) ... ok
[INFO] [stdout] test src/array/arr_deq.rs - array::arr_deq::ArrDeqApi<A>::pop_front (line 246) ... ok
[INFO] [stdout] test src/array/arr_deq.rs - array::arr_deq::ArrDeqApi<A>::pop_back (line 285) ... ok
[INFO] [stdout] test src/array/arr_deq.rs - array::arr_deq::ArrDeqApi<A>::new_full (line 176) ... ok
[INFO] [stdout] test src/array/arr_deq.rs - array::arr_deq::ArrDeqApi<A>::try_push_front (line 364) ... ok
[INFO] [stdout] test src/array/arr_deq.rs - array::arr_deq::ArrDeqApi<A>::new (line 156) ... ok
[INFO] [stdout] test src/array/arr_vec.rs - array::arr_vec::ArrVecApi<A>::as_slice (line 243) ... ok
[INFO] [stdout] test src/array/arr_vec.rs - array::arr_vec::ArrVecApi<A>::assert_full (line 337) ... ok
[INFO] [stdout] test src/array/arr_vec.rs - array::arr_vec::ArrVecApi<A>::as_mut_slice (line 271) ... ok
[INFO] [stdout] test src/array/arr_deq.rs - array::arr_deq::ArrDeqApi<A>::try_push_back (line 399) ... ok
[INFO] [stdout] test src/array/arr_vec.rs - array::arr_vec::ArrVecApi<A>::assert_empty (line 370) ... ok
[INFO] [stdout] test src/array/arr_deq.rs - array::arr_deq::ArrDeqApi<A>::push_front (line 320) ... ok
[INFO] [stdout] test src/array/arr_vec.rs - array::arr_vec::ArrVecApi<A>::capacity (line 297) ... ok
[INFO] [stdout] test src/array/arr_vec.rs - array::arr_vec::ArrVecApi<A>::into_deque (line 496) ... ok
[INFO] [stdout] test src/array/arr_vec.rs - array::arr_vec::ArrVecApi<A>::from_uninit_array (line 152) ... ok
[INFO] [stdout] test src/array/arr_vec.rs - array::arr_vec::ArrVecApi<A>::is_full (line 309) ... ok
[INFO] [stdout] test src/array/arr_vec.rs - array::arr_vec::ArrVecApi<A>::from_uninit_parts (line 81) ... ok
[INFO] [stdout] test src/array/arr_vec.rs - array::arr_vec::ArrVecApi<A>::new (line 192) ... ok
[INFO] [stdout] test src/array/arr_vec.rs - array::arr_vec::ArrVecApi<A>::new_full (line 205) ... ok
[INFO] [stdout] test src/array/arr_vec.rs - array::arr_vec::ArrVecApi<A>::push (line 402) ... ok
[INFO] [stdout] test src/array/arr_vec.rs - array::arr_vec::ArrVecApi<A>::try_push (line 417) ... ok
[INFO] [stdout] test src/array/arr_vec.rs - array::arr_vec::ArrVecApi<A>::pop (line 449) ... ok
[INFO] [stdout] test src/array/arr_vec.rs - array::arr_vec::ArrVecApi<A>::split_at_spare (line 221) ... ok
[INFO] [stdout] test src/array/arr_vec.rs - array::arr_vec::ArrVecApi<A>::split_at_spare_mut (line 117) ... ok
[INFO] [stdout] test src/expr.rs - expr (line 175) ... FAILED
[INFO] [stdout] test src/expr.rs - expr (line 41) ... FAILED
[INFO] [stdout] test src/array/impls.rs - array::impls::ArrApi<A>::retype (line 120) ... ok
[INFO] [stdout] test src/expr.rs - expr (line 78) ... FAILED
[INFO] [stdout] test src/array/impls/base.rs - array::impls::base::ArrApi<A>::of (line 55) ... ok
[INFO] [stdout] test src/array/impls.rs - array::impls::ArrApi<A>::from_fn (line 89) ... ok
[INFO] [stdout] test src/array/impls.rs - array::impls::ArrApi<A>::retype (line 111) ... ok
[INFO] [stdout] test src/expr.rs - expr::divrem::Div (line 290) ... ok
[INFO] [stdout] test src/expr.rs - expr::divrem::Div (line 297) ... ok
[INFO] [stdout] test src/expr.rs - expr::divrem::Rem (line 298) ... ok
[INFO] [stdout] test src/expr.rs - expr::log::BaseLen (line 291) ... ok
[INFO] [stdout] test src/expr.rs - expr::log::Log (line 290) ... ok
[INFO] [stdout] test src/array/impls/base.rs - array::impls::base::ArrApi<A>::try_into_std (line 27) ... ok
[INFO] [stdout] test src/expr.rs - expr::nat_expr (line 192) - compile fail ... ok
[INFO] [stdout] test src/array/impls/base.rs - array::impls::base::ArrApi<A>::into_uninit_std (line 136) ... ok
[INFO] [stdout] test src/expr.rs - expr::nat_expr (line 198) - compile fail ... ok
[INFO] [stdout] test src/expr.rs - expr::divrem::Rem (line 291) ... ok
[INFO] [stdout] test src/expr.rs - expr::log::BaseLen (line 299) ... ok
[INFO] [stdout] test src/expr.rs - expr::log::BaseLen (line 306) ... ok
[INFO] [stdout] test src/lib.rs - (line 25) - compile fail ... ok
[INFO] [stdout] test src/lib.rs - (line 62) - compile fail ... ok
[INFO] [stdout] test src/lib.rs - NatExpr (line 167) - compile fail ... ok
[INFO] [stdout] test src/lib.rs - (line 49) ... FAILED
[INFO] [stdout] test src/lib.rs - (line 97) ... FAILED
[INFO] [stdout] test src/lib.rs - NatExpr (line 165) ... ok
[INFO] [stdout] test src/lib.rs - (line 23) ... ok
[INFO] [stdout] test src/expr.rs - expr::log::Log (line 297) ... ok
[INFO] [stdout] test src/lib.rs - lit (line 190) ... ok
[INFO] [stdout] test src/array/impls/base.rs - array::impls::base::ArrApi<A>::of (line 62) ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- src/expr.rs - expr (line 175) stdout ----
[INFO] [stdout] error[E0433]: cannot find `nat_expr` in `gnat`
[INFO] [stdout]    --> src/expr.rs:179:9
[INFO] [stdout]     |
[INFO] [stdout] 179 | #[gnat::nat_expr]
[INFO] [stdout]     |         ^^^^^^^^ could not find `nat_expr` in `gnat`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:327:20
[INFO] [stdout]     |
[INFO] [stdout] 326 | #[cfg(feature = "macros")]
[INFO] [stdout]     |       ------------------ the item is gated behind the `macros` feature
[INFO] [stdout] 327 | pub use gnat_proc::nat_expr;
[INFO] [stdout]     |                    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0433`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/expr.rs - expr (line 41) stdout ----
[INFO] [stdout] error[E0433]: cannot find `nat_expr` in `gnat`
[INFO] [stdout]    --> src/expr.rs:45:9
[INFO] [stdout]     |
[INFO] [stdout]  45 | #[gnat::nat_expr]
[INFO] [stdout]     |         ^^^^^^^^ could not find `nat_expr` in `gnat`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:327:20
[INFO] [stdout]     |
[INFO] [stdout] 326 | #[cfg(feature = "macros")]
[INFO] [stdout]     |       ------------------ the item is gated behind the `macros` feature
[INFO] [stdout] 327 | pub use gnat_proc::nat_expr;
[INFO] [stdout]     |                    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `expr` in `gnat`
[INFO] [stdout]    --> src/expr.rs:46:47
[INFO] [stdout]     |
[INFO] [stdout]  46 | type MyBitAnd<L: NatExpr, R: NatExpr> = gnat::expr! {
[INFO] [stdout]     |                                               ^^^^ could not find `expr` in `gnat`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:272:14
[INFO] [stdout]     |
[INFO] [stdout] 271 | #[cfg(feature = "macros")]
[INFO] [stdout]     |       ------------------ the item is gated behind the `macros` feature
[INFO] [stdout] 272 | macro_rules! expr {
[INFO] [stdout]     |              ^^^^
[INFO] [stdout] 
[INFO] [stdout] error[E0091]: type parameter `L` is never used
[INFO] [stdout]   --> src/expr.rs:46:15
[INFO] [stdout]    |
[INFO] [stdout] 46 | type MyBitAnd<L: NatExpr, R: NatExpr> = gnat::expr! {
[INFO] [stdout]    |               ^ unused type parameter
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider removing `L` or referring to it in the body of the type alias
[INFO] [stdout] 
[INFO] [stdout] error[E0091]: type parameter `R` is never used
[INFO] [stdout]   --> src/expr.rs:46:27
[INFO] [stdout]    |
[INFO] [stdout] 46 | type MyBitAnd<L: NatExpr, R: NatExpr> = gnat::expr! {
[INFO] [stdout]    |                           ^ unused type parameter
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider removing `R` or referring to it in the body of the type alias
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 4 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0091, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0091`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/expr.rs - expr (line 78) stdout ----
[INFO] [stdout] error[E0433]: cannot find `nat_expr` in `gnat`
[INFO] [stdout]    --> src/expr.rs:101:9
[INFO] [stdout]     |
[INFO] [stdout] 101 | #[gnat::nat_expr]
[INFO] [stdout]     |         ^^^^^^^^ could not find `nat_expr` in `gnat`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:327:20
[INFO] [stdout]     |
[INFO] [stdout] 326 | #[cfg(feature = "macros")]
[INFO] [stdout]     |       ------------------ the item is gated behind the `macros` feature
[INFO] [stdout] 327 | pub use gnat_proc::nat_expr;
[INFO] [stdout]     |                    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `expr` in `gnat`
[INFO] [stdout]    --> src/expr.rs:102:78
[INFO] [stdout]     |
[INFO] [stdout] 102 | pub type _DivAux<L: RNat, R: Nat, AccMod: NatExpr, AccQuot: NatExpr> = gnat::expr! {
[INFO] [stdout]     |                                                                              ^^^^ could not find `expr` in `gnat`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:272:14
[INFO] [stdout]     |
[INFO] [stdout] 271 | #[cfg(feature = "macros")]
[INFO] [stdout]     |       ------------------ the item is gated behind the `macros` feature
[INFO] [stdout] 272 | macro_rules! expr {
[INFO] [stdout]     |              ^^^^
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `nat_expr` in `gnat`
[INFO] [stdout]    --> src/expr.rs:114:9
[INFO] [stdout]     |
[INFO] [stdout] 114 | #[gnat::nat_expr]
[INFO] [stdout]     |         ^^^^^^^^ could not find `nat_expr` in `gnat`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:327:20
[INFO] [stdout]     |
[INFO] [stdout] 326 | #[cfg(feature = "macros")]
[INFO] [stdout]     |       ------------------ the item is gated behind the `macros` feature
[INFO] [stdout] 327 | pub use gnat_proc::nat_expr;
[INFO] [stdout]     |                    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `expr` in `gnat`
[INFO] [stdout]    --> src/expr.rs:115:83
[INFO] [stdout]     |
[INFO] [stdout] 115 | pub type _DivAuxRec<L: RNat, R: Nat, NaiveMod: NatExpr, AccQuot: NatExpr> = gnat::expr! {
[INFO] [stdout]     |                                                                                   ^^^^ could not find `expr` in `gnat`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:272:14
[INFO] [stdout]     |
[INFO] [stdout] 271 | #[cfg(feature = "macros")]
[INFO] [stdout]     |       ------------------ the item is gated behind the `macros` feature
[INFO] [stdout] 272 | macro_rules! expr {
[INFO] [stdout]     |              ^^^^
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `nat_expr` in `gnat`
[INFO] [stdout]    --> src/expr.rs:132:9
[INFO] [stdout]     |
[INFO] [stdout] 132 | #[gnat::nat_expr]
[INFO] [stdout]     |         ^^^^^^^^ could not find `nat_expr` in `gnat`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:327:20
[INFO] [stdout]     |
[INFO] [stdout] 326 | #[cfg(feature = "macros")]
[INFO] [stdout]     |       ------------------ the item is gated behind the `macros` feature
[INFO] [stdout] 327 | pub use gnat_proc::nat_expr;
[INFO] [stdout]     |                    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `expr` in `gnat`
[INFO] [stdout]    --> src/expr.rs:133:59
[INFO] [stdout]     |
[INFO] [stdout] 133 | pub type _DivAuxEnter<L: Nat, R: Nat, AccL: RNat> = gnat::expr! {
[INFO] [stdout]     |                                                           ^^^^ could not find `expr` in `gnat`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:272:14
[INFO] [stdout]     |
[INFO] [stdout] 271 | #[cfg(feature = "macros")]
[INFO] [stdout]     |       ------------------ the item is gated behind the `macros` feature
[INFO] [stdout] 272 | macro_rules! expr {
[INFO] [stdout]     |              ^^^^
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `nat_expr` in `gnat`
[INFO] [stdout]    --> src/expr.rs:147:9
[INFO] [stdout]     |
[INFO] [stdout] 147 | #[gnat::nat_expr]
[INFO] [stdout]     |         ^^^^^^^^ could not find `nat_expr` in `gnat`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:327:20
[INFO] [stdout]     |
[INFO] [stdout] 326 | #[cfg(feature = "macros")]
[INFO] [stdout]     |       ------------------ the item is gated behind the `macros` feature
[INFO] [stdout] 327 | pub use gnat_proc::nat_expr;
[INFO] [stdout]     |                    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `expr` in `gnat`
[INFO] [stdout]    --> src/expr.rs:148:48
[INFO] [stdout]     |
[INFO] [stdout] 148 | pub type MyDiv<L: NatExpr, R: NatExpr> = gnat::expr! { _DivAuxEnter(L::Eval, R::Eval, Nil) };
[INFO] [stdout]     |                                                ^^^^ could not find `expr` in `gnat`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:272:14
[INFO] [stdout]     |
[INFO] [stdout] 271 | #[cfg(feature = "macros")]
[INFO] [stdout]     |       ------------------ the item is gated behind the `macros` feature
[INFO] [stdout] 272 | macro_rules! expr {
[INFO] [stdout]     |              ^^^^
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `expr` in `gnat`
[INFO] [stdout]    --> src/expr.rs:150:27
[INFO] [stdout]     |
[INFO] [stdout] 150 |     gnat::to_u128::<gnat::expr! { MyDiv(420, 69) }>(),
[INFO] [stdout]     |                           ^^^^ could not find `expr` in `gnat`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:272:14
[INFO] [stdout]     |
[INFO] [stdout] 271 | #[cfg(feature = "macros")]
[INFO] [stdout]     |       ------------------ the item is gated behind the `macros` feature
[INFO] [stdout] 272 | macro_rules! expr {
[INFO] [stdout]     |              ^^^^
[INFO] [stdout] 
[INFO] [stdout] error[E0091]: type parameter `L` is never used
[INFO] [stdout]    --> src/expr.rs:102:18
[INFO] [stdout]     |
[INFO] [stdout] 102 | pub type _DivAux<L: RNat, R: Nat, AccMod: NatExpr, AccQuot: NatExpr> = gnat::expr! {
[INFO] [stdout]     |                  ^ unused type parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `L` or referring to it in the body of the type alias
[INFO] [stdout] 
[INFO] [stdout] error[E0091]: type parameter `R` is never used
[INFO] [stdout]    --> src/expr.rs:102:27
[INFO] [stdout]     |
[INFO] [stdout] 102 | pub type _DivAux<L: RNat, R: Nat, AccMod: NatExpr, AccQuot: NatExpr> = gnat::expr! {
[INFO] [stdout]     |                           ^ unused type parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `R` or referring to it in the body of the type alias
[INFO] [stdout] 
[INFO] [stdout] error[E0091]: type parameter `AccMod` is never used
[INFO] [stdout]    --> src/expr.rs:102:35
[INFO] [stdout]     |
[INFO] [stdout] 102 | pub type _DivAux<L: RNat, R: Nat, AccMod: NatExpr, AccQuot: NatExpr> = gnat::expr! {
[INFO] [stdout]     |                                   ^^^^^^ unused type parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `AccMod` or referring to it in the body of the type alias
[INFO] [stdout] 
[INFO] [stdout] error[E0091]: type parameter `AccQuot` is never used
[INFO] [stdout]    --> src/expr.rs:102:52
[INFO] [stdout]     |
[INFO] [stdout] 102 | pub type _DivAux<L: RNat, R: Nat, AccMod: NatExpr, AccQuot: NatExpr> = gnat::expr! {
[INFO] [stdout]     |                                                    ^^^^^^^ unused type parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `AccQuot` or referring to it in the body of the type alias
[INFO] [stdout] 
[INFO] [stdout] error[E0091]: type parameter `L` is never used
[INFO] [stdout]    --> src/expr.rs:115:21
[INFO] [stdout]     |
[INFO] [stdout] 115 | pub type _DivAuxRec<L: RNat, R: Nat, NaiveMod: NatExpr, AccQuot: NatExpr> = gnat::expr! {
[INFO] [stdout]     |                     ^ unused type parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `L` or referring to it in the body of the type alias
[INFO] [stdout] 
[INFO] [stdout] error[E0091]: type parameter `R` is never used
[INFO] [stdout]    --> src/expr.rs:115:30
[INFO] [stdout]     |
[INFO] [stdout] 115 | pub type _DivAuxRec<L: RNat, R: Nat, NaiveMod: NatExpr, AccQuot: NatExpr> = gnat::expr! {
[INFO] [stdout]     |                              ^ unused type parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `R` or referring to it in the body of the type alias
[INFO] [stdout] 
[INFO] [stdout] error[E0091]: type parameter `NaiveMod` is never used
[INFO] [stdout]    --> src/expr.rs:115:38
[INFO] [stdout]     |
[INFO] [stdout] 115 | pub type _DivAuxRec<L: RNat, R: Nat, NaiveMod: NatExpr, AccQuot: NatExpr> = gnat::expr! {
[INFO] [stdout]     |                                      ^^^^^^^^ unused type parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `NaiveMod` or referring to it in the body of the type alias
[INFO] [stdout] 
[INFO] [stdout] error[E0091]: type parameter `AccQuot` is never used
[INFO] [stdout]    --> src/expr.rs:115:57
[INFO] [stdout]     |
[INFO] [stdout] 115 | pub type _DivAuxRec<L: RNat, R: Nat, NaiveMod: NatExpr, AccQuot: NatExpr> = gnat::expr! {
[INFO] [stdout]     |                                                         ^^^^^^^ unused type parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `AccQuot` or referring to it in the body of the type alias
[INFO] [stdout] 
[INFO] [stdout] error[E0091]: type parameter `L` is never used
[INFO] [stdout]    --> src/expr.rs:133:23
[INFO] [stdout]     |
[INFO] [stdout] 133 | pub type _DivAuxEnter<L: Nat, R: Nat, AccL: RNat> = gnat::expr! {
[INFO] [stdout]     |                       ^ unused type parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `L` or referring to it in the body of the type alias
[INFO] [stdout] 
[INFO] [stdout] error[E0091]: type parameter `R` is never used
[INFO] [stdout]    --> src/expr.rs:133:31
[INFO] [stdout]     |
[INFO] [stdout] 133 | pub type _DivAuxEnter<L: Nat, R: Nat, AccL: RNat> = gnat::expr! {
[INFO] [stdout]     |                               ^ unused type parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `R` or referring to it in the body of the type alias
[INFO] [stdout] 
[INFO] [stdout] error[E0091]: type parameter `AccL` is never used
[INFO] [stdout]    --> src/expr.rs:133:39
[INFO] [stdout]     |
[INFO] [stdout] 133 | pub type _DivAuxEnter<L: Nat, R: Nat, AccL: RNat> = gnat::expr! {
[INFO] [stdout]     |                                       ^^^^ unused type parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `AccL` or referring to it in the body of the type alias
[INFO] [stdout] 
[INFO] [stdout] error[E0091]: type parameter `L` is never used
[INFO] [stdout]    --> src/expr.rs:148:16
[INFO] [stdout]     |
[INFO] [stdout] 148 | pub type MyDiv<L: NatExpr, R: NatExpr> = gnat::expr! { _DivAuxEnter(L::Eval, R::Eval, Nil) };
[INFO] [stdout]     |                ^ unused type parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `L` or referring to it in the body of the type alias
[INFO] [stdout] 
[INFO] [stdout] error[E0091]: type parameter `R` is never used
[INFO] [stdout]    --> src/expr.rs:148:28
[INFO] [stdout]     |
[INFO] [stdout] 148 | pub type MyDiv<L: NatExpr, R: NatExpr> = gnat::expr! { _DivAuxEnter(L::Eval, R::Eval, Nil) };
[INFO] [stdout]     |                            ^ unused type parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `R` or referring to it in the body of the type alias
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: Cannot convert `()` to a `gnat::Nat`
[INFO] [stdout]    --> src/expr.rs:150:21
[INFO] [stdout]     |
[INFO] [stdout] 150 |     gnat::to_u128::<gnat::expr! { MyDiv(420, 69) }>(),
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ must implement `gnat::NatExpr` to be used like a `Nat`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `NatExpr` is not implemented for `()`
[INFO] [stdout]     = help: the following other types implement trait `NatExpr`:
[INFO] [stdout]               AbsDiff<L, R>
[INFO] [stdout]               BaseLen<B, N>
[INFO] [stdout]               If<C, T, F>
[INFO] [stdout]               LastBit<N>
[INFO] [stdout]               Le<L, R>
[INFO] [stdout]               Log<B, N>
[INFO] [stdout]               Lt<L, R>
[INFO] [stdout]               Max<L, R>
[INFO] [stdout]             and 52 others
[INFO] [stdout] note: required by a bound in `to_u128`
[INFO] [stdout]    --> src/nat_api.rs:118:25
[INFO] [stdout]     |
[INFO] [stdout] 118 | pub const fn to_u128<N: NatExpr>() -> Option<u128> {
[INFO] [stdout]     |                         ^^^^^^^ required by this bound in `to_u128`
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 23 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0091, E0277, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0091`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - (line 49) stdout ----
[INFO] [stdout] error[E0433]: cannot find `eval` in `gnat`
[INFO] [stdout]    --> src/lib.rs:55:19
[INFO] [stdout]     |
[INFO] [stdout]  55 | ) -> Arr<T, gnat::eval!(M + N)> { // No extra bounds!
[INFO] [stdout]     |                   ^^^^ could not find `eval` in `gnat`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:292:14
[INFO] [stdout]     |
[INFO] [stdout] 291 | #[cfg(feature = "macros")]
[INFO] [stdout]     |       ------------------ the item is gated behind the `macros` feature
[INFO] [stdout] 292 | macro_rules! eval {
[INFO] [stdout]     |              ^^^^
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `()` is not a `gnat::Nat`
[INFO] [stdout]    --> src/lib.rs:55:6
[INFO] [stdout]     |
[INFO] [stdout]  55 | ) -> Arr<T, gnat::eval!(M + N)> { // No extra bounds!
[INFO] [stdout]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^^ expected to implement `gnat::Nat` directly
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `Nat` is not implemented for `()`
[INFO] [stdout]     = note: if `gnat::NatExpr` is implemented, consider using `gnat::Eval<()>`
[INFO] [stdout] help: the trait `gnat::array::Array` is implemented for `ArrInner<T, N>`
[INFO] [stdout]    --> src/internals.rs:177:13
[INFO] [stdout]     |
[INFO] [stdout] 177 |               unsafe impl<T: $($bound)*, N: crate::Nat> Array for $out_inner<T, N> {
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 207 | / gen_arr_internals![
[INFO] [stdout] 208 | |     _NatArrs,
[INFO] [stdout] ...   |
[INFO] [stdout] 233 | |     ArrApi,
[INFO] [stdout] 234 | | ];
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     = note: required for `ArrInner<T, ()>` to implement `gnat::array::Array`
[INFO] [stdout]     = note: this error originates in the macro `gen_arr_internals` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<ArrApi<..., ...> as Array>::Length == <... as _Nat>::Opaque<...>`
[INFO] [stdout]    --> src/lib.rs:56:21
[INFO] [stdout]     |
[INFO] [stdout]  56 |     a.concat_arr(b).retype() // There is even a method for this :)
[INFO] [stdout]     |                     ^^^^^^ expected associated type, found `()`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<<M as gnat::internals::NatSealed>::__Nat as gnat::internals::_Nat>::Opaque<Opaque<N, expr::add::_Add<M, N>>>`
[INFO] [stdout]                      found unit type `()`
[INFO] [stdout]     = help: consider constraining the associated type `<<M as gnat::internals::NatSealed>::__Nat as gnat::internals::_Nat>::Opaque<Opaque<N, expr::add::_Add<M, N>>>` to `()` or calling a method that returns `<<M as gnat::internals::NatSealed>::__Nat as gnat::internals::_Nat>::Opaque<Opaque<N, expr::add::_Add<M, N>>>`
[INFO] [stdout]     = note: for more information, visit https://doc.rust-lang.org/book/ch19-03-advanced-traits.html
[INFO] [stdout] note: required by a bound in `gnat::array::impls::<impl ArrApi<A>>::retype`
[INFO] [stdout]    --> src/array/impls.rs:128:30
[INFO] [stdout]     |
[INFO] [stdout] 126 |     pub const fn retype<Dst>(self) -> Dst
[INFO] [stdout]     |                  ------ required by a bound in this associated function
[INFO] [stdout] 127 |     where
[INFO] [stdout] 128 |         Dst: Array<Item = T, Length = N>,
[INFO] [stdout]     |                              ^^^^^^^^^^ required by this bound in `gnat::array::impls::<impl ArrApi<A>>::retype`
[INFO] [stdout]     = note: the full name for the type has been written to '/tmp/rustdoctestWA8V9q/rust_out.long-type-3316337025575933534.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `(): gnat::internals::NatSealed` is not satisfied in `ArrInner<T, ()>`
[INFO] [stdout]    --> src/lib.rs:56:21
[INFO] [stdout]     |
[INFO] [stdout]  56 |     a.concat_arr(b).retype() // There is even a method for this :)
[INFO] [stdout]     |                     ^^^^^^ within `ArrInner<T, ()>`, the trait `gnat::internals::NatSealed` is not implemented for `()`
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `gnat::array::Array` is implemented for `ArrApi<A>`
[INFO] [stdout]    --> src/array/impls.rs:27:1
[INFO] [stdout]     |
[INFO] [stdout]  27 | unsafe impl<A: Array> Array for ArrApi<A> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required because it appears within the type `ArrInner<T, ()>`
[INFO] [stdout]    --> src/internals.rs:213:13
[INFO] [stdout]     |
[INFO] [stdout] 213 |             ArrInner,
[INFO] [stdout]     |             ^^^^^^^^
[INFO] [stdout]     = note: required for `ArrApi<ArrInner<T, ()>, T>` to implement `gnat::array::Array`
[INFO] [stdout] note: required by a bound in `gnat::array::impls::<impl ArrApi<A>>::retype`
[INFO] [stdout]    --> src/array/impls.rs:128:14
[INFO] [stdout]     |
[INFO] [stdout] 126 |     pub const fn retype<Dst>(self) -> Dst
[INFO] [stdout]     |                  ------ required by a bound in this associated function
[INFO] [stdout] 127 |     where
[INFO] [stdout] 128 |         Dst: Array<Item = T, Length = N>,
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `gnat::array::impls::<impl ArrApi<A>>::retype`
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 4 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0271, E0277, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0271`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - (line 97) stdout ----
[INFO] [stdout] error[E0433]: cannot find `eval` in `gnat`
[INFO] [stdout]    --> src/lib.rs:103:32
[INFO] [stdout]     |
[INFO] [stdout] 103 |         recursive_gnat::<gnat::eval!(N / 2)>() + 1
[INFO] [stdout]     |                                ^^^^ could not find `eval` in `gnat`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:292:14
[INFO] [stdout]     |
[INFO] [stdout] 291 | #[cfg(feature = "macros")]
[INFO] [stdout]     |       ------------------ the item is gated behind the `macros` feature
[INFO] [stdout] 292 | macro_rules! eval {
[INFO] [stdout]     |              ^^^^
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `()` is not a `gnat::Nat`
[INFO] [stdout]    --> src/lib.rs:103:26
[INFO] [stdout]     |
[INFO] [stdout] 103 |         recursive_gnat::<gnat::eval!(N / 2)>() + 1
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^ expected to implement `gnat::Nat` directly
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `Nat` is not implemented for `()`
[INFO] [stdout]     = note: if `gnat::NatExpr` is implemented, consider using `gnat::Eval<()>`
[INFO] [stdout] note: required by a bound in `recursive_gnat`
[INFO] [stdout]    --> src/lib.rs:99:22
[INFO] [stdout]     |
[INFO] [stdout]  99 | fn recursive_gnat<N: gnat::Nat>() -> u32 {
[INFO] [stdout]     |                      ^^^^^^^^^ required by this bound in `recursive_gnat`
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0277, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0277`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     src/expr.rs - expr (line 175)
[INFO] [stdout]     src/expr.rs - expr (line 41)
[INFO] [stdout]     src/expr.rs - expr (line 78)
[INFO] [stdout]     src/lib.rs - (line 49)
[INFO] [stdout]     src/lib.rs - (line 97)
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 59 passed; 5 failed; 0 ignored; 0 measured; 0 filtered out; finished in 5.99s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 6.37s; merged doctests compilation took 0.37s
[INFO] [stderr] error: doctest failed, to rerun pass `--doc`
[INFO] running `Command { std: "docker" "inspect" "a3fc69788eb833a698c7f8432129f48d3855a0ae55dacee5d2fe58dc3cc656b9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a3fc69788eb833a698c7f8432129f48d3855a0ae55dacee5d2fe58dc3cc656b9", kill_on_drop: false }`
[INFO] [stdout] a3fc69788eb833a698c7f8432129f48d3855a0ae55dacee5d2fe58dc3cc656b9
