[INFO] updating cached repository pythonesque/dependent_traits
[INFO] running `"git" "fetch" "--all"`
[INFO] [stdout] Fetching origin
[INFO] [stderr] From git://github.com/pythonesque/dependent_traits
[INFO] [stderr]  * branch            HEAD       -> FETCH_HEAD
[INFO] running `"git" "clone" "work/cache/sources/gh/pythonesque/dependent_traits" "work/ex/clippy-test-run/sources/stable/gh/pythonesque/dependent_traits"`
[INFO] [stderr] Cloning into 'work/ex/clippy-test-run/sources/stable/gh/pythonesque/dependent_traits'...
[INFO] [stderr] done.
[INFO] running `"git" "clone" "work/cache/sources/gh/pythonesque/dependent_traits" "work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/gh/pythonesque/dependent_traits"`
[INFO] [stderr] Cloning into 'work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/gh/pythonesque/dependent_traits'...
[INFO] [stderr] done.
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] 0ae01abfaa8ef8df7ef778b6462097b2b48f6865
[INFO] sha for GitHub repo pythonesque/dependent_traits: 0ae01abfaa8ef8df7ef778b6462097b2b48f6865
[INFO] validating manifest of pythonesque/dependent_traits on toolchain stable
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of pythonesque/dependent_traits on toolchain stable+rustflags=-Dclippy::into_iter_on_array
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started frobbing pythonesque/dependent_traits
[INFO] finished frobbing pythonesque/dependent_traits
[INFO] frobbed toml for pythonesque/dependent_traits written to work/ex/clippy-test-run/sources/stable/gh/pythonesque/dependent_traits/Cargo.toml
[INFO] started frobbing pythonesque/dependent_traits
[INFO] finished frobbing pythonesque/dependent_traits
[INFO] frobbed toml for pythonesque/dependent_traits written to work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/gh/pythonesque/dependent_traits/Cargo.toml
[INFO] crate pythonesque/dependent_traits has a lockfile. skipping
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] linting pythonesque/dependent_traits against stable for clippy-test-run
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/clippy-test-run/worker-2/stable:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/clippy-test-run/sources/stable/gh/pythonesque/dependent_traits:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+stable" "clippy" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] 65c34370ba896fe62e25f8dbbf0b275e7e78328fb1cedcbe1e6af619bce127bf
[INFO] running `"docker" "start" "-a" "65c34370ba896fe62e25f8dbbf0b275e7e78328fb1cedcbe1e6af619bce127bf"`
[INFO] [stderr]    Compiling frunk_core v0.2.0
[INFO] [stderr]    Compiling frunk_derives v0.2.0
[INFO] [stderr]     Checking frunk v0.2.0
[INFO] [stderr]     Checking dependent_traits v0.1.0 (/opt/crater/workdir)
[INFO] [stderr] warning: unused `#[macro_use]` import
[INFO] [stderr]  --> src/main.rs:4:1
[INFO] [stderr]   |
[INFO] [stderr] 4 | #[macro_use]
[INFO] [stderr]   | ^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: #[warn(unused_imports)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::mem`
[INFO] [stderr]  --> src/context.rs:1:5
[INFO] [stderr]   |
[INFO] [stderr] 1 | use std::mem;
[INFO] [stderr]   |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `Generic`, `LabelledGeneric`
[INFO] [stderr]  --> src/context.rs:3:13
[INFO] [stderr]   |
[INFO] [stderr] 3 | use frunk::{Generic, LabelledGeneric};
[INFO] [stderr]   |             ^^^^^^^  ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `LiftFrom`, `Selector`
[INFO] [stderr]  --> src/context.rs:4:40
[INFO] [stderr]   |
[INFO] [stderr] 4 | use frunk::hlist::{HCons, HList, HNil, LiftFrom, Selector};
[INFO] [stderr]   |                                        ^^^^^^^^  ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused `#[macro_use]` import
[INFO] [stderr]  --> src/main.rs:4:1
[INFO] [stderr]   |
[INFO] [stderr] 4 | #[macro_use]
[INFO] [stderr]   | ^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: #[warn(unused_imports)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::mem`
[INFO] [stderr]  --> src/context.rs:1:5
[INFO] [stderr]   |
[INFO] [stderr] 1 | use std::mem;
[INFO] [stderr]   |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `LiftFrom`, `Selector`
[INFO] [stderr]  --> src/context.rs:4:40
[INFO] [stderr]   |
[INFO] [stderr] 4 | use frunk::hlist::{HCons, HList, HNil, LiftFrom, Selector};
[INFO] [stderr]   |                                        ^^^^^^^^  ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `HCons`, `HNil`, `LiftFrom`, `Selector`
[INFO] [stderr]     --> src/context.rs:2627:24
[INFO] [stderr]      |
[INFO] [stderr] 2627 |     use frunk::hlist::{HCons, HNil, LiftFrom, Selector};
[INFO] [stderr]      |                        ^^^^^  ^^^^  ^^^^^^^^  ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `l`
[INFO] [stderr]   --> src/context.rs:10:5
[INFO] [stderr]    |
[INFO] [stderr] 10 |     l: L,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(dead_code)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `r`
[INFO] [stderr]   --> src/context.rs:14:5
[INFO] [stderr]    |
[INFO] [stderr] 14 |     r: R,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `t`
[INFO] [stderr]   --> src/context.rs:18:5
[INFO] [stderr]    |
[INFO] [stderr] 18 |     t: T,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `l`
[INFO] [stderr]    --> src/context.rs:179:5
[INFO] [stderr]     |
[INFO] [stderr] 179 |     l: Lift,
[INFO] [stderr]     |     ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `n`
[INFO] [stderr]    --> src/context.rs:180:5
[INFO] [stderr]     |
[INFO] [stderr] 180 |     n: N,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `n`
[INFO] [stderr]    --> src/context.rs:185:5
[INFO] [stderr]     |
[INFO] [stderr] 185 |     n: N,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `l`
[INFO] [stderr]    --> src/context.rs:186:5
[INFO] [stderr]     |
[INFO] [stderr] 186 |     l: Lift,
[INFO] [stderr]     |     ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `n`
[INFO] [stderr]    --> src/context.rs:314:5
[INFO] [stderr]     |
[INFO] [stderr] 314 |     n: N,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `t`
[INFO] [stderr]    --> src/context.rs:319:5
[INFO] [stderr]     |
[INFO] [stderr] 319 |     t: T,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `s`
[INFO] [stderr]    --> src/context.rs:320:5
[INFO] [stderr]     |
[INFO] [stderr] 320 |     s: S,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `n`
[INFO] [stderr]    --> src/context.rs:325:5
[INFO] [stderr]     |
[INFO] [stderr] 325 |     n: N,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `s`
[INFO] [stderr]    --> src/context.rs:326:5
[INFO] [stderr]     |
[INFO] [stderr] 326 |     s: S,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `n`
[INFO] [stderr]    --> src/context.rs:331:5
[INFO] [stderr]     |
[INFO] [stderr] 331 |     n: N,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `s`
[INFO] [stderr]    --> src/context.rs:332:5
[INFO] [stderr]     |
[INFO] [stderr] 332 |     s: S,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `ty`
[INFO] [stderr]    --> src/context.rs:577:5
[INFO] [stderr]     |
[INFO] [stderr] 577 |     ty: Type,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `bd`
[INFO] [stderr]    --> src/context.rs:582:5
[INFO] [stderr]     |
[INFO] [stderr] 582 |     bd: Body,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `ty`
[INFO] [stderr]    --> src/context.rs:583:5
[INFO] [stderr]     |
[INFO] [stderr] 583 |     ty: Type,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `fun`
[INFO] [stderr]    --> src/context.rs:601:5
[INFO] [stderr]     |
[INFO] [stderr] 601 |     fun: Fun,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `arg`
[INFO] [stderr]    --> src/context.rs:603:5
[INFO] [stderr]     |
[INFO] [stderr] 603 |     arg: Arg,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `ty`
[INFO] [stderr]    --> src/context.rs:607:5
[INFO] [stderr]     |
[INFO] [stderr] 607 |     ty: Type,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `bd`
[INFO] [stderr]    --> src/context.rs:608:5
[INFO] [stderr]     |
[INFO] [stderr] 608 |     bd: Body,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `domain`
[INFO] [stderr]    --> src/context.rs:612:5
[INFO] [stderr]     |
[INFO] [stderr] 612 |     domain: Domain,
[INFO] [stderr]     |     ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `codomain`
[INFO] [stderr]    --> src/context.rs:613:5
[INFO] [stderr]     |
[INFO] [stderr] 613 |     codomain: CoDomain,
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `sort`
[INFO] [stderr]    --> src/context.rs:618:5
[INFO] [stderr]     |
[INFO] [stderr] 618 |     sort: S,
[INFO] [stderr]     |     ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `index`
[INFO] [stderr]    --> src/context.rs:623:5
[INFO] [stderr]     |
[INFO] [stderr] 623 |     index: Index,
[INFO] [stderr]     |     ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `c`
[INFO] [stderr]     --> src/context.rs:1020:5
[INFO] [stderr]      |
[INFO] [stderr] 1020 |     c: C,
[INFO] [stderr]      |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `c`
[INFO] [stderr]     --> src/context.rs:1028:5
[INFO] [stderr]      |
[INFO] [stderr] 1028 |     c: C,
[INFO] [stderr]      |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `v`
[INFO] [stderr]     --> src/context.rs:1035:5
[INFO] [stderr]      |
[INFO] [stderr] 1035 |     v: V,
[INFO] [stderr]      |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `stk`
[INFO] [stderr]     --> src/context.rs:1036:5
[INFO] [stderr]      |
[INFO] [stderr] 1036 |     stk: Stk,
[INFO] [stderr]      |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `t`
[INFO] [stderr]     --> src/context.rs:1042:5
[INFO] [stderr]      |
[INFO] [stderr] 1042 |     t: T,
[INFO] [stderr]      |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `s`
[INFO] [stderr]     --> src/context.rs:1043:5
[INFO] [stderr]      |
[INFO] [stderr] 1043 |     s: S,
[INFO] [stderr]      |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `a`
[INFO] [stderr]     --> src/context.rs:1048:5
[INFO] [stderr]      |
[INFO] [stderr] 1048 |     a: A,
[INFO] [stderr]      |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `k`
[INFO] [stderr]     --> src/context.rs:1056:5
[INFO] [stderr]      |
[INFO] [stderr] 1056 |     k: K,
[INFO] [stderr]      |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `flags`
[INFO] [stderr]     --> src/context.rs:1578:5
[INFO] [stderr]      |
[INFO] [stderr] 1578 |     flags: Flags,
[INFO] [stderr]      |     ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `rels`
[INFO] [stderr]     --> src/context.rs:1579:5
[INFO] [stderr]      |
[INFO] [stderr] 1579 |     rels: Rels,
[INFO] [stderr]      |     ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]    --> src/context.rs:707:19
[INFO] [stderr]     |
[INFO] [stderr] 707 |     type Output = Prod<<T as SubstRec<N, LamV, LV>>::Output, <C as SubstRec<There<N>, LamV, LV>>::Output>;
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: #[warn(clippy::type_complexity)] on by default
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]    --> src/context.rs:715:19
[INFO] [stderr]     |
[INFO] [stderr] 715 |     type Output = Lambda<<T as SubstRec<N, LamV, LV>>::Output, <B as SubstRec<There<N>, LamV, LV>>::Output>;
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]    --> src/context.rs:723:19
[INFO] [stderr]     |
[INFO] [stderr] 723 |     type Output = App<<F as SubstRec<N, LamV, LV>>::Output, <A as SubstRec<N, LamV, LV>>::Output>;
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]    --> src/context.rs:919:19
[INFO] [stderr]     |
[INFO] [stderr] 919 |     type Output = <C as SubstRec<N, HCons<Lam, LamV>, <HCons<Lam, LamV> as PeanoLen>::PeanoLen>>::Output;
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1144:19
[INFO] [stderr]      |
[INFO] [stderr] 1144 |     type Output = <FFlex<Rel<P>> as WhdLift<<There<K> as ISub<There<P>>>::Output>>::Output;
[INFO] [stderr]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1204:19
[INFO] [stderr]      |
[INFO] [stderr] 1204 |       type Output = App<<<F as MkClos<Env>>::Output as ToConstr<Lfts>>::Output,
[INFO] [stderr]      |  ___________________^
[INFO] [stderr] 1205 | |                       <<A as MkClos<Env>>::Output as ToConstr<Lfts>>::Output>;
[INFO] [stderr]      | |_____________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1217:19
[INFO] [stderr]      |
[INFO] [stderr] 1217 |       type Output = Lambda<<<T as MkClos<Env>>::Output as ToConstr<Lfts>>::Output,
[INFO] [stderr]      |  ___________________^
[INFO] [stderr] 1218 | |                          <<B as MkClos<<Env as SubsLift>::Output>>::Output as
[INFO] [stderr] 1219 | |                           ToConstr<<Lfts as ELift>::Output>>::Output>;
[INFO] [stderr]      | |_____________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1232:19
[INFO] [stderr]      |
[INFO] [stderr] 1232 |       type Output = Prod<<<T as MkClos<Env>>::Output as ToConstr<Lfts>>::Output,
[INFO] [stderr]      |  ___________________^
[INFO] [stderr] 1233 | |                        <<C as MkClos<<Env as SubsLift>::Output>>::Output as
[INFO] [stderr] 1234 | |                         ToConstr<<Lfts as ELift>::Output>>::Output>;
[INFO] [stderr]      | |___________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1478:17
[INFO] [stderr]      |
[INFO] [stderr] 1478 |     type Head = <Info as Knr<FCbn<Lambda<T, B>, <E as SubsShft<K>>::Output>, S>>::Head;
[INFO] [stderr]      |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1479:18
[INFO] [stderr]      |
[INFO] [stderr] 1479 |     type Stack = <Info as Knr<FCbn<Lambda<T, B>, <E as SubsShft<K>>::Output>, S>>::Stack;
[INFO] [stderr]      |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1524:9
[INFO] [stderr]      |
[INFO] [stderr] 1524 |         <Info as Knr<<Info as Knht<E, T, Stk>>::Head, <Info as Knht<E, T, Stk>>::Stack>>::Head;
[INFO] [stderr]      |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1526:9
[INFO] [stderr]      |
[INFO] [stderr] 1526 |         <Info as Knr<<Info as Knht<E, T, Stk>>::Head, <Info as Knht<E, T, Stk>>::Stack>>::Stack;
[INFO] [stderr]      |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1721:9
[INFO] [stderr]      |
[INFO] [stderr] 1721 | /         <<Info as CCnv<PbConv, Lft1, Lft2, A1, A2>>::Conv as
[INFO] [stderr] 1722 | |          IAnd<<Info as CompareStacks<<Stk1 as PureStack<Lft1>>::Lfts,
[INFO] [stderr] 1723 | |                                      <Stk1 as PureStack<Lft1>>::Stack,
[INFO] [stderr] 1724 | |                                      <Stk2 as PureStack<Lft2>>::Lfts,
[INFO] [stderr] 1725 | |                                      <Stk2 as PureStack<Lft2>>::Stack>>::Conv>>::Output;
[INFO] [stderr]      | |_______________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1823:9
[INFO] [stderr]      |
[INFO] [stderr] 1823 | /         <Info as EqAppr<CvPb, Lfts1, <Info as WhdStack<V1, Stk1>>::Head,
[INFO] [stderr] 1824 | |                                      <Info as WhdStack<V1, Stk1>>::Stack,
[INFO] [stderr] 1825 | |                               Lfts2, Fl2, Stk2>>::Conv;
[INFO] [stderr]      | |______________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1838:9
[INFO] [stderr]      |
[INFO] [stderr] 1838 | /         <Info as EqAppr<CvPb, Lfts1, Fl1, Stk1,
[INFO] [stderr] 1839 | |                               Lfts2, <Info as WhdStack<V2, Stk2>>::Head,
[INFO] [stderr] 1840 | |                                      <Info as WhdStack<V2, Stk2>>::Stack>>::Conv;
[INFO] [stderr]      | |________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1855:9
[INFO] [stderr]      |
[INFO] [stderr] 1855 | /         <Info as EqAppr<CvPb, Lfts1, <Info as WhdStack<V1, Stk1>>::Head,
[INFO] [stderr] 1856 | |                                      <Info as WhdStack<V1, Stk1>>::Stack,
[INFO] [stderr] 1857 | |                               Lfts2, <Info as WhdStack<V2, Stk2>>::Head,
[INFO] [stderr] 1858 | |                                      <Info as WhdStack<V2, Stk2>>::Stack>>::Conv;
[INFO] [stderr]      | |________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1881:9
[INFO] [stderr]      |
[INFO] [stderr] 1881 | /         <Info as EqApprFlex3<CvPb, Lfts1, FFlex<Fl1>, <Info as RefValueCache<Fl1>>::Output, Stk1,
[INFO] [stderr] 1882 | |                              Lfts2, FFlex<Fl2>, <Info as RefValueCache<Fl2>>::Output, Stk2>>::Conv;
[INFO] [stderr]      | |__________________________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1911:9
[INFO] [stderr]      |
[INFO] [stderr] 1911 | /         <Info as EqApprFlex3<CvPb, Lfts1, FFlex<Fl1>, <Info as RefValueCache<Fl1>>::Output, Stk1,
[INFO] [stderr] 1912 | |                              Lfts2, FFlex<Fl2>, <Info as RefValueCache<Fl2>>::Output, Stk2>>::Conv;
[INFO] [stderr]      | |__________________________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1923:17
[INFO] [stderr]      |
[INFO] [stderr] 1923 |       type Conv = <Info as
[INFO] [stderr]      |  _________________^
[INFO] [stderr] 1924 | |                  EqApprFlex2<CvPb, Lfts1, Fl1, Stk1, Lfts2, Fl2, Stk2,
[INFO] [stderr] 1925 | |                              <Info as ConvertStacks<Lfts1, Lfts2, Stk1, Stk2>>::Conv>>::Conv;
[INFO] [stderr]      | |____________________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1975:9
[INFO] [stderr]      |
[INFO] [stderr] 1975 | /         <<<<Stk1 as ElStack<Lfts1>>::Output as RelocRel<N1>>::Output as
[INFO] [stderr] 1976 | |             EqNat<<<Stk2 as ElStack<Lfts2>>::Output as RelocRel<N2>>::Output>>::Conv as
[INFO] [stderr] 1977 | |          IAnd<<Info as ConvertStacks<Lfts1, Lfts2, Stk1, Stk2>>::Conv>>::Output;
[INFO] [stderr]      | |_______________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1999:9
[INFO] [stderr]      |
[INFO] [stderr] 1999 | /         <Info as EqApprFlex<CvPb, Lfts1, Rel<N1>, Stk1, Lfts2, Rel<N2>, Stk2,
[INFO] [stderr] 2000 | |                             <N1 as EqNat<N2>>::Conv>>::Conv;
[INFO] [stderr]      | |___________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:2036:9
[INFO] [stderr]      |
[INFO] [stderr] 2036 | /         <<Info as
[INFO] [stderr] 2037 | |           CCnv<PbConv, Lfts1, Lfts2,
[INFO] [stderr] 2038 | |                <T1 as MkClos<E1>>::Output, <T2 as MkClos<E2>>::Output>>::Conv as
[INFO] [stderr] 2039 | |           IAnd<<Info as CCnv<PbConv, <Lfts1 as ELift>::Output, <Lfts2 as ELift>::Output,
[INFO] [stderr] 2040 | |                              <B1 as MkClos<<E1 as SubsLift>::Output>>::Output,
[INFO] [stderr] 2041 | |                              <B2 as MkClos<<E2 as SubsLift>::Output>>::Output>>::Conv>>::Output;
[INFO] [stderr]      | |_______________________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:2094:9
[INFO] [stderr]      |
[INFO] [stderr] 2094 | /         <<Info as
[INFO] [stderr] 2095 | |           CCnv<PbConv, <Stk1 as ElStack<Lfts1>>::Output, <Stk2 as ElStack<Lfts2>>::Output,
[INFO] [stderr] 2096 | |                        <T1 as MkClos<E1>>::Output, <T2 as MkClos<E2>>::Output>>::Conv as
[INFO] [stderr] 2097 | |              IAnd<<Info as CCnv<CvPb, <<Stk1 as ElStack<Lfts1>>::Output as ELift>::Output,
[INFO] [stderr] 2098 | |                                 <<Stk2 as ElStack<Lfts2>>::Output as ELift>::Output,
[INFO] [stderr] 2099 | |                                 <C1 as MkClos<<E1 as SubsLift>::Output>>::Output,
[INFO] [stderr] 2100 | |                                 <C2 as MkClos<<E2 as SubsLift>::Output>>::Output>>::Conv>>::Output;
[INFO] [stderr]      | |__________________________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:2269:9
[INFO] [stderr]      |
[INFO] [stderr] 2269 | /         <Info as CompareStacks<<<Stk1 as IntoReverse>::Output as PureStack<Lft1>>::Lfts,
[INFO] [stderr] 2270 | |                                <<Stk1 as IntoReverse>::Output as PureStack<Lft1>>::Stack,
[INFO] [stderr] 2271 | |                                <<Stk2 as IntoReverse>::Output as PureStack<Lft2>>::Lfts,
[INFO] [stderr] 2272 | |                                <<Stk2 as IntoReverse>::Output as PureStack<Lft2>>::Stack>>::Conv;
[INFO] [stderr]      | |________________________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:2579:17
[INFO] [stderr]      |
[INFO] [stderr] 2579 |     type Type = Prod<T, <C as Execute<HCons<Assum<T>, /*<Ctx as Generic*/<Ctx as RawContext>::Subs/*>::Repr*/>>>::Type>;
[INFO] [stderr]      |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:2589:17
[INFO] [stderr]      |
[INFO] [stderr] 2589 |       type Type = Sort<<Ctx as SortOfProduct<<T as ExecuteType<Ctx>>::Sort,
[INFO] [stderr]      |  _________________^
[INFO] [stderr] 2590 | |                                            <C as ExecuteType<HCons<Assum<T>, /*<Ctx as Generic*/<Ctx as RawContext>::Subs/*>::Repr*/>>>::Sort>>::Sort>;
[INFO] [stderr]      | |______________________________________________________________________________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `l`
[INFO] [stderr]   --> src/context.rs:10:5
[INFO] [stderr]    |
[INFO] [stderr] 10 |     l: L,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(dead_code)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `r`
[INFO] [stderr]   --> src/context.rs:14:5
[INFO] [stderr]    |
[INFO] [stderr] 14 |     r: R,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `t`
[INFO] [stderr]   --> src/context.rs:18:5
[INFO] [stderr]    |
[INFO] [stderr] 18 |     t: T,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `l`
[INFO] [stderr]    --> src/context.rs:179:5
[INFO] [stderr]     |
[INFO] [stderr] 179 |     l: Lift,
[INFO] [stderr]     |     ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `n`
[INFO] [stderr]    --> src/context.rs:180:5
[INFO] [stderr]     |
[INFO] [stderr] 180 |     n: N,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `n`
[INFO] [stderr]    --> src/context.rs:185:5
[INFO] [stderr]     |
[INFO] [stderr] 185 |     n: N,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `l`
[INFO] [stderr]    --> src/context.rs:186:5
[INFO] [stderr]     |
[INFO] [stderr] 186 |     l: Lift,
[INFO] [stderr]     |     ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `n`
[INFO] [stderr]    --> src/context.rs:314:5
[INFO] [stderr]     |
[INFO] [stderr] 314 |     n: N,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `t`
[INFO] [stderr]    --> src/context.rs:319:5
[INFO] [stderr]     |
[INFO] [stderr] 319 |     t: T,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `s`
[INFO] [stderr]    --> src/context.rs:320:5
[INFO] [stderr]     |
[INFO] [stderr] 320 |     s: S,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `n`
[INFO] [stderr]    --> src/context.rs:325:5
[INFO] [stderr]     |
[INFO] [stderr] 325 |     n: N,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `s`
[INFO] [stderr]    --> src/context.rs:326:5
[INFO] [stderr]     |
[INFO] [stderr] 326 |     s: S,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `n`
[INFO] [stderr]    --> src/context.rs:331:5
[INFO] [stderr]     |
[INFO] [stderr] 331 |     n: N,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `s`
[INFO] [stderr]    --> src/context.rs:332:5
[INFO] [stderr]     |
[INFO] [stderr] 332 |     s: S,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `ty`
[INFO] [stderr]    --> src/context.rs:577:5
[INFO] [stderr]     |
[INFO] [stderr] 577 |     ty: Type,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `bd`
[INFO] [stderr]    --> src/context.rs:582:5
[INFO] [stderr]     |
[INFO] [stderr] 582 |     bd: Body,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `ty`
[INFO] [stderr]    --> src/context.rs:583:5
[INFO] [stderr]     |
[INFO] [stderr] 583 |     ty: Type,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `fun`
[INFO] [stderr]    --> src/context.rs:601:5
[INFO] [stderr]     |
[INFO] [stderr] 601 |     fun: Fun,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `arg`
[INFO] [stderr]    --> src/context.rs:603:5
[INFO] [stderr]     |
[INFO] [stderr] 603 |     arg: Arg,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `ty`
[INFO] [stderr]    --> src/context.rs:607:5
[INFO] [stderr]     |
[INFO] [stderr] 607 |     ty: Type,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `bd`
[INFO] [stderr]    --> src/context.rs:608:5
[INFO] [stderr]     |
[INFO] [stderr] 608 |     bd: Body,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `domain`
[INFO] [stderr]    --> src/context.rs:612:5
[INFO] [stderr]     |
[INFO] [stderr] 612 |     domain: Domain,
[INFO] [stderr]     |     ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `codomain`
[INFO] [stderr]    --> src/context.rs:613:5
[INFO] [stderr]     |
[INFO] [stderr] 613 |     codomain: CoDomain,
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `sort`
[INFO] [stderr]    --> src/context.rs:618:5
[INFO] [stderr]     |
[INFO] [stderr] 618 |     sort: S,
[INFO] [stderr]     |     ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `index`
[INFO] [stderr]    --> src/context.rs:623:5
[INFO] [stderr]     |
[INFO] [stderr] 623 |     index: Index,
[INFO] [stderr]     |     ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `c`
[INFO] [stderr]     --> src/context.rs:1020:5
[INFO] [stderr]      |
[INFO] [stderr] 1020 |     c: C,
[INFO] [stderr]      |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `c`
[INFO] [stderr]     --> src/context.rs:1028:5
[INFO] [stderr]      |
[INFO] [stderr] 1028 |     c: C,
[INFO] [stderr]      |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `v`
[INFO] [stderr]     --> src/context.rs:1035:5
[INFO] [stderr]      |
[INFO] [stderr] 1035 |     v: V,
[INFO] [stderr]      |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `stk`
[INFO] [stderr]     --> src/context.rs:1036:5
[INFO] [stderr]      |
[INFO] [stderr] 1036 |     stk: Stk,
[INFO] [stderr]      |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `t`
[INFO] [stderr]     --> src/context.rs:1042:5
[INFO] [stderr]      |
[INFO] [stderr] 1042 |     t: T,
[INFO] [stderr]      |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `s`
[INFO] [stderr]     --> src/context.rs:1043:5
[INFO] [stderr]      |
[INFO] [stderr] 1043 |     s: S,
[INFO] [stderr]      |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `a`
[INFO] [stderr]     --> src/context.rs:1048:5
[INFO] [stderr]      |
[INFO] [stderr] 1048 |     a: A,
[INFO] [stderr]      |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `k`
[INFO] [stderr]     --> src/context.rs:1056:5
[INFO] [stderr]      |
[INFO] [stderr] 1056 |     k: K,
[INFO] [stderr]      |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `flags`
[INFO] [stderr]     --> src/context.rs:1578:5
[INFO] [stderr]      |
[INFO] [stderr] 1578 |     flags: Flags,
[INFO] [stderr]      |     ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `rels`
[INFO] [stderr]     --> src/context.rs:1579:5
[INFO] [stderr]      |
[INFO] [stderr] 1579 |     rels: Rels,
[INFO] [stderr]      |     ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]    --> src/context.rs:707:19
[INFO] [stderr]     |
[INFO] [stderr] 707 |     type Output = Prod<<T as SubstRec<N, LamV, LV>>::Output, <C as SubstRec<There<N>, LamV, LV>>::Output>;
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: #[warn(clippy::type_complexity)] on by default
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]    --> src/context.rs:715:19
[INFO] [stderr]     |
[INFO] [stderr] 715 |     type Output = Lambda<<T as SubstRec<N, LamV, LV>>::Output, <B as SubstRec<There<N>, LamV, LV>>::Output>;
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]    --> src/context.rs:723:19
[INFO] [stderr]     |
[INFO] [stderr] 723 |     type Output = App<<F as SubstRec<N, LamV, LV>>::Output, <A as SubstRec<N, LamV, LV>>::Output>;
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]    --> src/context.rs:919:19
[INFO] [stderr]     |
[INFO] [stderr] 919 |     type Output = <C as SubstRec<N, HCons<Lam, LamV>, <HCons<Lam, LamV> as PeanoLen>::PeanoLen>>::Output;
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1144:19
[INFO] [stderr]      |
[INFO] [stderr] 1144 |     type Output = <FFlex<Rel<P>> as WhdLift<<There<K> as ISub<There<P>>>::Output>>::Output;
[INFO] [stderr]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1204:19
[INFO] [stderr]      |
[INFO] [stderr] 1204 |       type Output = App<<<F as MkClos<Env>>::Output as ToConstr<Lfts>>::Output,
[INFO] [stderr]      |  ___________________^
[INFO] [stderr] 1205 | |                       <<A as MkClos<Env>>::Output as ToConstr<Lfts>>::Output>;
[INFO] [stderr]      | |_____________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1217:19
[INFO] [stderr]      |
[INFO] [stderr] 1217 |       type Output = Lambda<<<T as MkClos<Env>>::Output as ToConstr<Lfts>>::Output,
[INFO] [stderr]      |  ___________________^
[INFO] [stderr] 1218 | |                          <<B as MkClos<<Env as SubsLift>::Output>>::Output as
[INFO] [stderr] 1219 | |                           ToConstr<<Lfts as ELift>::Output>>::Output>;
[INFO] [stderr]      | |_____________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1232:19
[INFO] [stderr]      |
[INFO] [stderr] 1232 |       type Output = Prod<<<T as MkClos<Env>>::Output as ToConstr<Lfts>>::Output,
[INFO] [stderr]      |  ___________________^
[INFO] [stderr] 1233 | |                        <<C as MkClos<<Env as SubsLift>::Output>>::Output as
[INFO] [stderr] 1234 | |                         ToConstr<<Lfts as ELift>::Output>>::Output>;
[INFO] [stderr]      | |___________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1478:17
[INFO] [stderr]      |
[INFO] [stderr] 1478 |     type Head = <Info as Knr<FCbn<Lambda<T, B>, <E as SubsShft<K>>::Output>, S>>::Head;
[INFO] [stderr]      |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1479:18
[INFO] [stderr]      |
[INFO] [stderr] 1479 |     type Stack = <Info as Knr<FCbn<Lambda<T, B>, <E as SubsShft<K>>::Output>, S>>::Stack;
[INFO] [stderr]      |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1524:9
[INFO] [stderr]      |
[INFO] [stderr] 1524 |         <Info as Knr<<Info as Knht<E, T, Stk>>::Head, <Info as Knht<E, T, Stk>>::Stack>>::Head;
[INFO] [stderr]      |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1526:9
[INFO] [stderr]      |
[INFO] [stderr] 1526 |         <Info as Knr<<Info as Knht<E, T, Stk>>::Head, <Info as Knht<E, T, Stk>>::Stack>>::Stack;
[INFO] [stderr]      |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1721:9
[INFO] [stderr]      |
[INFO] [stderr] 1721 | /         <<Info as CCnv<PbConv, Lft1, Lft2, A1, A2>>::Conv as
[INFO] [stderr] 1722 | |          IAnd<<Info as CompareStacks<<Stk1 as PureStack<Lft1>>::Lfts,
[INFO] [stderr] 1723 | |                                      <Stk1 as PureStack<Lft1>>::Stack,
[INFO] [stderr] 1724 | |                                      <Stk2 as PureStack<Lft2>>::Lfts,
[INFO] [stderr] 1725 | |                                      <Stk2 as PureStack<Lft2>>::Stack>>::Conv>>::Output;
[INFO] [stderr]      | |_______________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1823:9
[INFO] [stderr]      |
[INFO] [stderr] 1823 | /         <Info as EqAppr<CvPb, Lfts1, <Info as WhdStack<V1, Stk1>>::Head,
[INFO] [stderr] 1824 | |                                      <Info as WhdStack<V1, Stk1>>::Stack,
[INFO] [stderr] 1825 | |                               Lfts2, Fl2, Stk2>>::Conv;
[INFO] [stderr]      | |______________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1838:9
[INFO] [stderr]      |
[INFO] [stderr] 1838 | /         <Info as EqAppr<CvPb, Lfts1, Fl1, Stk1,
[INFO] [stderr] 1839 | |                               Lfts2, <Info as WhdStack<V2, Stk2>>::Head,
[INFO] [stderr] 1840 | |                                      <Info as WhdStack<V2, Stk2>>::Stack>>::Conv;
[INFO] [stderr]      | |________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1855:9
[INFO] [stderr]      |
[INFO] [stderr] 1855 | /         <Info as EqAppr<CvPb, Lfts1, <Info as WhdStack<V1, Stk1>>::Head,
[INFO] [stderr] 1856 | |                                      <Info as WhdStack<V1, Stk1>>::Stack,
[INFO] [stderr] 1857 | |                               Lfts2, <Info as WhdStack<V2, Stk2>>::Head,
[INFO] [stderr] 1858 | |                                      <Info as WhdStack<V2, Stk2>>::Stack>>::Conv;
[INFO] [stderr]      | |________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1881:9
[INFO] [stderr]      |
[INFO] [stderr] 1881 | /         <Info as EqApprFlex3<CvPb, Lfts1, FFlex<Fl1>, <Info as RefValueCache<Fl1>>::Output, Stk1,
[INFO] [stderr] 1882 | |                              Lfts2, FFlex<Fl2>, <Info as RefValueCache<Fl2>>::Output, Stk2>>::Conv;
[INFO] [stderr]      | |__________________________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1911:9
[INFO] [stderr]      |
[INFO] [stderr] 1911 | /         <Info as EqApprFlex3<CvPb, Lfts1, FFlex<Fl1>, <Info as RefValueCache<Fl1>>::Output, Stk1,
[INFO] [stderr] 1912 | |                              Lfts2, FFlex<Fl2>, <Info as RefValueCache<Fl2>>::Output, Stk2>>::Conv;
[INFO] [stderr]      | |__________________________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1923:17
[INFO] [stderr]      |
[INFO] [stderr] 1923 |       type Conv = <Info as
[INFO] [stderr]      |  _________________^
[INFO] [stderr] 1924 | |                  EqApprFlex2<CvPb, Lfts1, Fl1, Stk1, Lfts2, Fl2, Stk2,
[INFO] [stderr] 1925 | |                              <Info as ConvertStacks<Lfts1, Lfts2, Stk1, Stk2>>::Conv>>::Conv;
[INFO] [stderr]      | |____________________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1975:9
[INFO] [stderr]      |
[INFO] [stderr] 1975 | /         <<<<Stk1 as ElStack<Lfts1>>::Output as RelocRel<N1>>::Output as
[INFO] [stderr] 1976 | |             EqNat<<<Stk2 as ElStack<Lfts2>>::Output as RelocRel<N2>>::Output>>::Conv as
[INFO] [stderr] 1977 | |          IAnd<<Info as ConvertStacks<Lfts1, Lfts2, Stk1, Stk2>>::Conv>>::Output;
[INFO] [stderr]      | |_______________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:1999:9
[INFO] [stderr]      |
[INFO] [stderr] 1999 | /         <Info as EqApprFlex<CvPb, Lfts1, Rel<N1>, Stk1, Lfts2, Rel<N2>, Stk2,
[INFO] [stderr] 2000 | |                             <N1 as EqNat<N2>>::Conv>>::Conv;
[INFO] [stderr]      | |___________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:2036:9
[INFO] [stderr]      |
[INFO] [stderr] 2036 | /         <<Info as
[INFO] [stderr] 2037 | |           CCnv<PbConv, Lfts1, Lfts2,
[INFO] [stderr] 2038 | |                <T1 as MkClos<E1>>::Output, <T2 as MkClos<E2>>::Output>>::Conv as
[INFO] [stderr] 2039 | |           IAnd<<Info as CCnv<PbConv, <Lfts1 as ELift>::Output, <Lfts2 as ELift>::Output,
[INFO] [stderr] 2040 | |                              <B1 as MkClos<<E1 as SubsLift>::Output>>::Output,
[INFO] [stderr] 2041 | |                              <B2 as MkClos<<E2 as SubsLift>::Output>>::Output>>::Conv>>::Output;
[INFO] [stderr]      | |_______________________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:2094:9
[INFO] [stderr]      |
[INFO] [stderr] 2094 | /         <<Info as
[INFO] [stderr] 2095 | |           CCnv<PbConv, <Stk1 as ElStack<Lfts1>>::Output, <Stk2 as ElStack<Lfts2>>::Output,
[INFO] [stderr] 2096 | |                        <T1 as MkClos<E1>>::Output, <T2 as MkClos<E2>>::Output>>::Conv as
[INFO] [stderr] 2097 | |              IAnd<<Info as CCnv<CvPb, <<Stk1 as ElStack<Lfts1>>::Output as ELift>::Output,
[INFO] [stderr] 2098 | |                                 <<Stk2 as ElStack<Lfts2>>::Output as ELift>::Output,
[INFO] [stderr] 2099 | |                                 <C1 as MkClos<<E1 as SubsLift>::Output>>::Output,
[INFO] [stderr] 2100 | |                                 <C2 as MkClos<<E2 as SubsLift>::Output>>::Output>>::Conv>>::Output;
[INFO] [stderr]      | |__________________________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:2269:9
[INFO] [stderr]      |
[INFO] [stderr] 2269 | /         <Info as CompareStacks<<<Stk1 as IntoReverse>::Output as PureStack<Lft1>>::Lfts,
[INFO] [stderr] 2270 | |                                <<Stk1 as IntoReverse>::Output as PureStack<Lft1>>::Stack,
[INFO] [stderr] 2271 | |                                <<Stk2 as IntoReverse>::Output as PureStack<Lft2>>::Lfts,
[INFO] [stderr] 2272 | |                                <<Stk2 as IntoReverse>::Output as PureStack<Lft2>>::Stack>>::Conv;
[INFO] [stderr]      | |________________________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:2579:17
[INFO] [stderr]      |
[INFO] [stderr] 2579 |     type Type = Prod<T, <C as Execute<HCons<Assum<T>, /*<Ctx as Generic*/<Ctx as RawContext>::Subs/*>::Repr*/>>>::Type>;
[INFO] [stderr]      |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr] warning: very complex type used. Consider factoring parts into `type` definitions
[INFO] [stderr]     --> src/context.rs:2589:17
[INFO] [stderr]      |
[INFO] [stderr] 2589 |       type Type = Sort<<Ctx as SortOfProduct<<T as ExecuteType<Ctx>>::Sort,
[INFO] [stderr]      |  _________________^
[INFO] [stderr] 2590 | |                                            <C as ExecuteType<HCons<Assum<T>, /*<Ctx as Generic*/<Ctx as RawContext>::Subs/*>::Repr*/>>>::Sort>>::Sort>;
[INFO] [stderr]      | |______________________________________________________________________________________________________________________________________________________^
[INFO] [stderr]      |
[INFO] [stderr]      = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#type_complexity
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 23.98s
[INFO] running `"docker" "inspect" "65c34370ba896fe62e25f8dbbf0b275e7e78328fb1cedcbe1e6af619bce127bf"`
[INFO] running `"docker" "rm" "-f" "65c34370ba896fe62e25f8dbbf0b275e7e78328fb1cedcbe1e6af619bce127bf"`
[INFO] [stdout] 65c34370ba896fe62e25f8dbbf0b275e7e78328fb1cedcbe1e6af619bce127bf