[INFO] fetching crate refined 0.3.1...
[INFO] testing refined-0.3.1 against 1.91.0 for beta-1.92-2
[INFO] extracting crate refined 0.3.1 into /workspace/builds/worker-4-tc1/source
[INFO] started tweaking crates.io crate refined 0.3.1
[INFO] finished tweaking crates.io crate refined 0.3.1
[INFO] tweaked toml for crates.io crate refined 0.3.1 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate refined 0.3.1 on toolchain 1.91.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.91.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate refined 0.3.1 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" "+1.91.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded syn v2.0.100
[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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+1.91.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6c4aafb43d61f80eec9d70ebdf5ca0492bb4101869c044a712b1bd4da1b19c74
[INFO] running `Command { std: "docker" "start" "-a" "6c4aafb43d61f80eec9d70ebdf5ca0492bb4101869c044a712b1bd4da1b19c74", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6c4aafb43d61f80eec9d70ebdf5ca0492bb4101869c044a712b1bd4da1b19c74", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6c4aafb43d61f80eec9d70ebdf5ca0492bb4101869c044a712b1bd4da1b19c74", kill_on_drop: false }`
[INFO] [stdout] 6c4aafb43d61f80eec9d70ebdf5ca0492bb4101869c044a712b1bd4da1b19c74
[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=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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+1.91.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 6c17c39c93c797c4fc508e5efc9f9e2ea54ae8db5b8ebf49630422e642ad9d05
[INFO] running `Command { std: "docker" "start" "-a" "6c17c39c93c797c4fc508e5efc9f9e2ea54ae8db5b8ebf49630422e642ad9d05", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.94
[INFO] [stderr]    Compiling thiserror v2.0.12
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling syn v2.0.100
[INFO] [stderr]    Compiling const_format_proc_macros v0.2.34
[INFO] [stderr]    Compiling const_format v0.2.34
[INFO] [stderr]    Compiling serde_derive v1.0.219
[INFO] [stderr]    Compiling thiserror-impl v2.0.12
[INFO] [stderr]    Compiling refined v0.3.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 10.01s
[INFO] running `Command { std: "docker" "inspect" "6c17c39c93c797c4fc508e5efc9f9e2ea54ae8db5b8ebf49630422e642ad9d05", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6c17c39c93c797c4fc508e5efc9f9e2ea54ae8db5b8ebf49630422e642ad9d05", kill_on_drop: false }`
[INFO] [stdout] 6c17c39c93c797c4fc508e5efc9f9e2ea54ae8db5b8ebf49630422e642ad9d05
[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=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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+1.91.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f9a27e4af958968c40439b9c3472aa8c3bbda038d93c4f239f935fd0018f9294
[INFO] running `Command { std: "docker" "start" "-a" "f9a27e4af958968c40439b9c3472aa8c3bbda038d93c4f239f935fd0018f9294", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling serde_json v1.0.140
[INFO] [stderr]    Compiling memchr v2.7.4
[INFO] [stderr]    Compiling ryu v1.0.20
[INFO] [stderr]    Compiling refined v0.3.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 6.49s
[INFO] running `Command { std: "docker" "inspect" "f9a27e4af958968c40439b9c3472aa8c3bbda038d93c4f239f935fd0018f9294", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f9a27e4af958968c40439b9c3472aa8c3bbda038d93c4f239f935fd0018f9294", kill_on_drop: false }`
[INFO] [stdout] f9a27e4af958968c40439b9c3472aa8c3bbda038d93c4f239f935fd0018f9294
[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=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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+1.91.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 582b4d4de3a766383c50e4b12569220778aaa8ac7a8712d65cb2dc2313aa36a3
[INFO] running `Command { std: "docker" "start" "-a" "582b4d4de3a766383c50e4b12569220778aaa8ac7a8712d65cb2dc2313aa36a3", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/refined-be6ec6fb65c2e267)
[INFO] [stdout] 
[INFO] [stdout] running 69 tests
[INFO] [stdout] test boolean::tests::test_false ... ok
[INFO] [stdout] test boolean::tests::test_nand ... ok
[INFO] [stdout] test boolean::tests::test_and ... ok
[INFO] [stdout] test boolean::tests::test_nor ... ok
[INFO] [stdout] test boolean::tests::test_not ... ok
[INFO] [stdout] test boolean::tests::test_or ... ok
[INFO] [stdout] test boolean::tests::test_true ... ok
[INFO] [stdout] test boolean::tests::test_xor ... ok
[INFO] [stdout] test boundable::signed::tests::test_closed_interval ... ok
[INFO] [stdout] test boundable::signed::tests::test_closed_open_interval ... ok
[INFO] [stdout] test boundable::signed::tests::test_divisible ... ok
[INFO] [stdout] test boundable::signed::tests::test_equals ... ok
[INFO] [stdout] test boundable::signed::tests::test_even ... ok
[INFO] [stdout] test boundable::signed::tests::test_greater_than ... ok
[INFO] [stdout] test boundable::signed::tests::test_greater_than_equal ... ok
[INFO] [stdout] test boundable::signed::tests::test_less_than_equal ... ok
[INFO] [stdout] test boundable::signed::tests::test_modulo ... ok
[INFO] [stdout] test boundable::signed::tests::test_open_closed_interval ... ok
[INFO] [stdout] test boundable::signed::tests::test_non_zero ... ok
[INFO] [stdout] test boundable::signed::tests::test_less_than ... ok
[INFO] [stdout] test boundable::signed::tests::test_negative ... ok
[INFO] [stdout] test boundable::signed::tests::test_odd ... ok
[INFO] [stdout] test boundable::signed::tests::test_open_interval ... ok
[INFO] [stdout] test boundable::signed::tests::test_positive ... ok
[INFO] [stdout] test boundable::signed::tests::test_zero ... ok
[INFO] [stdout] test boundable::signed::tests::test_non_positive ... ok
[INFO] [stdout] test boundable::unsigned::tests::test_closed_interval ... ok
[INFO] [stdout] test boundable::signed::tests::test_non_negative ... ok
[INFO] [stdout] test boundable::unsigned::tests::test_closed_open_interval ... ok
[INFO] [stdout] test boundable::unsigned::tests::test_equals ... ok
[INFO] [stdout] test boundable::unsigned::tests::test_even ... ok
[INFO] [stdout] test boundable::unsigned::tests::test_divisible ... ok
[INFO] [stdout] test boundable::unsigned::tests::test_greater_than ... ok
[INFO] [stdout] test boundable::unsigned::tests::test_greater_than_equal ... ok
[INFO] [stdout] test boundable::unsigned::tests::test_less_than ... ok
[INFO] [stdout] test boundable::unsigned::tests::test_less_than_equal ... ok
[INFO] [stdout] test boundable::unsigned::tests::test_modulo ... ok
[INFO] [stdout] test boundable::unsigned::tests::test_non_zero ... ok
[INFO] [stdout] test boundable::unsigned::tests::test_odd ... ok
[INFO] [stdout] test boundable::unsigned::tests::test_open_closed_interval ... ok
[INFO] [stdout] test boundable::unsigned::tests::test_open_interval ... ok
[INFO] [stdout] test boundable::unsigned::tests::test_zero ... ok
[INFO] [stdout] test character::tests::test_is_control ... ok
[INFO] [stdout] test character::tests::test_is_digit ... ok
[INFO] [stdout] test character::tests::test_is_hex_digit ... ok
[INFO] [stdout] test character::tests::test_is_lowercase ... ok
[INFO] [stdout] test character::tests::test_is_numeric ... ok
[INFO] [stdout] test character::tests::test_is_uppercase ... ok
[INFO] [stdout] test character::tests::test_is_whitespace ... ok
[INFO] [stdout] test refinement::named::tests::test_named_refinement_deserialize_failure ... ok
[INFO] [stdout] test refinement::named::tests::test_named_refinement_modify_failure ... ok
[INFO] [stdout] test refinement::named::tests::test_named_refinement_modify_success ... ok
[INFO] [stdout] test refinement::named::tests::test_named_refinement_replace_failure ... ok
[INFO] [stdout] test refinement::named::tests::test_named_refinement_replace_success ... ok
[INFO] [stdout] test refinement::named::tests::test_named_refinement_serialize ... ok
[INFO] [stdout] test refinement::named::tests::test_named_refinement_take ... ok
[INFO] [stdout] test refinement::tests::test_refinement_deserialize_failure ... ok
[INFO] [stdout] test refinement::tests::test_refinement_deserialize_success ... ok
[INFO] [stdout] test refinement::named::tests::test_named_refinement_deserialize_success ... ok
[INFO] [stdout] test refinement::tests::test_refinement_modify_failure ... ok
[INFO] [stdout] test refinement::tests::test_refinement_modify_success ... ok
[INFO] [stdout] test refinement::tests::test_refinement_replace_failure ... ok
[INFO] [stdout] test refinement::tests::test_refinement_replace_success ... ok
[INFO] [stdout] test refinement::tests::test_refinement_serialize ... ok
[INFO] [stdout] test refinement::tests::test_refinement_take ... ok
[INFO] [stdout] test string::tests::test_contains ... ok
[INFO] [stdout] test string::tests::test_ends_with ... ok
[INFO] [stdout] test string::tests::test_trimmed ... ok
[INFO] [stdout] test string::tests::test_starts_with ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 69 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests refined
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test src/lib.rs - Predicate::optimize (line 476) ... ignored
[INFO] [stdout] test src/lib.rs - StatefulPredicate::optimize (line 521) ... ignored
[INFO] [stdout] test src/lib.rs - (line 275) ... FAILED
[INFO] [stdout] test src/lib.rs - (line 256) ... FAILED
[INFO] [stdout] test src/lib.rs - (line 215) ... FAILED
[INFO] [stdout] test src/lib.rs - (line 108) ... FAILED
[INFO] [stdout] test src/boundable/unsigned.rs - boundable::unsigned::unsigned_boundable_via_len (line 130) ... ok
[INFO] [stdout] test src/boundable/signed.rs - boundable::signed (line 5) ... ok
[INFO] [stdout] test src/boundable/unsigned.rs - boundable::unsigned (line 5) ... ok
[INFO] [stdout] test src/lib.rs - (line 234) ... FAILED
[INFO] [stdout] test src/boolean.rs - boolean (line 8) ... ok
[INFO] [stdout] test src/lib.rs - type_string (line 430) ... ok
[INFO] [stdout] test src/lib.rs - (line 132) ... ok
[INFO] [stdout] test src/lib.rs - (line 190) ... ok
[INFO] [stdout] test src/lib.rs - (line 31) ... ok
[INFO] [stdout] test src/character.rs - character (line 5) ... ok
[INFO] [stdout] test src/refinement/named.rs - refinement::named::Named (line 17) ... ok
[INFO] [stdout] test src/string.rs - string (line 8) ... ok
[INFO] [stdout] test src/lib.rs - (line 63) ... ok
[INFO] [stdout] test src/lib.rs - (line 170) ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- src/lib.rs - (line 275) stdout ----
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:275:1
[INFO] [stdout]   |
[INFO] [stdout] 3 | #![feature(generic_const_exprs)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot add `refined::Refinement<i16, refined::boundable::signed::LessThan<50>>` to `refined::Refinement<i16, refined::boundable::signed::LessThan<100>>`
[INFO] [stdout]   --> src/lib.rs:286:73
[INFO] [stdout]    |
[INFO] [stdout] 14 | let result: Refinement<i16, LessThan<149>> = LT100::refine(99).unwrap() + LT50::refine(49).unwrap();
[INFO] [stdout]    |                                              -------------------------- ^ ------------------------- refined::Refinement<i16, refined::boundable::signed::LessThan<50>>
[INFO] [stdout]    |                                              |
[INFO] [stdout]    |                                              refined::Refinement<i16, refined::boundable::signed::LessThan<100>>
[INFO] [stdout]    |
[INFO] [stdout] note: the foreign item type `refined::Refinement<i16, refined::boundable::signed::LessThan<100>>` doesn't implement `Add<refined::Refinement<i16, refined::boundable::signed::LessThan<50>>>`
[INFO] [stdout]   --> /opt/rustwide/workdir/src/refinement/mod.rs:24:1
[INFO] [stdout]    |
[INFO] [stdout] 24 | pub struct Refinement<T, P: Predicate<T>>(pub(crate) T, pub(crate) PhantomData<P>);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not implement `Add<refined::Refinement<i16, refined::boundable::signed::LessThan<50>>>`
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0369, E0554.
[INFO] [stdout] For more information about an error, try `rustc --explain E0369`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - (line 256) stdout ----
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:256:1
[INFO] [stdout]   |
[INFO] [stdout] 3 | #![feature(generic_const_exprs)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot add `Refinement<u8, And<GreaterThanEqual<1>, LessThanEqual<10>>>` to `Refinement<u8, And<GreaterThanEqual<1>, LessThanEqual<10>>>`
[INFO] [stdout]   --> src/lib.rs:269:6
[INFO] [stdout]    |
[INFO] [stdout] 16 |    a + b // The addition here doesn't require a runtime bounds check
[INFO] [stdout]    |    - ^ - Refinement<u8, And<GreaterThanEqual<1>, LessThanEqual<10>>>
[INFO] [stdout]    |    |
[INFO] [stdout]    |    Refinement<u8, And<GreaterThanEqual<1>, LessThanEqual<10>>>
[INFO] [stdout]    |
[INFO] [stdout] note: the foreign item type `refined::Refinement<u8, And<refined::boundable::unsigned::GreaterThanEqual<1>, refined::boundable::unsigned::LessThanEqual<10>>>` doesn't implement `Add`
[INFO] [stdout]   --> /opt/rustwide/workdir/src/refinement/mod.rs:24:1
[INFO] [stdout]    |
[INFO] [stdout] 24 | pub struct Refinement<T, P: Predicate<T>>(pub(crate) T, pub(crate) PhantomData<P>);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not implement `Add`
[INFO] [stdout]    = note: the full name for the type has been written to '/tmp/rustdoctestb9sCYT/rust_out.long-type-14675446967946131851.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0369, E0554.
[INFO] [stdout] For more information about an error, try `rustc --explain E0369`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - (line 215) stdout ----
[INFO] [stdout] error[E0432]: unresolved import `refined::Implies`
[INFO] [stdout]   --> src/lib.rs:222:73
[INFO] [stdout]    |
[INFO] [stdout] 10 | use refined::{Refinement, RefinementOps, boundable::unsigned::LessThan, Implies};
[INFO] [stdout]    |                                                                         ^^^^^^^ no `Implies` in the root
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:215:1
[INFO] [stdout]   |
[INFO] [stdout] 3 | #![feature(generic_const_exprs)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `imply` found for struct `Refinement<u8, refined::boundable::unsigned::LessThan<50>>` in the current scope
[INFO] [stdout]   --> src/lib.rs:229:46
[INFO] [stdout]    |
[INFO] [stdout] 17 | let ex: Refinement<u8, LessThan<51>> = lt_50.imply();
[INFO] [stdout]    |                                              ^^^^^ method not found in `Refinement<u8, refined::boundable::unsigned::LessThan<50>>`
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `imply` found for struct `Refinement<u8, refined::boundable::unsigned::LessThan<50>>` in the current scope
[INFO] [stdout]   --> src/lib.rs:230:33
[INFO] [stdout]    |
[INFO] [stdout] 18 | let result = takes_lt_100(lt_50.imply());
[INFO] [stdout]    |                                 ^^^^^ method not found in `Refinement<u8, refined::boundable::unsigned::LessThan<50>>`
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 4 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0554, E0599.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - (line 108) stdout ----
[INFO] [stdout] error[E0432]: unresolved import `refined::string::Regex`
[INFO] [stdout]  --> src/lib.rs:110:27
[INFO] [stdout]   |
[INFO] [stdout] 5 | use refined::{prelude::*, string::Regex};
[INFO] [stdout]   |                           ^^^^^^^^^^^^^ no `Regex` in `string`
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - (line 234) stdout ----
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:234:1
[INFO] [stdout]   |
[INFO] [stdout] 3 | #![feature(generic_const_exprs)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `imply` found for struct `Refinement<u8, And<GreaterThan<25>, LessThan<75>>>` in the current scope
[INFO] [stdout]   --> src/lib.rs:248:40
[INFO] [stdout]    |
[INFO] [stdout] 17 | assert_eq!(bigger_range, smaller_range.imply());
[INFO] [stdout]    |                                        ^^^^^ method not found in `Refinement<u8, And<GreaterThan<25>, LessThan<75>>>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the full name for the type has been written to '/tmp/rustdoctest1l7JYP/rust_out.long-type-5752942542957696249.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0554, E0599.
[INFO] [stdout] For more information about an error, try `rustc --explain E0554`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     src/lib.rs - (line 108)
[INFO] [stdout]     src/lib.rs - (line 215)
[INFO] [stdout]     src/lib.rs - (line 234)
[INFO] [stdout]     src/lib.rs - (line 256)
[INFO] [stdout]     src/lib.rs - (line 275)
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 13 passed; 5 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.85s
[INFO] [stdout] 
[INFO] [stderr] error: doctest failed, to rerun pass `--doc`
[INFO] running `Command { std: "docker" "inspect" "582b4d4de3a766383c50e4b12569220778aaa8ac7a8712d65cb2dc2313aa36a3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "582b4d4de3a766383c50e4b12569220778aaa8ac7a8712d65cb2dc2313aa36a3", kill_on_drop: false }`
[INFO] [stdout] 582b4d4de3a766383c50e4b12569220778aaa8ac7a8712d65cb2dc2313aa36a3
