[INFO] cloning repository https://github.com/Nadrieril/rust-experiments
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Nadrieril/rust-experiments" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FNadrieril%2Frust-experiments", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FNadrieril%2Frust-experiments'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] d67571a39a329f3b5ef7bccb2577b9f628883f51
[INFO] checking Nadrieril/rust-experiments against try#6713fa75964eb229409a9c6f6f5c418423e313ff for pr-133502-22
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FNadrieril%2Frust-experiments" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/Nadrieril/rust-experiments
[INFO] finished tweaking git repo https://github.com/Nadrieril/rust-experiments
[INFO] tweaked toml for git repo https://github.com/Nadrieril/rust-experiments written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/Nadrieril/rust-experiments on toolchain 6713fa75964eb229409a9c6f6f5c418423e313ff
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/Nadrieril/rust-experiments 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" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 9c94f3a2909936b9355805b5d57d0622dd1b7e8f4c41d56e9adb4f7de7690d7f
[INFO] running `Command { std: "docker" "start" "-a" "9c94f3a2909936b9355805b5d57d0622dd1b7e8f4c41d56e9adb4f7de7690d7f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9c94f3a2909936b9355805b5d57d0622dd1b7e8f4c41d56e9adb4f7de7690d7f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9c94f3a2909936b9355805b5d57d0622dd1b7e8f4c41d56e9adb4f7de7690d7f", kill_on_drop: false }`
[INFO] [stdout] 9c94f3a2909936b9355805b5d57d0622dd1b7e8f4c41d56e9adb4f7de7690d7f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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=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" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 74c2d21066845e2eecca030da9682443b99fa26112712a191f45368486cb6224
[INFO] running `Command { std: "docker" "start" "-a" "74c2d21066845e2eecca030da9682443b99fa26112712a191f45368486cb6224", kill_on_drop: false }`
[INFO] [stderr]     Checking never-say-never v6.6.666
[INFO] [stderr]     Checking take_mut v0.2.2
[INFO] [stderr]     Checking ghost-cell v0.2.6
[INFO] [stderr]     Checking higher-kinded-types v0.1.1
[INFO] [stderr]     Checking experiments v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused imports: `marker::PhantomData`, `ops::Receiver`, and `ptr::NonNull`
[INFO] [stdout]  --> src/reborrow.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{marker::PhantomData, ops::Receiver, ptr::NonNull};
[INFO] [stdout]   |           ^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `marker::PhantomData`, `ops::Receiver`, and `ptr::NonNull`
[INFO] [stdout]  --> src/reborrow.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{marker::PhantomData, ops::Receiver, ptr::NonNull};
[INFO] [stdout]   |           ^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]   --> src/sep_logic_in_types/tree.rs:79:10
[INFO] [stdout]    |
[INFO] [stdout] 79 |       ) -> Result<
[INFO] [stdout]    |  __________^
[INFO] [stdout] 80 | |         ExistsLt!(<'child> = (
[INFO] [stdout] 81 | |            Ptr<AccessThroughType<'child, Perm, Own<'child>>, NormalNode<'child, 'this>>,
[INFO] [stdout] 82 | |            Wand<
[INFO] [stdout] ...  |
[INFO] [stdout] 87 | |         Ptr<Perm, Self>,
[INFO] [stdout] 88 | |     >
[INFO] [stdout]    | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `own::POwn: permissions::PtrAccess`
[INFO] [stdout]   --> src/sep_logic_in_types/tree.rs:92:34
[INFO] [stdout]    |
[INFO] [stdout] 92 |         Self: HasField<FieldTok, FieldTy = Option<Child<'this>>>,
[INFO] [stdout]    |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `permissions::PointsTo`
[INFO] [stdout]   --> src/sep_logic_in_types/permissions.rs:10:36
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub struct PointsTo<'this, Access: PtrAccess = (), Pred: PointeePred = ()>(
[INFO] [stdout]    |                                    ^^^^^^^^^ required by this bound in `PointsTo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, ..., ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]   --> src/sep_logic_in_types/tree.rs:79:10
[INFO] [stdout]    |
[INFO] [stdout] 79 |       ) -> Result<
[INFO] [stdout]    |  __________^
[INFO] [stdout] 80 | |         ExistsLt!(<'child> = (
[INFO] [stdout] 81 | |            Ptr<AccessThroughType<'child, Perm, Own<'child>>, NormalNode<'child, 'this>>,
[INFO] [stdout] 82 | |            Wand<
[INFO] [stdout] ...  |
[INFO] [stdout] 87 | |         Ptr<Perm, Self>,
[INFO] [stdout] 88 | |     >
[INFO] [stdout]    | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]   --> src/sep_logic_in_types/tree.rs:79:10
[INFO] [stdout]    |
[INFO] [stdout] 79 |       ) -> Result<
[INFO] [stdout]    |  __________^
[INFO] [stdout] 80 | |         ExistsLt!(<'child> = (
[INFO] [stdout] 81 | |            Ptr<AccessThroughType<'child, Perm, Own<'child>>, NormalNode<'child, 'this>>,
[INFO] [stdout] 82 | |            Wand<
[INFO] [stdout] ...  |
[INFO] [stdout] 87 | |         Ptr<Perm, Self>,
[INFO] [stdout] 88 | |     >
[INFO] [stdout]    | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `own::POwn: permissions::PtrAccess`
[INFO] [stdout]   --> src/sep_logic_in_types/tree.rs:92:34
[INFO] [stdout]    |
[INFO] [stdout] 92 |         Self: HasField<FieldTok, FieldTy = Option<Child<'this>>>,
[INFO] [stdout]    |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `permissions::PointsTo`
[INFO] [stdout]   --> src/sep_logic_in_types/permissions.rs:10:36
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub struct PointsTo<'this, Access: PtrAccess = (), Pred: PointeePred = ()>(
[INFO] [stdout]    |                                    ^^^^^^^^^ required by this bound in `PointsTo`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, ..., ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]   --> src/sep_logic_in_types/tree.rs:79:10
[INFO] [stdout]    |
[INFO] [stdout] 79 |       ) -> Result<
[INFO] [stdout]    |  __________^
[INFO] [stdout] 80 | |         ExistsLt!(<'child> = (
[INFO] [stdout] 81 | |            Ptr<AccessThroughType<'child, Perm, Own<'child>>, NormalNode<'child, 'this>>,
[INFO] [stdout] 82 | |            Wand<
[INFO] [stdout] ...  |
[INFO] [stdout] 87 | |         Ptr<Perm, Self>,
[INFO] [stdout] 88 | |     >
[INFO] [stdout]    | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `permissions::PointsTo<'_, own::POwn>: permissions::IsPointsTo<'_>`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:113:70
[INFO] [stdout]     |
[INFO] [stdout] 113 | ...                   let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `sep_logic_in_types::ptr::Ptr::<OuterPerm, sep_logic_in_types::ptr::Ptr<InnerPerm, T>>::read_nested_ptr`
[INFO] [stdout]    --> src/sep_logic_in_types/ptr.rs:216:20
[INFO] [stdout]     |
[INFO] [stdout] 208 |     pub fn read_nested_ptr<'this, 'inner>(
[INFO] [stdout]     |            --------------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 216 |         InnerPerm: IsPointsTo<'inner>,
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^ required by this bound in `Ptr::<OuterPerm, Ptr<InnerPerm, T>>::read_nested_ptr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<permissions::PointsTo<'_, own::POwn> as permissions::HasAccess>::Access: permissions::AccessThrough<<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access> as permissions::HasAccess>::Access>`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:113:70
[INFO] [stdout]     |
[INFO] [stdout] 113 | ...                   let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `sep_logic_in_types::ptr::Ptr::<OuterPerm, sep_logic_in_types::ptr::Ptr<InnerPerm, T>>::read_nested_ptr`
[INFO] [stdout]    --> src/sep_logic_in_types/ptr.rs:217:28
[INFO] [stdout]     |
[INFO] [stdout] 208 |     pub fn read_nested_ptr<'this, 'inner>(
[INFO] [stdout]     |            --------------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 217 |         InnerPerm::Access: AccessThrough<OuterPerm::Access>,
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Ptr::<OuterPerm, Ptr<InnerPerm, T>>::read_nested_ptr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<permissions::PointsTo<'_, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<permissions::PointsTo<'_, <... as permissions::HasAccess>::Access> as permissions::HasAccess>::Access>>::AccessThrough <: _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:113:57
[INFO] [stdout]     |
[INFO] [stdout] 113 | ...                   let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<permissions::PointsTo<'_, own::POwn> as permissions::IsPointsTo<'_>>::Pred <: _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:113:57
[INFO] [stdout]     |
[INFO] [stdout] 113 | ...                   let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `permissions::PointsTo<'_, own::POwn>: permissions::IsPointsTo<'_>`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:118:34
[INFO] [stdout]     |
[INFO] [stdout] 118 | ...                   .write_nested_ptr_wand()
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `permissions::<impl vptr::VPtr<OuterPerm, sep_logic_in_types::ptr::Ptr<InnerPerm, T>>>::write_nested_ptr_wand`
[INFO] [stdout]    --> src/sep_logic_in_types/permissions.rs:134:23
[INFO] [stdout]     |
[INFO] [stdout] 125 |     pub fn write_nested_ptr_wand<'this, 'inner, NewInnerPerm>(
[INFO] [stdout]     |            --------------------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 134 |         NewInnerPerm: IsPointsTo<'inner>,
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^ required by this bound in `permissions::<impl VPtr<OuterPerm, Ptr<InnerPerm, T>>>::write_nested_ptr_wand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<permissions::PointsTo<'_, own::POwn> as permissions::HasAccess>::Access: permissions::AccessThrough<<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access> as permissions::HasAccess>::Access>`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:118:34
[INFO] [stdout]     |
[INFO] [stdout] 118 | ...                   .write_nested_ptr_wand()
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `permissions::<impl vptr::VPtr<OuterPerm, sep_logic_in_types::ptr::Ptr<InnerPerm, T>>>::write_nested_ptr_wand`
[INFO] [stdout]    --> src/sep_logic_in_types/permissions.rs:135:31
[INFO] [stdout]     |
[INFO] [stdout] 125 |     pub fn write_nested_ptr_wand<'this, 'inner, NewInnerPerm>(
[INFO] [stdout]     |            --------------------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 135 |         NewInnerPerm::Access: AccessThrough<OuterPerm::Access>,
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `permissions::<impl VPtr<OuterPerm, Ptr<InnerPerm, T>>>::write_nested_ptr_wand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ <: <<permissions::PointsTo<'_, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<permissions::PointsTo<'_, ...> as permissions::HasAccess>::Access>>::AccessThrough`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:116:40
[INFO] [stdout]     |
[INFO] [stdout] 116 |   ...                   let wand = ptr_to_field
[INFO] [stdout]     |  __________________________________^
[INFO] [stdout] 117 | | ...                       .into_virtual()
[INFO] [stdout] 118 | | ...                       .write_nested_ptr_wand()
[INFO] [stdout]     | |__________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ <: <permissions::PointsTo<'_, own::POwn> as permissions::IsPointsTo<'_>>::Pred`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:116:40
[INFO] [stdout]     |
[INFO] [stdout] 116 |   ...                   let wand = ptr_to_field
[INFO] [stdout]     |  __________________________________^
[INFO] [stdout] 117 | | ...                       .into_virtual()
[INFO] [stdout] 118 | | ...                       .write_nested_ptr_wand()
[INFO] [stdout]     | |__________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <<... as permissions::HasAccess>::Access as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)>: ForLifetime`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:32
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `brands::ExistsLt::<T>::pack_lt`
[INFO] [stdout]    --> src/sep_logic_in_types/brands.rs:44:9
[INFO] [stdout]     |
[INFO] [stdout]  44 | impl<T: PackLt> ExistsLt<T> {
[INFO] [stdout]     |         ^^^^^^ required by this bound in `ExistsLt::<T>::pack_lt`
[INFO] [stdout]  45 |     pub fn pack_lt(val: T::Of<'_>) -> Self {
[INFO] [stdout]     |            ------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `(sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, _, _>, sep_logic_in_types::tree::Node<'_, permissions::PointsTo<'this>>>, ...) == ...`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:32
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <... as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)>>: Sized`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:32
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                       -- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |                       |
[INFO] [stdout]     |                       required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `Ok`
[INFO] [stdout]    --> /rustc/6713fa75964eb229409a9c6f6f5c418423e313ff/library/core/src/result.rs:561:4
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <... as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)>>: Sized`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:129:21
[INFO] [stdout]     |
[INFO] [stdout] 129 |                     Err(ptr)
[INFO] [stdout]     |                     ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `Err`
[INFO] [stdout]    --> /rustc/6713fa75964eb229409a9c6f6f5c418423e313ff/library/core/src/result.rs:566:4
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <... as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)> as ForLifetime>::Of<'_>: Sized`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:50
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: all function arguments must have a statically known size
[INFO] [stdout]     = help: unsized fn params are gated as an unstable feature
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `higher_kinded_types::ඞ::ForLt<(dyn for<'sub> higher_kinded_types::ඞ::WithLifetime<'sub, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'sub, <Perm as permissions::HasAccess>::Access>, ...>, ...)> + 'static)>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:97:9
[INFO] [stdout]     |
[INFO] [stdout]  97 | /         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 132 | |         })
[INFO] [stdout]     | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, ..., ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:97:9
[INFO] [stdout]     |
[INFO] [stdout]  97 | /         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 132 | |         })
[INFO] [stdout]     | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/sep_logic_in_types/tree.rs:97:39: 97:67}` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:97:9
[INFO] [stdout]     |
[INFO] [stdout]  97 | /         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 132 | |         })
[INFO] [stdout]     | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'sub> higher_kinded_types::ඞ::WithLifetime<'sub, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'sub, <... as permissions::HasAccess>::Access>, ...>, ...)> + 'static)>>` is well-formed
[INFO] [stdout]   --> src/sep_logic_in_types/tree.rs:97:29
[INFO] [stdout]    |
[INFO] [stdout] 97 |         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout]    |                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/sep_logic_in_types/tree.rs:97:39: 97:67}` is well-formed
[INFO] [stdout]   --> src/sep_logic_in_types/tree.rs:97:29
[INFO] [stdout]    |
[INFO] [stdout] 97 |         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout]    |                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, ..., ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]   --> src/sep_logic_in_types/tree.rs:97:29
[INFO] [stdout]    |
[INFO] [stdout] 97 |         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout]    |                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/sep_logic_in_types/tree.rs:97:39: 97:67}` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:97:39
[INFO] [stdout]     |
[INFO] [stdout]  97 |           self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout]     |  _______________________________________^
[INFO] [stdout] ...   |
[INFO] [stdout] 132 | |         })
[INFO] [stdout]     | |_________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `(sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<...>>>, ...)` is well-formed
[INFO] [stdout]   --> src/sep_logic_in_types/tree.rs:97:40
[INFO] [stdout]    |
[INFO] [stdout] 97 |         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout]    |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, own::POwn>, sep_logic_in_types::tree::Node<'child, ...>>> + 'static)>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:103:19
[INFO] [stdout]     |
[INFO] [stdout] 103 |             match ptr_to_field.read_opt() {
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:103:32
[INFO] [stdout]     |
[INFO] [stdout] 103 |             match ptr_to_field.read_opt() {
[INFO] [stdout]     |                                ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'sub> higher_kinded_types::ඞ::WithLifetime<'sub, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'sub, ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:103:32
[INFO] [stdout]     |
[INFO] [stdout] 103 |             match ptr_to_field.read_opt() {
[INFO] [stdout]     |                                ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `higher_kinded_types::ඞ::ForLt<(dyn for<'sub> higher_kinded_types::ඞ::WithLifetime<'sub, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'sub, <Perm as permissions::HasAccess>::Access>, ...>, ...)> + 'static)>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:21
[INFO] [stdout]     |
[INFO] [stdout] 105 | /                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 123 | |                         })
[INFO] [stdout] 124 | |                     })
[INFO] [stdout]     | |______________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, ..., ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:21
[INFO] [stdout]     |
[INFO] [stdout] 105 | /                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 123 | |                         })
[INFO] [stdout] 124 | |                     })
[INFO] [stdout]     | |______________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/sep_logic_in_types/tree.rs:105:33: 105:59}` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:21
[INFO] [stdout]     |
[INFO] [stdout] 105 | /                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 123 | |                         })
[INFO] [stdout] 124 | |                     })
[INFO] [stdout]     | |______________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'sub> higher_kinded_types::ඞ::WithLifetime<'sub, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'sub, <... as permissions::HasAccess>::Access>, ...>, ...)> + 'static)>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:23
[INFO] [stdout]     |
[INFO] [stdout] 105 |                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout]     |                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/sep_logic_in_types/tree.rs:105:33: 105:59}` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:23
[INFO] [stdout]     |
[INFO] [stdout] 105 |                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout]     |                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, ..., ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:23
[INFO] [stdout]     |
[INFO] [stdout] 105 |                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout]     |                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/sep_logic_in_types/tree.rs:105:33: 105:59}` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:33
[INFO] [stdout]     |
[INFO] [stdout] 105 |                       x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] ...   |
[INFO] [stdout] 123 | |                         })
[INFO] [stdout] 124 | |                     })
[INFO] [stdout]     | |_____________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `(sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>, ...)` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:34
[INFO] [stdout]     |
[INFO] [stdout] 105 |                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, own::POwn>, sep_logic_in_types::tree::Node<'child, permissions::PointsTo<'this>>>> + 'static)>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:25
[INFO] [stdout]     |
[INFO] [stdout] 111 | /                         ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout] 112 | |                             // ptr_to_field: Ptr<PointsTo<'subsub, Access>, Ptr<Own<'child>, NormalNode<'child, 'this>>>,
[INFO] [stdout] 113 | |                             let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout] ...   |
[INFO] [stdout] 122 | |                             Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout] 123 | |                         })
[INFO] [stdout]     | |__________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, ..., ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:25
[INFO] [stdout]     |
[INFO] [stdout] 111 | /                         ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout] 112 | |                             // ptr_to_field: Ptr<PointsTo<'subsub, Access>, Ptr<Own<'child>, NormalNode<'child, 'this>>>,
[INFO] [stdout] 113 | |                             let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout] ...   |
[INFO] [stdout] 122 | |                             Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout] 123 | |                         })
[INFO] [stdout]     | |__________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/sep_logic_in_types/tree.rs:111:55: 111:69}` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:25
[INFO] [stdout]     |
[INFO] [stdout] 111 | /                         ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout] 112 | |                             // ptr_to_field: Ptr<PointsTo<'subsub, Access>, Ptr<Own<'child>, NormalNode<'child, 'this>>>,
[INFO] [stdout] 113 | |                             let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout] ...   |
[INFO] [stdout] 122 | |                             Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout] 123 | |                         })
[INFO] [stdout]     | |__________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = ...> + 'static)>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:38
[INFO] [stdout]     |
[INFO] [stdout] 111 |                         ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/sep_logic_in_types/tree.rs:111:55: 111:69}` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:38
[INFO] [stdout]     |
[INFO] [stdout] 111 |                         ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, ..., ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:38
[INFO] [stdout]     |
[INFO] [stdout] 111 |                         ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/sep_logic_in_types/tree.rs:111:55: 111:69}` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:55
[INFO] [stdout]     |
[INFO] [stdout] 111 |                           ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout]     |  _______________________________________________________^
[INFO] [stdout] 112 | |                             // ptr_to_field: Ptr<PointsTo<'subsub, Access>, Ptr<Own<'child>, NormalNode<'child, 'this>>>,
[INFO] [stdout] 113 | |                             let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout] ...   |
[INFO] [stdout] 122 | |                             Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout] 123 | |                         })
[INFO] [stdout]     | |_________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, own::POwn>, ...>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:56
[INFO] [stdout]     |
[INFO] [stdout] 111 |                         ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `permissions::PointsTo<'_, own::POwn>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:113:57
[INFO] [stdout]     |
[INFO] [stdout] 113 | ...                   let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, own::POwn>, ...>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:113:70
[INFO] [stdout]     |
[INFO] [stdout] 113 | ...                   let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `(sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_>, ...>>, ...)` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:113:70
[INFO] [stdout]     |
[INFO] [stdout] 113 | ...                   let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `permissions::PointsTo<'_, own::POwn>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:116:40
[INFO] [stdout]     |
[INFO] [stdout] 116 |   ...                   let wand = ptr_to_field
[INFO] [stdout]     |  __________________________________^
[INFO] [stdout] 117 | | ...                       .into_virtual()
[INFO] [stdout] 118 | | ...                       .write_nested_ptr_wand()
[INFO] [stdout]     | |__________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, <<permissions::PointsTo<'_, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:118:34
[INFO] [stdout]     |
[INFO] [stdout] 118 | ...                   .write_nested_ptr_wand()
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, own::POwn>, ...>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:116:40
[INFO] [stdout]     |
[INFO] [stdout] 116 |   ...                   let wand = ptr_to_field
[INFO] [stdout]     |  __________________________________^
[INFO] [stdout] 117 | | ...                       .into_virtual()
[INFO] [stdout] 118 | | ...                       .write_nested_ptr_wand()
[INFO] [stdout] 119 | | ...                       .then(vpack_target_lt_wand())
[INFO] [stdout]     | |_______________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = ...> + 'static)>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:116:40
[INFO] [stdout]     |
[INFO] [stdout] 116 |   ...                   let wand = ptr_to_field
[INFO] [stdout]     |  __________________________________^
[INFO] [stdout] 117 | | ...                       .into_virtual()
[INFO] [stdout] 118 | | ...                       .write_nested_ptr_wand()
[INFO] [stdout] 119 | | ...                       .then(vpack_target_lt_wand())
[INFO] [stdout]     | |_______________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, _, _>, sep_logic_in_types::tree::Node<'_, permissions::PointsTo<'this>>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:119:34
[INFO] [stdout]     |
[INFO] [stdout] 119 | ...                   .then(vpack_target_lt_wand())
[INFO] [stdout]     |                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, ...>, ...>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:119:34
[INFO] [stdout]     |
[INFO] [stdout] 119 | ...                   .then(vpack_target_lt_wand())
[INFO] [stdout]     |                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, ...>, ...>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:119:39
[INFO] [stdout]     |
[INFO] [stdout] 119 | ...                   .then(vpack_target_lt_wand())
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, own::POwn>, sep_logic_in_types::tree::Node<'child, permissions::PointsTo<'this>>>> + 'static)>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:119:39
[INFO] [stdout]     |
[INFO] [stdout] 119 | ...                   .then(vpack_target_lt_wand())
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, <higher_kinded_types::ඞ::ForLt<...> as ForLifetime>::Of<'_>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:119:39
[INFO] [stdout]     |
[INFO] [stdout] 119 | ...                   .then(vpack_target_lt_wand())
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = ...> + 'static)>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:116:40
[INFO] [stdout]     |
[INFO] [stdout] 116 |   ...                   let wand = ptr_to_field
[INFO] [stdout]     |  __________________________________^
[INFO] [stdout] 117 | | ...                       .into_virtual()
[INFO] [stdout] 118 | | ...                       .write_nested_ptr_wand()
[INFO] [stdout] 119 | | ...                       .then(vpack_target_lt_wand())
[INFO] [stdout] 120 | | ...                       .then(opt_wand)
[INFO] [stdout]     | |_________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:116:40
[INFO] [stdout]     |
[INFO] [stdout] 116 |   ...                   let wand = ptr_to_field
[INFO] [stdout]     |  __________________________________^
[INFO] [stdout] 117 | | ...                       .into_virtual()
[INFO] [stdout] 118 | | ...                       .write_nested_ptr_wand()
[INFO] [stdout] 119 | | ...                       .then(vpack_target_lt_wand())
[INFO] [stdout] 120 | | ...                       .then(opt_wand)
[INFO] [stdout]     | |_________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, _, _>, sep_logic_in_types::tree::Node<'_, permissions::PointsTo<'this>>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:120:34
[INFO] [stdout]     |
[INFO] [stdout] 120 | ...                   .then(opt_wand)
[INFO] [stdout]     |                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:120:34
[INFO] [stdout]     |
[INFO] [stdout] 120 | ...                   .then(opt_wand)
[INFO] [stdout]     |                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:120:39
[INFO] [stdout]     |
[INFO] [stdout] 120 | ...                   .then(opt_wand)
[INFO] [stdout]     |                             ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:116:40
[INFO] [stdout]     |
[INFO] [stdout] 116 |   ...                   let wand = ptr_to_field
[INFO] [stdout]     |  __________________________________^
[INFO] [stdout] 117 | | ...                       .into_virtual()
[INFO] [stdout] 118 | | ...                       .write_nested_ptr_wand()
[INFO] [stdout] 119 | | ...                       .then(vpack_target_lt_wand())
[INFO] [stdout] 120 | | ...                       .then(opt_wand)
[INFO] [stdout] 121 | | ...                       .then(field_wand);
[INFO] [stdout]     | |___________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, _, _>, sep_logic_in_types::tree::Node<'_, permissions::PointsTo<'this>>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:121:34
[INFO] [stdout]     |
[INFO] [stdout] 121 | ...                   .then(field_wand);
[INFO] [stdout]     |                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<...>>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:121:34
[INFO] [stdout]     |
[INFO] [stdout] 121 | ...                   .then(field_wand);
[INFO] [stdout]     |                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<...>>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:121:39
[INFO] [stdout]     |
[INFO] [stdout] 121 | ...                   .then(field_wand);
[INFO] [stdout]     |                             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <... as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:29
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                       ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <... as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:32
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <... as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:32
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <<... as permissions::HasAccess>::Access as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:32
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <... as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)> as ForLifetime>::Of<'_>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:50
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, ..., ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:29
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:127:32
[INFO] [stdout]     |
[INFO] [stdout] 127 |                     let vptr = field_wand.apply(ptr_to_field.into_virtual());
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<...>>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:127:43
[INFO] [stdout]     |
[INFO] [stdout] 127 |                     let vptr = field_wand.apply(ptr_to_field.into_virtual());
[INFO] [stdout]     |                                           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:127:43
[INFO] [stdout]     |
[INFO] [stdout] 127 |                     let vptr = field_wand.apply(ptr_to_field.into_virtual());
[INFO] [stdout]     |                                           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:127:49
[INFO] [stdout]     |
[INFO] [stdout] 127 |                     let vptr = field_wand.apply(ptr_to_field.into_virtual());
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Option<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, own::POwn>, ...>> + 'static)>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:127:49
[INFO] [stdout]     |
[INFO] [stdout] 127 |                     let vptr = field_wand.apply(ptr_to_field.into_virtual());
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:127:62
[INFO] [stdout]     |
[INFO] [stdout] 127 |                     let vptr = field_wand.apply(ptr_to_field.into_virtual());
[INFO] [stdout]     |                                                              ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:127:62
[INFO] [stdout]     |
[INFO] [stdout] 127 |                     let vptr = field_wand.apply(ptr_to_field.into_virtual());
[INFO] [stdout]     |                                                              ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <... as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:129:21
[INFO] [stdout]     |
[INFO] [stdout] 129 |                     Err(ptr)
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, ..., ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:129:21
[INFO] [stdout]     |
[INFO] [stdout] 129 |                     Err(ptr)
[INFO] [stdout]     |                     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:94:5
[INFO] [stdout]     |
[INFO] [stdout]  94 | /     {
[INFO] [stdout]  95 | |         // self: Ptr<Perm, Node<'this, Parent>>
[INFO] [stdout]  96 | |         let this = self.copy();
[INFO] [stdout]  97 | |         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 132 | |         })
[INFO] [stdout] 133 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:97:9
[INFO] [stdout]     |
[INFO] [stdout]  97 | /         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 132 | |         })
[INFO] [stdout]     | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:97:68
[INFO] [stdout]     |
[INFO] [stdout]  97 |           self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout]     |  ____________________________________________________________________^
[INFO] [stdout] ...   |
[INFO] [stdout] 132 | |         })
[INFO] [stdout]     | |_________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 | /             match ptr_to_field.read_opt() {
[INFO] [stdout] 104 | |                 Ok(x) => {
[INFO] [stdout] 105 | |                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 131 | |             }
[INFO] [stdout]     | |_____________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:104:26
[INFO] [stdout]     |
[INFO] [stdout] 104 |                   Ok(x) => {
[INFO] [stdout]     |  __________________________^
[INFO] [stdout] 105 | |                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 124 | |                     })
[INFO] [stdout] 125 | |                 }
[INFO] [stdout]     | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:21
[INFO] [stdout]     |
[INFO] [stdout] 105 | /                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 123 | |                         })
[INFO] [stdout] 124 | |                     })
[INFO] [stdout]     | |______________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:60
[INFO] [stdout]     |
[INFO] [stdout] 105 |                       x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout]     |  ____________________________________________________________^
[INFO] [stdout] ...   |
[INFO] [stdout] 123 | |                         })
[INFO] [stdout] 124 | |                     })
[INFO] [stdout]     | |_____________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:25
[INFO] [stdout]     |
[INFO] [stdout] 111 | /                         ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout] 112 | |                             // ptr_to_field: Ptr<PointsTo<'subsub, Access>, Ptr<Own<'child>, NormalNode<'child, 'this>>>,
[INFO] [stdout] 113 | |                             let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout] ...   |
[INFO] [stdout] 122 | |                             Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout] 123 | |                         })
[INFO] [stdout]     | |__________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:70
[INFO] [stdout]     |
[INFO] [stdout] 111 |                           ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout]     |  ______________________________________________________________________^
[INFO] [stdout] 112 | |                             // ptr_to_field: Ptr<PointsTo<'subsub, Access>, Ptr<Own<'child>, NormalNode<'child, 'this>>>,
[INFO] [stdout] 113 | |                             let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout] ...   |
[INFO] [stdout] 122 | |                             Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout] 123 | |                         })
[INFO] [stdout]     | |_________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<permissions::PointsTo<'_, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<permissions::PointsTo<'_, <... as permissions::HasAccess>::Access> as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:113:57
[INFO] [stdout]     |
[INFO] [stdout] 113 | ...                   let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<permissions::PointsTo<'_, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<permissions::PointsTo<'_, <... as permissions::HasAccess>::Access> as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:116:40
[INFO] [stdout]     |
[INFO] [stdout] 116 |   ...                   let wand = ptr_to_field
[INFO] [stdout]     |  __________________________________^
[INFO] [stdout] 117 | | ...                       .into_virtual()
[INFO] [stdout] 118 | | ...                       .write_nested_ptr_wand()
[INFO] [stdout]     | |__________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:29
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:29
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                       ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:32
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:32
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:32
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:55
[INFO] [stdout]     |
[INFO] [stdout] 111 |                           ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout]     |  _______________________________________________________^
[INFO] [stdout] 112 | |                             // ptr_to_field: Ptr<PointsTo<'subsub, Access>, Ptr<Own<'child>, NormalNode<'child, 'this>>>,
[INFO] [stdout] 113 | |                             let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout] ...   |
[INFO] [stdout] 122 | |                             Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout] 123 | |                         })
[INFO] [stdout]     | |_________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:33
[INFO] [stdout]     |
[INFO] [stdout] 105 |                       x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] ...   |
[INFO] [stdout] 123 | |                         })
[INFO] [stdout] 124 | |                     })
[INFO] [stdout]     | |_____________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:126:38
[INFO] [stdout]     |
[INFO] [stdout] 126 |                   Err(ptr_to_field) => {
[INFO] [stdout]     |  ______________________________________^
[INFO] [stdout] 127 | |                     let vptr = field_wand.apply(ptr_to_field.into_virtual());
[INFO] [stdout] 128 | |                     let ptr = this.with_virtual(vptr);
[INFO] [stdout] 129 | |                     Err(ptr)
[INFO] [stdout] 130 | |                 }
[INFO] [stdout]     | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:129:21
[INFO] [stdout]     |
[INFO] [stdout] 129 |                     Err(ptr)
[INFO] [stdout]     |                     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:129:21
[INFO] [stdout]     |
[INFO] [stdout] 129 |                     Err(ptr)
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:97:39
[INFO] [stdout]     |
[INFO] [stdout]  97 |           self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout]     |  _______________________________________^
[INFO] [stdout] ...   |
[INFO] [stdout] 132 | |         })
[INFO] [stdout]     | |_________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]   --> src/sep_logic_in_types/tree.rs:76:5
[INFO] [stdout]    |
[INFO] [stdout] 76 | /     fn read_child<Perm, FieldTok>(
[INFO] [stdout] 77 | |         self: Ptr<Perm, Self>,
[INFO] [stdout] 78 | |         tok: FieldTok,
[INFO] [stdout] 79 | |     ) -> Result<
[INFO] [stdout] ...  |
[INFO] [stdout] 92 | |         Self: HasField<FieldTok, FieldTy = Option<Child<'this>>>,
[INFO] [stdout] 93 | |         for<'child> <Own<'child> as HasAccess>::Access: AccessThrough<Perm::Access>,
[INFO] [stdout]    | |____________________________________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]   --> src/sep_logic_in_types/tree.rs:97:39
[INFO] [stdout]    |
[INFO] [stdout] 97 |         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout]    |                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:33
[INFO] [stdout]     |
[INFO] [stdout] 105 |                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:55
[INFO] [stdout]     |
[INFO] [stdout] 111 |                         ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `permissions::PointsTo<'_, own::POwn>: permissions::IsPointsTo<'_>`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:113:70
[INFO] [stdout]     |
[INFO] [stdout] 113 | ...                   let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `sep_logic_in_types::ptr::Ptr::<OuterPerm, sep_logic_in_types::ptr::Ptr<InnerPerm, T>>::read_nested_ptr`
[INFO] [stdout]    --> src/sep_logic_in_types/ptr.rs:216:20
[INFO] [stdout]     |
[INFO] [stdout] 208 |     pub fn read_nested_ptr<'this, 'inner>(
[INFO] [stdout]     |            --------------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 216 |         InnerPerm: IsPointsTo<'inner>,
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^ required by this bound in `Ptr::<OuterPerm, Ptr<InnerPerm, T>>::read_nested_ptr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<permissions::PointsTo<'_, own::POwn> as permissions::HasAccess>::Access: permissions::AccessThrough<<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access> as permissions::HasAccess>::Access>`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:113:70
[INFO] [stdout]     |
[INFO] [stdout] 113 | ...                   let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `sep_logic_in_types::ptr::Ptr::<OuterPerm, sep_logic_in_types::ptr::Ptr<InnerPerm, T>>::read_nested_ptr`
[INFO] [stdout]    --> src/sep_logic_in_types/ptr.rs:217:28
[INFO] [stdout]     |
[INFO] [stdout] 208 |     pub fn read_nested_ptr<'this, 'inner>(
[INFO] [stdout]     |            --------------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 217 |         InnerPerm::Access: AccessThrough<OuterPerm::Access>,
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Ptr::<OuterPerm, Ptr<InnerPerm, T>>::read_nested_ptr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<permissions::PointsTo<'_, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<permissions::PointsTo<'_, <... as permissions::HasAccess>::Access> as permissions::HasAccess>::Access>>::AccessThrough <: _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:113:57
[INFO] [stdout]     |
[INFO] [stdout] 113 | ...                   let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<permissions::PointsTo<'_, own::POwn> as permissions::IsPointsTo<'_>>::Pred <: _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:113:57
[INFO] [stdout]     |
[INFO] [stdout] 113 | ...                   let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `permissions::PointsTo<'_, own::POwn>: permissions::IsPointsTo<'_>`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:118:34
[INFO] [stdout]     |
[INFO] [stdout] 118 | ...                   .write_nested_ptr_wand()
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `permissions::<impl vptr::VPtr<OuterPerm, sep_logic_in_types::ptr::Ptr<InnerPerm, T>>>::write_nested_ptr_wand`
[INFO] [stdout]    --> src/sep_logic_in_types/permissions.rs:134:23
[INFO] [stdout]     |
[INFO] [stdout] 125 |     pub fn write_nested_ptr_wand<'this, 'inner, NewInnerPerm>(
[INFO] [stdout]     |            --------------------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 134 |         NewInnerPerm: IsPointsTo<'inner>,
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^ required by this bound in `permissions::<impl VPtr<OuterPerm, Ptr<InnerPerm, T>>>::write_nested_ptr_wand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<permissions::PointsTo<'_, own::POwn> as permissions::HasAccess>::Access: permissions::AccessThrough<<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access> as permissions::HasAccess>::Access>`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:118:34
[INFO] [stdout]     |
[INFO] [stdout] 118 | ...                   .write_nested_ptr_wand()
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `permissions::<impl vptr::VPtr<OuterPerm, sep_logic_in_types::ptr::Ptr<InnerPerm, T>>>::write_nested_ptr_wand`
[INFO] [stdout]    --> src/sep_logic_in_types/permissions.rs:135:31
[INFO] [stdout]     |
[INFO] [stdout] 125 |     pub fn write_nested_ptr_wand<'this, 'inner, NewInnerPerm>(
[INFO] [stdout]     |            --------------------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 135 |         NewInnerPerm::Access: AccessThrough<OuterPerm::Access>,
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `permissions::<impl VPtr<OuterPerm, Ptr<InnerPerm, T>>>::write_nested_ptr_wand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ <: <<permissions::PointsTo<'_, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<permissions::PointsTo<'_, ...> as permissions::HasAccess>::Access>>::AccessThrough`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:116:40
[INFO] [stdout]     |
[INFO] [stdout] 116 |   ...                   let wand = ptr_to_field
[INFO] [stdout]     |  __________________________________^
[INFO] [stdout] 117 | | ...                       .into_virtual()
[INFO] [stdout] 118 | | ...                       .write_nested_ptr_wand()
[INFO] [stdout]     | |__________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ <: <permissions::PointsTo<'_, own::POwn> as permissions::IsPointsTo<'_>>::Pred`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:116:40
[INFO] [stdout]     |
[INFO] [stdout] 116 |   ...                   let wand = ptr_to_field
[INFO] [stdout]     |  __________________________________^
[INFO] [stdout] 117 | | ...                       .into_virtual()
[INFO] [stdout] 118 | | ...                       .write_nested_ptr_wand()
[INFO] [stdout]     | |__________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <<... as permissions::HasAccess>::Access as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)>: ForLifetime`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:32
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `brands::ExistsLt::<T>::pack_lt`
[INFO] [stdout]    --> src/sep_logic_in_types/brands.rs:44:9
[INFO] [stdout]     |
[INFO] [stdout]  44 | impl<T: PackLt> ExistsLt<T> {
[INFO] [stdout]     |         ^^^^^^ required by this bound in `ExistsLt::<T>::pack_lt`
[INFO] [stdout]  45 |     pub fn pack_lt(val: T::Of<'_>) -> Self {
[INFO] [stdout]     |            ------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `(sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, _, _>, sep_logic_in_types::tree::Node<'_, permissions::PointsTo<'this>>>, ...) == ...`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:32
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <... as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)>>: Sized`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:32
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                       -- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |                       |
[INFO] [stdout]     |                       required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `Ok`
[INFO] [stdout]    --> /rustc/6713fa75964eb229409a9c6f6f5c418423e313ff/library/core/src/result.rs:561:4
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <... as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)>>: Sized`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:129:21
[INFO] [stdout]     |
[INFO] [stdout] 129 |                     Err(ptr)
[INFO] [stdout]     |                     ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `Err`
[INFO] [stdout]    --> /rustc/6713fa75964eb229409a9c6f6f5c418423e313ff/library/core/src/result.rs:566:4
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <... as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)> as ForLifetime>::Of<'_>: Sized`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:50
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: all function arguments must have a statically known size
[INFO] [stdout]     = help: unsized fn params are gated as an unstable feature
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `higher_kinded_types::ඞ::ForLt<(dyn for<'sub> higher_kinded_types::ඞ::WithLifetime<'sub, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'sub, <Perm as permissions::HasAccess>::Access>, ...>, ...)> + 'static)>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:97:9
[INFO] [stdout]     |
[INFO] [stdout]  97 | /         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 132 | |         })
[INFO] [stdout]     | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, ..., ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:97:9
[INFO] [stdout]     |
[INFO] [stdout]  97 | /         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 132 | |         })
[INFO] [stdout]     | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/sep_logic_in_types/tree.rs:97:39: 97:67}` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:97:9
[INFO] [stdout]     |
[INFO] [stdout]  97 | /         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 132 | |         })
[INFO] [stdout]     | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'sub> higher_kinded_types::ඞ::WithLifetime<'sub, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'sub, <... as permissions::HasAccess>::Access>, ...>, ...)> + 'static)>>` is well-formed
[INFO] [stdout]   --> src/sep_logic_in_types/tree.rs:97:29
[INFO] [stdout]    |
[INFO] [stdout] 97 |         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout]    |                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/sep_logic_in_types/tree.rs:97:39: 97:67}` is well-formed
[INFO] [stdout]   --> src/sep_logic_in_types/tree.rs:97:29
[INFO] [stdout]    |
[INFO] [stdout] 97 |         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout]    |                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, ..., ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]   --> src/sep_logic_in_types/tree.rs:97:29
[INFO] [stdout]    |
[INFO] [stdout] 97 |         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout]    |                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/sep_logic_in_types/tree.rs:97:39: 97:67}` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:97:39
[INFO] [stdout]     |
[INFO] [stdout]  97 |           self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout]     |  _______________________________________^
[INFO] [stdout] ...   |
[INFO] [stdout] 132 | |         })
[INFO] [stdout]     | |_________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `(sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<...>>>, ...)` is well-formed
[INFO] [stdout]   --> src/sep_logic_in_types/tree.rs:97:40
[INFO] [stdout]    |
[INFO] [stdout] 97 |         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout]    |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, own::POwn>, sep_logic_in_types::tree::Node<'child, ...>>> + 'static)>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:103:19
[INFO] [stdout]     |
[INFO] [stdout] 103 |             match ptr_to_field.read_opt() {
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:103:32
[INFO] [stdout]     |
[INFO] [stdout] 103 |             match ptr_to_field.read_opt() {
[INFO] [stdout]     |                                ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'sub> higher_kinded_types::ඞ::WithLifetime<'sub, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'sub, ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:103:32
[INFO] [stdout]     |
[INFO] [stdout] 103 |             match ptr_to_field.read_opt() {
[INFO] [stdout]     |                                ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `higher_kinded_types::ඞ::ForLt<(dyn for<'sub> higher_kinded_types::ඞ::WithLifetime<'sub, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'sub, <Perm as permissions::HasAccess>::Access>, ...>, ...)> + 'static)>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:21
[INFO] [stdout]     |
[INFO] [stdout] 105 | /                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 123 | |                         })
[INFO] [stdout] 124 | |                     })
[INFO] [stdout]     | |______________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, ..., ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:21
[INFO] [stdout]     |
[INFO] [stdout] 105 | /                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 123 | |                         })
[INFO] [stdout] 124 | |                     })
[INFO] [stdout]     | |______________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/sep_logic_in_types/tree.rs:105:33: 105:59}` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:21
[INFO] [stdout]     |
[INFO] [stdout] 105 | /                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 123 | |                         })
[INFO] [stdout] 124 | |                     })
[INFO] [stdout]     | |______________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'sub> higher_kinded_types::ඞ::WithLifetime<'sub, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'sub, <... as permissions::HasAccess>::Access>, ...>, ...)> + 'static)>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:23
[INFO] [stdout]     |
[INFO] [stdout] 105 |                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout]     |                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/sep_logic_in_types/tree.rs:105:33: 105:59}` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:23
[INFO] [stdout]     |
[INFO] [stdout] 105 |                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout]     |                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, ..., ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:23
[INFO] [stdout]     |
[INFO] [stdout] 105 |                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout]     |                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/sep_logic_in_types/tree.rs:105:33: 105:59}` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:33
[INFO] [stdout]     |
[INFO] [stdout] 105 |                       x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] ...   |
[INFO] [stdout] 123 | |                         })
[INFO] [stdout] 124 | |                     })
[INFO] [stdout]     | |_____________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `(sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>, ...)` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:34
[INFO] [stdout]     |
[INFO] [stdout] 105 |                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, own::POwn>, sep_logic_in_types::tree::Node<'child, permissions::PointsTo<'this>>>> + 'static)>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:25
[INFO] [stdout]     |
[INFO] [stdout] 111 | /                         ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout] 112 | |                             // ptr_to_field: Ptr<PointsTo<'subsub, Access>, Ptr<Own<'child>, NormalNode<'child, 'this>>>,
[INFO] [stdout] 113 | |                             let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout] ...   |
[INFO] [stdout] 122 | |                             Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout] 123 | |                         })
[INFO] [stdout]     | |__________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, ..., ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:25
[INFO] [stdout]     |
[INFO] [stdout] 111 | /                         ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout] 112 | |                             // ptr_to_field: Ptr<PointsTo<'subsub, Access>, Ptr<Own<'child>, NormalNode<'child, 'this>>>,
[INFO] [stdout] 113 | |                             let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout] ...   |
[INFO] [stdout] 122 | |                             Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout] 123 | |                         })
[INFO] [stdout]     | |__________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/sep_logic_in_types/tree.rs:111:55: 111:69}` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:25
[INFO] [stdout]     |
[INFO] [stdout] 111 | /                         ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout] 112 | |                             // ptr_to_field: Ptr<PointsTo<'subsub, Access>, Ptr<Own<'child>, NormalNode<'child, 'this>>>,
[INFO] [stdout] 113 | |                             let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout] ...   |
[INFO] [stdout] 122 | |                             Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout] 123 | |                         })
[INFO] [stdout]     | |__________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = ...> + 'static)>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:38
[INFO] [stdout]     |
[INFO] [stdout] 111 |                         ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/sep_logic_in_types/tree.rs:111:55: 111:69}` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:38
[INFO] [stdout]     |
[INFO] [stdout] 111 |                         ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, ..., ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:38
[INFO] [stdout]     |
[INFO] [stdout] 111 |                         ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/sep_logic_in_types/tree.rs:111:55: 111:69}` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:55
[INFO] [stdout]     |
[INFO] [stdout] 111 |                           ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout]     |  _______________________________________________________^
[INFO] [stdout] 112 | |                             // ptr_to_field: Ptr<PointsTo<'subsub, Access>, Ptr<Own<'child>, NormalNode<'child, 'this>>>,
[INFO] [stdout] 113 | |                             let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout] ...   |
[INFO] [stdout] 122 | |                             Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout] 123 | |                         })
[INFO] [stdout]     | |_________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, own::POwn>, ...>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:56
[INFO] [stdout]     |
[INFO] [stdout] 111 |                         ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `permissions::PointsTo<'_, own::POwn>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:113:57
[INFO] [stdout]     |
[INFO] [stdout] 113 | ...                   let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, own::POwn>, ...>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:113:70
[INFO] [stdout]     |
[INFO] [stdout] 113 | ...                   let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `(sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_>, ...>>, ...)` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:113:70
[INFO] [stdout]     |
[INFO] [stdout] 113 | ...                   let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `permissions::PointsTo<'_, own::POwn>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:116:40
[INFO] [stdout]     |
[INFO] [stdout] 116 |   ...                   let wand = ptr_to_field
[INFO] [stdout]     |  __________________________________^
[INFO] [stdout] 117 | | ...                       .into_virtual()
[INFO] [stdout] 118 | | ...                       .write_nested_ptr_wand()
[INFO] [stdout]     | |__________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, <<permissions::PointsTo<'_, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:118:34
[INFO] [stdout]     |
[INFO] [stdout] 118 | ...                   .write_nested_ptr_wand()
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, own::POwn>, ...>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:116:40
[INFO] [stdout]     |
[INFO] [stdout] 116 |   ...                   let wand = ptr_to_field
[INFO] [stdout]     |  __________________________________^
[INFO] [stdout] 117 | | ...                       .into_virtual()
[INFO] [stdout] 118 | | ...                       .write_nested_ptr_wand()
[INFO] [stdout] 119 | | ...                       .then(vpack_target_lt_wand())
[INFO] [stdout]     | |_______________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = ...> + 'static)>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:116:40
[INFO] [stdout]     |
[INFO] [stdout] 116 |   ...                   let wand = ptr_to_field
[INFO] [stdout]     |  __________________________________^
[INFO] [stdout] 117 | | ...                       .into_virtual()
[INFO] [stdout] 118 | | ...                       .write_nested_ptr_wand()
[INFO] [stdout] 119 | | ...                       .then(vpack_target_lt_wand())
[INFO] [stdout]     | |_______________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, _, _>, sep_logic_in_types::tree::Node<'_, permissions::PointsTo<'this>>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:119:34
[INFO] [stdout]     |
[INFO] [stdout] 119 | ...                   .then(vpack_target_lt_wand())
[INFO] [stdout]     |                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, ...>, ...>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:119:34
[INFO] [stdout]     |
[INFO] [stdout] 119 | ...                   .then(vpack_target_lt_wand())
[INFO] [stdout]     |                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, ...>, ...>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:119:39
[INFO] [stdout]     |
[INFO] [stdout] 119 | ...                   .then(vpack_target_lt_wand())
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, own::POwn>, sep_logic_in_types::tree::Node<'child, permissions::PointsTo<'this>>>> + 'static)>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:119:39
[INFO] [stdout]     |
[INFO] [stdout] 119 | ...                   .then(vpack_target_lt_wand())
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, <higher_kinded_types::ඞ::ForLt<...> as ForLifetime>::Of<'_>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:119:39
[INFO] [stdout]     |
[INFO] [stdout] 119 | ...                   .then(vpack_target_lt_wand())
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = ...> + 'static)>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:116:40
[INFO] [stdout]     |
[INFO] [stdout] 116 |   ...                   let wand = ptr_to_field
[INFO] [stdout]     |  __________________________________^
[INFO] [stdout] 117 | | ...                       .into_virtual()
[INFO] [stdout] 118 | | ...                       .write_nested_ptr_wand()
[INFO] [stdout] 119 | | ...                       .then(vpack_target_lt_wand())
[INFO] [stdout] 120 | | ...                       .then(opt_wand)
[INFO] [stdout]     | |_________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:116:40
[INFO] [stdout]     |
[INFO] [stdout] 116 |   ...                   let wand = ptr_to_field
[INFO] [stdout]     |  __________________________________^
[INFO] [stdout] 117 | | ...                       .into_virtual()
[INFO] [stdout] 118 | | ...                       .write_nested_ptr_wand()
[INFO] [stdout] 119 | | ...                       .then(vpack_target_lt_wand())
[INFO] [stdout] 120 | | ...                       .then(opt_wand)
[INFO] [stdout]     | |_________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, _, _>, sep_logic_in_types::tree::Node<'_, permissions::PointsTo<'this>>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:120:34
[INFO] [stdout]     |
[INFO] [stdout] 120 | ...                   .then(opt_wand)
[INFO] [stdout]     |                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:120:34
[INFO] [stdout]     |
[INFO] [stdout] 120 | ...                   .then(opt_wand)
[INFO] [stdout]     |                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:120:39
[INFO] [stdout]     |
[INFO] [stdout] 120 | ...                   .then(opt_wand)
[INFO] [stdout]     |                             ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:116:40
[INFO] [stdout]     |
[INFO] [stdout] 116 |   ...                   let wand = ptr_to_field
[INFO] [stdout]     |  __________________________________^
[INFO] [stdout] 117 | | ...                       .into_virtual()
[INFO] [stdout] 118 | | ...                       .write_nested_ptr_wand()
[INFO] [stdout] 119 | | ...                       .then(vpack_target_lt_wand())
[INFO] [stdout] 120 | | ...                       .then(opt_wand)
[INFO] [stdout] 121 | | ...                       .then(field_wand);
[INFO] [stdout]     | |___________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, _, _>, sep_logic_in_types::tree::Node<'_, permissions::PointsTo<'this>>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:121:34
[INFO] [stdout]     |
[INFO] [stdout] 121 | ...                   .then(field_wand);
[INFO] [stdout]     |                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<...>>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:121:34
[INFO] [stdout]     |
[INFO] [stdout] 121 | ...                   .then(field_wand);
[INFO] [stdout]     |                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<...>>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:121:39
[INFO] [stdout]     |
[INFO] [stdout] 121 | ...                   .then(field_wand);
[INFO] [stdout]     |                             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <... as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:29
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                       ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <... as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:32
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <... as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:32
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <<... as permissions::HasAccess>::Access as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:32
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <... as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)> as ForLifetime>::Of<'_>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:50
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, ..., ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:29
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:127:32
[INFO] [stdout]     |
[INFO] [stdout] 127 |                     let vptr = field_wand.apply(ptr_to_field.into_virtual());
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `wand::Wand<vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<...>>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:127:43
[INFO] [stdout]     |
[INFO] [stdout] 127 |                     let vptr = field_wand.apply(ptr_to_field.into_virtual());
[INFO] [stdout]     |                                           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:127:43
[INFO] [stdout]     |
[INFO] [stdout] 127 |                     let vptr = field_wand.apply(ptr_to_field.into_virtual());
[INFO] [stdout]     |                                           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:127:49
[INFO] [stdout]     |
[INFO] [stdout] 127 |                     let vptr = field_wand.apply(ptr_to_field.into_virtual());
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Option<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, own::POwn>, ...>> + 'static)>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:127:49
[INFO] [stdout]     |
[INFO] [stdout] 127 |                     let vptr = field_wand.apply(ptr_to_field.into_virtual());
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:127:62
[INFO] [stdout]     |
[INFO] [stdout] 127 |                     let vptr = field_wand.apply(ptr_to_field.into_virtual());
[INFO] [stdout]     |                                                              ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `vptr::VPtr<permissions::PointsTo<'_, <Perm as permissions::HasAccess>::Access>, Option<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<...>>>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:127:62
[INFO] [stdout]     |
[INFO] [stdout] 127 |                     let vptr = field_wand.apply(ptr_to_field.into_virtual());
[INFO] [stdout]     |                                                              ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, <... as permissions::AccessThrough<...>>::AccessThrough, ...>, ...>, ...)> + 'static)>>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:129:21
[INFO] [stdout]     |
[INFO] [stdout] 129 |                     Err(ptr)
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `Result<brands::ExistsLt<higher_kinded_types::ඞ::ForLt<(dyn for<'child> higher_kinded_types::ඞ::WithLifetime<'child, T = (sep_logic_in_types::ptr::Ptr<permissions::PointsTo<'child, ..., ...>, ...>, ...)> + 'static)>>, ...>` is well-formed
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:129:21
[INFO] [stdout]     |
[INFO] [stdout] 129 |                     Err(ptr)
[INFO] [stdout]     |                     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:94:5
[INFO] [stdout]     |
[INFO] [stdout]  94 | /     {
[INFO] [stdout]  95 | |         // self: Ptr<Perm, Node<'this, Parent>>
[INFO] [stdout]  96 | |         let this = self.copy();
[INFO] [stdout]  97 | |         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 132 | |         })
[INFO] [stdout] 133 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:97:9
[INFO] [stdout]     |
[INFO] [stdout]  97 | /         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 132 | |         })
[INFO] [stdout]     | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:97:68
[INFO] [stdout]     |
[INFO] [stdout]  97 |           self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout]     |  ____________________________________________________________________^
[INFO] [stdout] ...   |
[INFO] [stdout] 132 | |         })
[INFO] [stdout]     | |_________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 | /             match ptr_to_field.read_opt() {
[INFO] [stdout] 104 | |                 Ok(x) => {
[INFO] [stdout] 105 | |                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 131 | |             }
[INFO] [stdout]     | |_____________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:104:26
[INFO] [stdout]     |
[INFO] [stdout] 104 |                   Ok(x) => {
[INFO] [stdout]     |  __________________________^
[INFO] [stdout] 105 | |                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 124 | |                     })
[INFO] [stdout] 125 | |                 }
[INFO] [stdout]     | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:21
[INFO] [stdout]     |
[INFO] [stdout] 105 | /                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout] ...   |
[INFO] [stdout] 123 | |                         })
[INFO] [stdout] 124 | |                     })
[INFO] [stdout]     | |______________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:60
[INFO] [stdout]     |
[INFO] [stdout] 105 |                       x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout]     |  ____________________________________________________________^
[INFO] [stdout] ...   |
[INFO] [stdout] 123 | |                         })
[INFO] [stdout] 124 | |                     })
[INFO] [stdout]     | |_____________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:25
[INFO] [stdout]     |
[INFO] [stdout] 111 | /                         ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout] 112 | |                             // ptr_to_field: Ptr<PointsTo<'subsub, Access>, Ptr<Own<'child>, NormalNode<'child, 'this>>>,
[INFO] [stdout] 113 | |                             let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout] ...   |
[INFO] [stdout] 122 | |                             Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout] 123 | |                         })
[INFO] [stdout]     | |__________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:70
[INFO] [stdout]     |
[INFO] [stdout] 111 |                           ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout]     |  ______________________________________________________________________^
[INFO] [stdout] 112 | |                             // ptr_to_field: Ptr<PointsTo<'subsub, Access>, Ptr<Own<'child>, NormalNode<'child, 'this>>>,
[INFO] [stdout] 113 | |                             let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout] ...   |
[INFO] [stdout] 122 | |                             Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout] 123 | |                         })
[INFO] [stdout]     | |_________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<permissions::PointsTo<'_, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<permissions::PointsTo<'_, <... as permissions::HasAccess>::Access> as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:113:57
[INFO] [stdout]     |
[INFO] [stdout] 113 | ...                   let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<permissions::PointsTo<'_, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<permissions::PointsTo<'_, <... as permissions::HasAccess>::Access> as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:116:40
[INFO] [stdout]     |
[INFO] [stdout] 116 |   ...                   let wand = ptr_to_field
[INFO] [stdout]     |  __________________________________^
[INFO] [stdout] 117 | | ...                       .into_virtual()
[INFO] [stdout] 118 | | ...                       .write_nested_ptr_wand()
[INFO] [stdout]     | |__________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:29
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:29
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                       ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:32
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:32
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:122:32
[INFO] [stdout]     |
[INFO] [stdout] 122 | ...                   Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout]     |                          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:55
[INFO] [stdout]     |
[INFO] [stdout] 111 |                           ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout]     |  _______________________________________________________^
[INFO] [stdout] 112 | |                             // ptr_to_field: Ptr<PointsTo<'subsub, Access>, Ptr<Own<'child>, NormalNode<'child, 'this>>>,
[INFO] [stdout] 113 | |                             let (ptr_to_field, child) = ptr_to_field.read_nested_ptr();
[INFO] [stdout] ...   |
[INFO] [stdout] 122 | |                             Ok(ExistsLt::pack_lt((child, wand)))
[INFO] [stdout] 123 | |                         })
[INFO] [stdout]     | |_________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:33
[INFO] [stdout]     |
[INFO] [stdout] 105 |                       x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] ...   |
[INFO] [stdout] 123 | |                         })
[INFO] [stdout] 124 | |                     })
[INFO] [stdout]     | |_____________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:126:38
[INFO] [stdout]     |
[INFO] [stdout] 126 |                   Err(ptr_to_field) => {
[INFO] [stdout]     |  ______________________________________^
[INFO] [stdout] 127 | |                     let vptr = field_wand.apply(ptr_to_field.into_virtual());
[INFO] [stdout] 128 | |                     let ptr = this.with_virtual(vptr);
[INFO] [stdout] 129 | |                     Err(ptr)
[INFO] [stdout] 130 | |                 }
[INFO] [stdout]     | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:129:21
[INFO] [stdout]     |
[INFO] [stdout] 129 |                     Err(ptr)
[INFO] [stdout]     |                     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:129:21
[INFO] [stdout]     |
[INFO] [stdout] 129 |                     Err(ptr)
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:97:39
[INFO] [stdout]     |
[INFO] [stdout]  97 |           self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout]     |  _______________________________________^
[INFO] [stdout] ...   |
[INFO] [stdout] 132 | |         })
[INFO] [stdout]     | |_________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]   --> src/sep_logic_in_types/tree.rs:76:5
[INFO] [stdout]    |
[INFO] [stdout] 76 | /     fn read_child<Perm, FieldTok>(
[INFO] [stdout] 77 | |         self: Ptr<Perm, Self>,
[INFO] [stdout] 78 | |         tok: FieldTok,
[INFO] [stdout] 79 | |     ) -> Result<
[INFO] [stdout] ...  |
[INFO] [stdout] 92 | |         Self: HasField<FieldTok, FieldTy = Option<Child<'this>>>,
[INFO] [stdout] 93 | |         for<'child> <Own<'child> as HasAccess>::Access: AccessThrough<Perm::Access>,
[INFO] [stdout]    | |____________________________________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]   --> src/sep_logic_in_types/tree.rs:97:39
[INFO] [stdout]    |
[INFO] [stdout] 97 |         self.get_field(tok).unpack_lt(|(ptr_to_field, field_wand)| {
[INFO] [stdout]    |                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:105:33
[INFO] [stdout]     |
[INFO] [stdout] 105 |                     x.unpack_lt(|(ptr_to_field, opt_wand)| {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `for<'child> <<permissions::PointsTo<'child, own::POwn> as permissions::HasAccess>::Access as permissions::AccessThrough<<Perm as permissions::HasAccess>::Access>>::AccessThrough == _`
[INFO] [stdout]    --> src/sep_logic_in_types/tree.rs:111:55
[INFO] [stdout]     |
[INFO] [stdout] 111 |                         ptr_to_field.unpack_target_lt(|ptr_to_field| {
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `experiments` (lib) due to 105 previous errors; 1 warning emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] For more information about this error, try `rustc --explain E0275`.
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0275`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `experiments` (lib test) due to 105 previous errors; 1 warning emitted
[INFO] running `Command { std: "docker" "inspect" "74c2d21066845e2eecca030da9682443b99fa26112712a191f45368486cb6224", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "74c2d21066845e2eecca030da9682443b99fa26112712a191f45368486cb6224", kill_on_drop: false }`
[INFO] [stdout] 74c2d21066845e2eecca030da9682443b99fa26112712a191f45368486cb6224
