[INFO] updating cached repository rookie1024/AbsoluteUnity
[INFO] running `"git" "fetch" "--all"`
[INFO] [stdout] Fetching origin
[INFO] [stderr] From git://github.com/rookie1024/AbsoluteUnity
[INFO] [stderr]  * branch            HEAD       -> FETCH_HEAD
[INFO] running `"git" "clone" "work/cache/sources/gh/rookie1024/AbsoluteUnity" "work/ex/pr-58592/sources/master#f66e4697ae286985ddefc53c3a047614568458bb/gh/rookie1024/AbsoluteUnity"`
[INFO] [stderr] Cloning into 'work/ex/pr-58592/sources/master#f66e4697ae286985ddefc53c3a047614568458bb/gh/rookie1024/AbsoluteUnity'...
[INFO] [stderr] done.
[INFO] running `"git" "clone" "work/cache/sources/gh/rookie1024/AbsoluteUnity" "work/ex/pr-58592/sources/try#c3b22200e6f5b70eb1f99ae6944d989ae17a458a/gh/rookie1024/AbsoluteUnity"`
[INFO] [stderr] Cloning into 'work/ex/pr-58592/sources/try#c3b22200e6f5b70eb1f99ae6944d989ae17a458a/gh/rookie1024/AbsoluteUnity'...
[INFO] [stderr] done.
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] 83d2b532acd33df547cabbf8616a943020ef3228
[INFO] sha for GitHub repo rookie1024/AbsoluteUnity: 83d2b532acd33df547cabbf8616a943020ef3228
[INFO] validating manifest of rookie1024/AbsoluteUnity on toolchain master#f66e4697ae286985ddefc53c3a047614568458bb
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+f66e4697ae286985ddefc53c3a047614568458bb-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of rookie1024/AbsoluteUnity on toolchain try#c3b22200e6f5b70eb1f99ae6944d989ae17a458a
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+c3b22200e6f5b70eb1f99ae6944d989ae17a458a-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started frobbing rookie1024/AbsoluteUnity
[INFO] finished frobbing rookie1024/AbsoluteUnity
[INFO] frobbed toml for rookie1024/AbsoluteUnity written to work/ex/pr-58592/sources/master#f66e4697ae286985ddefc53c3a047614568458bb/gh/rookie1024/AbsoluteUnity/Cargo.toml
[INFO] started frobbing rookie1024/AbsoluteUnity
[INFO] finished frobbing rookie1024/AbsoluteUnity
[INFO] frobbed toml for rookie1024/AbsoluteUnity written to work/ex/pr-58592/sources/try#c3b22200e6f5b70eb1f99ae6944d989ae17a458a/gh/rookie1024/AbsoluteUnity/Cargo.toml
[INFO] crate rookie1024/AbsoluteUnity has a lockfile. skipping
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+f66e4697ae286985ddefc53c3a047614568458bb-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+c3b22200e6f5b70eb1f99ae6944d989ae17a458a-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] checking rookie1024/AbsoluteUnity against master#f66e4697ae286985ddefc53c3a047614568458bb for pr-58592
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-58592/worker-7/master#f66e4697ae286985ddefc53c3a047614568458bb:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-58592/sources/master#f66e4697ae286985ddefc53c3a047614568458bb/gh/rookie1024/AbsoluteUnity:/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" "+f66e4697ae286985ddefc53c3a047614568458bb-alt" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] d8555d309a0b226bf2d08d66f97053ad607e9644e668bfe93881d8f4a008cca9
[INFO] running `"docker" "start" "-a" "d8555d309a0b226bf2d08d66f97053ad607e9644e668bfe93881d8f4a008cca9"`
[INFO] [stderr]    Compiling byte-tools v0.3.0
[INFO] [stderr]    Compiling byteorder v1.2.7
[INFO] [stderr]    Compiling bit-vec v0.5.0
[INFO] [stderr]    Compiling opaque-debug v0.2.1
[INFO] [stderr]    Compiling ordermap v0.3.5
[INFO] [stderr]    Compiling fixedbitset v0.1.9
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling fake-simd v0.1.2
[INFO] [stderr]    Compiling lalrpop-util v0.16.1
[INFO] [stderr]    Compiling diff v0.1.11
[INFO] [stderr]    Compiling nix v0.12.0
[INFO] [stderr]    Compiling phf_shared v0.7.23
[INFO] [stderr]    Compiling regex-syntax v0.6.3
[INFO] [stderr]    Compiling ascii-canvas v1.0.0
[INFO] [stderr]    Compiling itertools v0.7.11
[INFO] [stderr]    Compiling block-padding v0.1.2
[INFO] [stderr]    Compiling typenum v1.10.0
[INFO] [stderr]    Compiling ena v0.10.1
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.1
[INFO] [stderr]    Compiling bit-set v0.5.0
[INFO] [stderr]    Compiling atty v0.2.11
[INFO] [stderr]     Checking dirs v1.0.4
[INFO] [stderr]     Checking nix v0.11.0
[INFO] [stderr]    Compiling memchr v2.1.1
[INFO] [stderr]    Compiling petgraph v0.4.13
[INFO] [stderr]    Compiling phf_generator v0.7.23
[INFO] [stderr]    Compiling string_cache_codegen v0.4.2
[INFO] [stderr]     Checking error-chain v0.12.0
[INFO] [stderr]    Compiling generic-array v0.12.0
[INFO] [stderr]    Compiling aho-corasick v0.6.9
[INFO] [stderr]    Compiling string_cache v0.7.3
[INFO] [stderr]    Compiling block-buffer v0.7.0
[INFO] [stderr]    Compiling digest v0.8.0
[INFO] [stderr]    Compiling sha2 v0.8.0
[INFO] [stderr]     Checking rustyline v2.1.0
[INFO] [stderr]    Compiling regex v1.0.6
[INFO] [stderr]    Compiling docopt v1.0.2
[INFO] [stderr]    Compiling lalrpop v0.16.1
[INFO] [stderr]    Compiling absolute_unity v0.1.0 (/opt/crater/workdir)
[INFO] [stderr] error[E0720]: opaque type expands to a recursive type
[INFO] [stderr]   --> src/aunify/env.rs:19:8
[INFO] [stderr]    |
[INFO] [stderr] 19 |   ) -> impl Iterator<Item = Sub> + 'a {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expands to self-referential type
[INFO] [stderr]    |
[INFO] [stderr]    = note: expanded type is `gen_iter::GenIter<[generator@src/aunify/env.rs:20:13: 69:6 tracer:T, app:pred::App, self:&'a env::Env, src:&'a var::VarSource for<'r, 's, 't0, 't1, 't2, 't3, 't4, 't5, 't6, 't7, 't8, 't9, 't10, 't11, 't12, 't13, 't14, 't15, 't16, 't17, 't18, 't19, 't20, 't21, 't22, 't23, 't24, 't25, 't26, 't27, 't28, 't29, 't30, 't31, 't32, 't33, 't34> {<T as tracer::Tracer>::SolveAppHandle, fn(&'r std::vec::Vec<scheme::MaybeScheme<statement::Statement>>) -> <&'r std::vec::Vec<scheme::MaybeScheme<statement::Statement>> as std::iter::IntoIterator>::IntoIter {<&'r std::vec::Vec<scheme::MaybeScheme<statement::Statement>> as std::iter::IntoIterator>::into_iter}, &'s env::Env, env::Env, std::vec::Vec<scheme::MaybeScheme<statement::Statement>>, &'t0 std::vec::Vec<scheme::MaybeScheme<statement::Statement>>, std::slice::Iter<'t1, scheme::MaybeScheme<statement::Statement>>, std::slice::Iter<'t2, scheme::MaybeScheme<statement::Statement>>, &'t3 scheme::MaybeScheme<statement::Statement>, &'t4 scheme::MaybeScheme<statement::Statement>, scheme::MaybeScheme<statement::Statement>, &'t5 scheme::MaybeScheme<statement::Statement>, &'t6 var::VarSource, var::VarSource, &'t7 var::VarSource, &'t8 <T as tracer::Tracer>::SolveAppHandle, <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::ThingTracer, std::result::Result<std::borrow::Cow<'t9, statement::Statement>, Error>, std::borrow::Cow<'t10, statement::Statement>, statement::Statement, &'t11 statement::Statement, &'t12 pred::App, pred::App, &'t13 pred::App, &'t14 pred::App, &'t15 pred::App, &'t16 <T as tracer::Tracer>::SolveAppHandle, <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::UnifyTracer, std::result::Result<sub::Sub, Error>, [closure@src/aunify/env.rs:39:71: 45:14 stmt:&'t18 std::borrow::Cow<'t19, statement::Statement>, tracer:&'t20 <T as tracer::Tracer>::SolveAppHandle], std::result::Result<(clause::Clause, sub::Sub), Error>, clause::Clause, sub::Sub, fn(std::boxed::Box<gen_iter::GenIter<[generator@src/aunify/env.rs:89:13: 151:6 tracer:<T as tracer::Tracer>::SolveAppHandle, clause:clause::Clause, self:&'t21 env::Env, src:&'t21 var::VarSource for<'t35, 't36, 't37, 't38, 't39, 't40, 't41, 't42, 't43, 't44, 't45, 't46, 't47, 't48, 't49, 't50, 't51, 't52, 't53, 't54, 't55, 't56, 't57, 't58, 't59, 't60, 't61, 't62, 't63, 't64, 't65, 't66, 't67, 't68, 't69, 't70, 't71, 't72, 't73, 't74, 't75, 't76, 't77, 't78, 't79, 't80, 't81, 't82, 't83, 't84, 't85, 't86, 't87, 't88, 't89, 't90, 't91, 't92, 't93, 't94, 't95, 't96, 't97, 't98, 't99, 't100, 't101, 't102, 't103, 't104, 't105, 't106, 't107> {<<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, clause::Clause, sub::Sub, (), pred::App, fn(impl std::iter::Iterator) -> <impl std::iter::Iterator as std::iter::IntoIterator>::IntoIter {<impl std::iter::Iterator as std::iter::IntoIterator>::into_iter}, &'t37 env::Env, env::Env, &'t38 env::Env, &'t39 var::VarSource, var::VarSource, &'t40 var::VarSource, &'t41 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<clause::Clause>, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t46 env::Env, &'t47 var::VarSource, &'t48 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t53 mut std::boxed::Box<impl std::iter::Iterator>, std::option::Option<sub::Sub>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t60 env::Env, &'t61 var::VarSource, &'t62 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t67 std::boxed::Box<clause::Clause>, &'t68 sub::Sub, &'t69 sub::Sub, &'t70 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, <<<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::ThingTracer, std::result::Result<clause::Clause, Error>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t75 env::Env, &'t76 var::VarSource, &'t77 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t82 sub::Sub, &'t83 sub::Sub, &'t84 sub::Sub, &'t85 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, std::result::Result<sub::Sub, Error>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t90 env::Env, &'t91 var::VarSource, &'t92 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t101 env::Env, &'t102 var::VarSource, &'t103 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>}]>>) -> <std::boxed::Box<gen_iter::GenIter<[generator@src/aunify/env.rs:89:13: 151:6 tracer:<T as tracer::Tracer>::SolveAppHandle, clause:clause::Clause, self:&'t21 env::Env, src:&'t21 var::VarSource for<'t35, 't36, 't37, 't38, 't39, 't40, 't41, 't42, 't43, 't44, 't45, 't46, 't47, 't48, 't49, 't50, 't51, 't52, 't53, 't54, 't55, 't56, 't57, 't58, 't59, 't60, 't61, 't62, 't63, 't64, 't65, 't66, 't67, 't68, 't69, 't70, 't71, 't72, 't73, 't74, 't75, 't76, 't77, 't78, 't79, 't80, 't81, 't82, 't83, 't84, 't85, 't86, 't87, 't88, 't89, 't90, 't91, 't92, 't93, 't94, 't95, 't96, 't97, 't98, 't99, 't100, 't101, 't102, 't103, 't104, 't105, 't106, 't107> {<<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, clause::Clause, sub::Sub, (), pred::App, fn(impl std::iter::Iterator) -> <impl std::iter::Iterator as std::iter::IntoIterator>::IntoIter {<impl std::iter::Iterator as std::iter::IntoIterator>::into_iter}, &'t37 env::Env, env::Env, &'t38 env::Env, &'t39 var::VarSource, var::VarSource, &'t40 var::VarSource, &'t41 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<clause::Clause>, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t46 env::Env, &'t47 var::VarSource, &'t48 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t53 mut std::boxed::Box<impl std::iter::Iterator>, std::option::Option<sub::Sub>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t60 env::Env, &'t61 var::VarSource, &'t62 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t67 std::boxed::Box<clause::Clause>, &'t68 sub::Sub, &'t69 sub::Sub, &'t70 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, <<<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::ThingTracer, std::result::Result<clause::Clause, Error>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t75 env::Env, &'t76 var::VarSource, &'t77 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t82 sub::Sub, &'t83 sub::Sub, &'t84 sub::Sub, &'t85 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, std::result::Result<sub::Sub, Error>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t90 env::Env, &'t91 var::VarSource, &'t92 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t101 env::Env, &'t102 var::VarSource, &'t103 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>}]>> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<gen_iter::GenIter<[generator@src/aunify/env.rs:89:13: 151:6 tracer:<T as tracer::Tracer>::SolveAppHandle, clause:clause::Clause, self:&'t21 env::Env, src:&'t21 var::VarSource for<'t35, 't36, 't37, 't38, 't39, 't40, 't41, 't42, 't43, 't44, 't45, 't46, 't47, 't48, 't49, 't50, 't51, 't52, 't53, 't54, 't55, 't56, 't57, 't58, 't59, 't60, 't61, 't62, 't63, 't64, 't65, 't66, 't67, 't68, 't69, 't70, 't71, 't72, 't73, 't74, 't75, 't76, 't77, 't78, 't79, 't80, 't81, 't82, 't83, 't84, 't85, 't86, 't87, 't88, 't89, 't90, 't91, 't92, 't93, 't94, 't95, 't96, 't97, 't98, 't99, 't100, 't101, 't102, 't103, 't104, 't105, 't106, 't107> {<<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, clause::Clause, sub::Sub, (), pred::App, fn(impl std::iter::Iterator) -> <impl std::iter::Iterator as std::iter::IntoIterator>::IntoIter {<impl std::iter::Iterator as std::iter::IntoIterator>::into_iter}, &'t37 env::Env, env::Env, &'t38 env::Env, &'t39 var::VarSource, var::VarSource, &'t40 var::VarSource, &'t41 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<clause::Clause>, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t46 env::Env, &'t47 var::VarSource, &'t48 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t53 mut std::boxed::Box<impl std::iter::Iterator>, std::option::Option<sub::Sub>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t60 env::Env, &'t61 var::VarSource, &'t62 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t67 std::boxed::Box<clause::Clause>, &'t68 sub::Sub, &'t69 sub::Sub, &'t70 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, <<<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::ThingTracer, std::result::Result<clause::Clause, Error>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t75 env::Env, &'t76 var::VarSource, &'t77 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t82 sub::Sub, &'t83 sub::Sub, &'t84 sub::Sub, &'t85 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, std::result::Result<sub::Sub, Error>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t90 env::Env, &'t91 var::VarSource, &'t92 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t101 env::Env, &'t102 var::VarSource, &'t103 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>}]>> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t24 env::Env, &'t25 var::VarSource, &'t26 <T as tracer::Tracer>::SolveAppHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t31 sub::Sub, &'t32 sub::Sub, &'t33 sub::Sub, &'t34 <T as tracer::Tracer>::SolveAppHandle, ()}]>`
[INFO] [stderr] 
[INFO] [stderr] error[E0720]: opaque type expands to a recursive type
[INFO] [stderr]   --> src/aunify/env.rs:86:8
[INFO] [stderr]    |
[INFO] [stderr] 86 |   ) -> impl Iterator<Item = Sub> + 'a {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expands to self-referential type
[INFO] [stderr]    |
[INFO] [stderr]    = note: expanded type is `gen_iter::GenIter<[generator@src/aunify/env.rs:89:13: 151:6 tracer:T, clause:clause::Clause, self:&'a env::Env, src:&'a var::VarSource for<'r, 's, 't0, 't1, 't2, 't3, 't4, 't5, 't6, 't7, 't8, 't9, 't10, 't11, 't12, 't13, 't14, 't15, 't16, 't17, 't18, 't19, 't20, 't21, 't22, 't23, 't24, 't25, 't26, 't27, 't28, 't29, 't30, 't31, 't32, 't33, 't34, 't35, 't36, 't37, 't38, 't39, 't40, 't41, 't42, 't43, 't44, 't45, 't46, 't47, 't48, 't49, 't50, 't51, 't52, 't53, 't54, 't55, 't56, 't57, 't58, 't59, 't60, 't61, 't62, 't63, 't64, 't65, 't66, 't67, 't68, 't69> {<T as tracer::Tracer>::SolveClauseHandle, clause::Clause, sub::Sub, (), pred::App, fn(gen_iter::GenIter<[generator@src/aunify/env.rs:20:13: 69:6 tracer:<T as tracer::Tracer>::SolveClauseHandle, app:pred::App, self:&'r env::Env, src:&'r var::VarSource for<'t70, 't71, 't72, 't73, 't74, 't75, 't76, 't77, 't78, 't79, 't80, 't81, 't82, 't83, 't84, 't85, 't86, 't87, 't88, 't89, 't90, 't91, 't92, 't93, 't94, 't95, 't96, 't97, 't98, 't99, 't100, 't101, 't102, 't103, 't104, 't105, 't106, 't107> {<<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, fn(&'t70 std::vec::Vec<scheme::MaybeScheme<statement::Statement>>) -> <&'t70 std::vec::Vec<scheme::MaybeScheme<statement::Statement>> as std::iter::IntoIterator>::IntoIter {<&'t70 std::vec::Vec<scheme::MaybeScheme<statement::Statement>> as std::iter::IntoIterator>::into_iter}, &'t71 env::Env, env::Env, std::vec::Vec<scheme::MaybeScheme<statement::Statement>>, &'t72 std::vec::Vec<scheme::MaybeScheme<statement::Statement>>, std::slice::Iter<'t73, scheme::MaybeScheme<statement::Statement>>, std::slice::Iter<'t74, scheme::MaybeScheme<statement::Statement>>, &'t75 scheme::MaybeScheme<statement::Statement>, &'t76 scheme::MaybeScheme<statement::Statement>, scheme::MaybeScheme<statement::Statement>, &'t77 scheme::MaybeScheme<statement::Statement>, &'t78 var::VarSource, var::VarSource, &'t79 var::VarSource, &'t80 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, <<<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::ThingTracer, std::result::Result<std::borrow::Cow<'t81, statement::Statement>, Error>, std::borrow::Cow<'t82, statement::Statement>, statement::Statement, &'t83 statement::Statement, &'t84 pred::App, pred::App, &'t85 pred::App, &'t86 pred::App, &'t87 pred::App, &'t88 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, <<<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::UnifyTracer, std::result::Result<sub::Sub, Error>, [closure@src/aunify/env.rs:39:71: 45:14 stmt:&'t90 std::borrow::Cow<'t91, statement::Statement>, tracer:&'t92 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle], std::result::Result<(clause::Clause, sub::Sub), Error>, clause::Clause, sub::Sub, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t97 env::Env, &'t98 var::VarSource, &'t99 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t104 sub::Sub, &'t105 sub::Sub, &'t106 sub::Sub, &'t107 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, ()}]>) -> <gen_iter::GenIter<[generator@src/aunify/env.rs:20:13: 69:6 tracer:<T as tracer::Tracer>::SolveClauseHandle, app:pred::App, self:&'r env::Env, src:&'r var::VarSource for<'t70, 't71, 't72, 't73, 't74, 't75, 't76, 't77, 't78, 't79, 't80, 't81, 't82, 't83, 't84, 't85, 't86, 't87, 't88, 't89, 't90, 't91, 't92, 't93, 't94, 't95, 't96, 't97, 't98, 't99, 't100, 't101, 't102, 't103, 't104, 't105, 't106, 't107> {<<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, fn(&'t70 std::vec::Vec<scheme::MaybeScheme<statement::Statement>>) -> <&'t70 std::vec::Vec<scheme::MaybeScheme<statement::Statement>> as std::iter::IntoIterator>::IntoIter {<&'t70 std::vec::Vec<scheme::MaybeScheme<statement::Statement>> as std::iter::IntoIterator>::into_iter}, &'t71 env::Env, env::Env, std::vec::Vec<scheme::MaybeScheme<statement::Statement>>, &'t72 std::vec::Vec<scheme::MaybeScheme<statement::Statement>>, std::slice::Iter<'t73, scheme::MaybeScheme<statement::Statement>>, std::slice::Iter<'t74, scheme::MaybeScheme<statement::Statement>>, &'t75 scheme::MaybeScheme<statement::Statement>, &'t76 scheme::MaybeScheme<statement::Statement>, scheme::MaybeScheme<statement::Statement>, &'t77 scheme::MaybeScheme<statement::Statement>, &'t78 var::VarSource, var::VarSource, &'t79 var::VarSource, &'t80 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, <<<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::ThingTracer, std::result::Result<std::borrow::Cow<'t81, statement::Statement>, Error>, std::borrow::Cow<'t82, statement::Statement>, statement::Statement, &'t83 statement::Statement, &'t84 pred::App, pred::App, &'t85 pred::App, &'t86 pred::App, &'t87 pred::App, &'t88 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, <<<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::UnifyTracer, std::result::Result<sub::Sub, Error>, [closure@src/aunify/env.rs:39:71: 45:14 stmt:&'t90 std::borrow::Cow<'t91, statement::Statement>, tracer:&'t92 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle], std::result::Result<(clause::Clause, sub::Sub), Error>, clause::Clause, sub::Sub, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t97 env::Env, &'t98 var::VarSource, &'t99 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t104 sub::Sub, &'t105 sub::Sub, &'t106 sub::Sub, &'t107 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, ()}]> as std::iter::IntoIterator>::IntoIter {<gen_iter::GenIter<[generator@src/aunify/env.rs:20:13: 69:6 tracer:<T as tracer::Tracer>::SolveClauseHandle, app:pred::App, self:&'r env::Env, src:&'r var::VarSource for<'t70, 't71, 't72, 't73, 't74, 't75, 't76, 't77, 't78, 't79, 't80, 't81, 't82, 't83, 't84, 't85, 't86, 't87, 't88, 't89, 't90, 't91, 't92, 't93, 't94, 't95, 't96, 't97, 't98, 't99, 't100, 't101, 't102, 't103, 't104, 't105, 't106, 't107> {<<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, fn(&'t70 std::vec::Vec<scheme::MaybeScheme<statement::Statement>>) -> <&'t70 std::vec::Vec<scheme::MaybeScheme<statement::Statement>> as std::iter::IntoIterator>::IntoIter {<&'t70 std::vec::Vec<scheme::MaybeScheme<statement::Statement>> as std::iter::IntoIterator>::into_iter}, &'t71 env::Env, env::Env, std::vec::Vec<scheme::MaybeScheme<statement::Statement>>, &'t72 std::vec::Vec<scheme::MaybeScheme<statement::Statement>>, std::slice::Iter<'t73, scheme::MaybeScheme<statement::Statement>>, std::slice::Iter<'t74, scheme::MaybeScheme<statement::Statement>>, &'t75 scheme::MaybeScheme<statement::Statement>, &'t76 scheme::MaybeScheme<statement::Statement>, scheme::MaybeScheme<statement::Statement>, &'t77 scheme::MaybeScheme<statement::Statement>, &'t78 var::VarSource, var::VarSource, &'t79 var::VarSource, &'t80 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, <<<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::ThingTracer, std::result::Result<std::borrow::Cow<'t81, statement::Statement>, Error>, std::borrow::Cow<'t82, statement::Statement>, statement::Statement, &'t83 statement::Statement, &'t84 pred::App, pred::App, &'t85 pred::App, &'t86 pred::App, &'t87 pred::App, &'t88 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, <<<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::UnifyTracer, std::result::Result<sub::Sub, Error>, [closure@src/aunify/env.rs:39:71: 45:14 stmt:&'t90 std::borrow::Cow<'t91, statement::Statement>, tracer:&'t92 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle], std::result::Result<(clause::Clause, sub::Sub), Error>, clause::Clause, sub::Sub, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t97 env::Env, &'t98 var::VarSource, &'t99 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t104 sub::Sub, &'t105 sub::Sub, &'t106 sub::Sub, &'t107 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, ()}]> as std::iter::IntoIterator>::into_iter}, &'s env::Env, env::Env, &'t0 env::Env, &'t1 var::VarSource, var::VarSource, &'t2 var::VarSource, &'t3 <T as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<clause::Clause>, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t8 env::Env, &'t9 var::VarSource, &'t10 <T as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t15 mut std::boxed::Box<impl std::iter::Iterator>, std::option::Option<sub::Sub>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t22 env::Env, &'t23 var::VarSource, &'t24 <T as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t29 std::boxed::Box<clause::Clause>, &'t30 sub::Sub, &'t31 sub::Sub, &'t32 <T as tracer::Tracer>::SolveClauseHandle, <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::ThingTracer, std::result::Result<clause::Clause, Error>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t37 env::Env, &'t38 var::VarSource, &'t39 <T as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t44 sub::Sub, &'t45 sub::Sub, &'t46 sub::Sub, &'t47 <T as tracer::Tracer>::SolveClauseHandle, std::result::Result<sub::Sub, Error>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t52 env::Env, &'t53 var::VarSource, &'t54 <T as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t63 env::Env, &'t64 var::VarSource, &'t65 <T as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>}]>`
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to 2 previous errors
[INFO] [stderr] 
[INFO] [stderr] For more information about this error, try `rustc --explain E0720`.
[INFO] [stderr] error: Could not compile `absolute_unity`.
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error[E0720]: opaque type expands to a recursive type
[INFO] [stderr]   --> src/aunify/env.rs:19:8
[INFO] [stderr]    |
[INFO] [stderr] 19 |   ) -> impl Iterator<Item = Sub> + 'a {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expands to self-referential type
[INFO] [stderr]    |
[INFO] [stderr]    = note: expanded type is `gen_iter::GenIter<[generator@src/aunify/env.rs:20:13: 69:6 tracer:T, app:pred::App, self:&'a env::Env, src:&'a var::VarSource for<'r, 's, 't0, 't1, 't2, 't3, 't4, 't5, 't6, 't7, 't8, 't9, 't10, 't11, 't12, 't13, 't14, 't15, 't16, 't17, 't18, 't19, 't20, 't21, 't22, 't23, 't24, 't25, 't26, 't27, 't28, 't29, 't30, 't31, 't32, 't33, 't34> {<T as tracer::Tracer>::SolveAppHandle, fn(&'r std::vec::Vec<scheme::MaybeScheme<statement::Statement>>) -> <&'r std::vec::Vec<scheme::MaybeScheme<statement::Statement>> as std::iter::IntoIterator>::IntoIter {<&'r std::vec::Vec<scheme::MaybeScheme<statement::Statement>> as std::iter::IntoIterator>::into_iter}, &'s env::Env, env::Env, std::vec::Vec<scheme::MaybeScheme<statement::Statement>>, &'t0 std::vec::Vec<scheme::MaybeScheme<statement::Statement>>, std::slice::Iter<'t1, scheme::MaybeScheme<statement::Statement>>, std::slice::Iter<'t2, scheme::MaybeScheme<statement::Statement>>, &'t3 scheme::MaybeScheme<statement::Statement>, &'t4 scheme::MaybeScheme<statement::Statement>, scheme::MaybeScheme<statement::Statement>, &'t5 scheme::MaybeScheme<statement::Statement>, &'t6 var::VarSource, var::VarSource, &'t7 var::VarSource, &'t8 <T as tracer::Tracer>::SolveAppHandle, <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::ThingTracer, std::result::Result<std::borrow::Cow<'t9, statement::Statement>, Error>, std::borrow::Cow<'t10, statement::Statement>, statement::Statement, &'t11 statement::Statement, &'t12 pred::App, pred::App, &'t13 pred::App, &'t14 pred::App, &'t15 pred::App, &'t16 <T as tracer::Tracer>::SolveAppHandle, <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::UnifyTracer, std::result::Result<sub::Sub, Error>, [closure@src/aunify/env.rs:39:71: 45:14 stmt:&'t18 std::borrow::Cow<'t19, statement::Statement>, tracer:&'t20 <T as tracer::Tracer>::SolveAppHandle], std::result::Result<(clause::Clause, sub::Sub), Error>, clause::Clause, sub::Sub, fn(std::boxed::Box<gen_iter::GenIter<[generator@src/aunify/env.rs:89:13: 151:6 tracer:<T as tracer::Tracer>::SolveAppHandle, clause:clause::Clause, self:&'t21 env::Env, src:&'t21 var::VarSource for<'t35, 't36, 't37, 't38, 't39, 't40, 't41, 't42, 't43, 't44, 't45, 't46, 't47, 't48, 't49, 't50, 't51, 't52, 't53, 't54, 't55, 't56, 't57, 't58, 't59, 't60, 't61, 't62, 't63, 't64, 't65, 't66, 't67, 't68, 't69, 't70, 't71, 't72, 't73, 't74, 't75, 't76, 't77, 't78, 't79, 't80, 't81, 't82, 't83, 't84, 't85, 't86, 't87, 't88, 't89, 't90, 't91, 't92, 't93, 't94, 't95, 't96, 't97, 't98, 't99, 't100, 't101, 't102, 't103, 't104, 't105, 't106, 't107> {<<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, clause::Clause, sub::Sub, (), pred::App, fn(impl std::iter::Iterator) -> <impl std::iter::Iterator as std::iter::IntoIterator>::IntoIter {<impl std::iter::Iterator as std::iter::IntoIterator>::into_iter}, &'t37 env::Env, env::Env, &'t38 env::Env, &'t39 var::VarSource, var::VarSource, &'t40 var::VarSource, &'t41 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<clause::Clause>, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t46 env::Env, &'t47 var::VarSource, &'t48 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t53 mut std::boxed::Box<impl std::iter::Iterator>, std::option::Option<sub::Sub>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t60 env::Env, &'t61 var::VarSource, &'t62 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t67 std::boxed::Box<clause::Clause>, &'t68 sub::Sub, &'t69 sub::Sub, &'t70 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, <<<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::ThingTracer, std::result::Result<clause::Clause, Error>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t75 env::Env, &'t76 var::VarSource, &'t77 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t82 sub::Sub, &'t83 sub::Sub, &'t84 sub::Sub, &'t85 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, std::result::Result<sub::Sub, Error>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t90 env::Env, &'t91 var::VarSource, &'t92 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t101 env::Env, &'t102 var::VarSource, &'t103 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>}]>>) -> <std::boxed::Box<gen_iter::GenIter<[generator@src/aunify/env.rs:89:13: 151:6 tracer:<T as tracer::Tracer>::SolveAppHandle, clause:clause::Clause, self:&'t21 env::Env, src:&'t21 var::VarSource for<'t35, 't36, 't37, 't38, 't39, 't40, 't41, 't42, 't43, 't44, 't45, 't46, 't47, 't48, 't49, 't50, 't51, 't52, 't53, 't54, 't55, 't56, 't57, 't58, 't59, 't60, 't61, 't62, 't63, 't64, 't65, 't66, 't67, 't68, 't69, 't70, 't71, 't72, 't73, 't74, 't75, 't76, 't77, 't78, 't79, 't80, 't81, 't82, 't83, 't84, 't85, 't86, 't87, 't88, 't89, 't90, 't91, 't92, 't93, 't94, 't95, 't96, 't97, 't98, 't99, 't100, 't101, 't102, 't103, 't104, 't105, 't106, 't107> {<<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, clause::Clause, sub::Sub, (), pred::App, fn(impl std::iter::Iterator) -> <impl std::iter::Iterator as std::iter::IntoIterator>::IntoIter {<impl std::iter::Iterator as std::iter::IntoIterator>::into_iter}, &'t37 env::Env, env::Env, &'t38 env::Env, &'t39 var::VarSource, var::VarSource, &'t40 var::VarSource, &'t41 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<clause::Clause>, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t46 env::Env, &'t47 var::VarSource, &'t48 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t53 mut std::boxed::Box<impl std::iter::Iterator>, std::option::Option<sub::Sub>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t60 env::Env, &'t61 var::VarSource, &'t62 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t67 std::boxed::Box<clause::Clause>, &'t68 sub::Sub, &'t69 sub::Sub, &'t70 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, <<<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::ThingTracer, std::result::Result<clause::Clause, Error>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t75 env::Env, &'t76 var::VarSource, &'t77 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t82 sub::Sub, &'t83 sub::Sub, &'t84 sub::Sub, &'t85 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, std::result::Result<sub::Sub, Error>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t90 env::Env, &'t91 var::VarSource, &'t92 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t101 env::Env, &'t102 var::VarSource, &'t103 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>}]>> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<gen_iter::GenIter<[generator@src/aunify/env.rs:89:13: 151:6 tracer:<T as tracer::Tracer>::SolveAppHandle, clause:clause::Clause, self:&'t21 env::Env, src:&'t21 var::VarSource for<'t35, 't36, 't37, 't38, 't39, 't40, 't41, 't42, 't43, 't44, 't45, 't46, 't47, 't48, 't49, 't50, 't51, 't52, 't53, 't54, 't55, 't56, 't57, 't58, 't59, 't60, 't61, 't62, 't63, 't64, 't65, 't66, 't67, 't68, 't69, 't70, 't71, 't72, 't73, 't74, 't75, 't76, 't77, 't78, 't79, 't80, 't81, 't82, 't83, 't84, 't85, 't86, 't87, 't88, 't89, 't90, 't91, 't92, 't93, 't94, 't95, 't96, 't97, 't98, 't99, 't100, 't101, 't102, 't103, 't104, 't105, 't106, 't107> {<<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, clause::Clause, sub::Sub, (), pred::App, fn(impl std::iter::Iterator) -> <impl std::iter::Iterator as std::iter::IntoIterator>::IntoIter {<impl std::iter::Iterator as std::iter::IntoIterator>::into_iter}, &'t37 env::Env, env::Env, &'t38 env::Env, &'t39 var::VarSource, var::VarSource, &'t40 var::VarSource, &'t41 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<clause::Clause>, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t46 env::Env, &'t47 var::VarSource, &'t48 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t53 mut std::boxed::Box<impl std::iter::Iterator>, std::option::Option<sub::Sub>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t60 env::Env, &'t61 var::VarSource, &'t62 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t67 std::boxed::Box<clause::Clause>, &'t68 sub::Sub, &'t69 sub::Sub, &'t70 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, <<<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::ThingTracer, std::result::Result<clause::Clause, Error>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t75 env::Env, &'t76 var::VarSource, &'t77 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t82 sub::Sub, &'t83 sub::Sub, &'t84 sub::Sub, &'t85 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, std::result::Result<sub::Sub, Error>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t90 env::Env, &'t91 var::VarSource, &'t92 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t101 env::Env, &'t102 var::VarSource, &'t103 <<T as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>}]>> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t24 env::Env, &'t25 var::VarSource, &'t26 <T as tracer::Tracer>::SolveAppHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t31 sub::Sub, &'t32 sub::Sub, &'t33 sub::Sub, &'t34 <T as tracer::Tracer>::SolveAppHandle, ()}]>`
[INFO] [stderr] 
[INFO] [stderr] error[E0720]: opaque type expands to a recursive type
[INFO] [stderr]   --> src/aunify/env.rs:86:8
[INFO] [stderr]    |
[INFO] [stderr] 86 |   ) -> impl Iterator<Item = Sub> + 'a {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expands to self-referential type
[INFO] [stderr]    |
[INFO] [stderr]    = note: expanded type is `gen_iter::GenIter<[generator@src/aunify/env.rs:89:13: 151:6 tracer:T, clause:clause::Clause, self:&'a env::Env, src:&'a var::VarSource for<'r, 's, 't0, 't1, 't2, 't3, 't4, 't5, 't6, 't7, 't8, 't9, 't10, 't11, 't12, 't13, 't14, 't15, 't16, 't17, 't18, 't19, 't20, 't21, 't22, 't23, 't24, 't25, 't26, 't27, 't28, 't29, 't30, 't31, 't32, 't33, 't34, 't35, 't36, 't37, 't38, 't39, 't40, 't41, 't42, 't43, 't44, 't45, 't46, 't47, 't48, 't49, 't50, 't51, 't52, 't53, 't54, 't55, 't56, 't57, 't58, 't59, 't60, 't61, 't62, 't63, 't64, 't65, 't66, 't67, 't68, 't69> {<T as tracer::Tracer>::SolveClauseHandle, clause::Clause, sub::Sub, (), pred::App, fn(gen_iter::GenIter<[generator@src/aunify/env.rs:20:13: 69:6 tracer:<T as tracer::Tracer>::SolveClauseHandle, app:pred::App, self:&'r env::Env, src:&'r var::VarSource for<'t70, 't71, 't72, 't73, 't74, 't75, 't76, 't77, 't78, 't79, 't80, 't81, 't82, 't83, 't84, 't85, 't86, 't87, 't88, 't89, 't90, 't91, 't92, 't93, 't94, 't95, 't96, 't97, 't98, 't99, 't100, 't101, 't102, 't103, 't104, 't105, 't106, 't107> {<<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, fn(&'t70 std::vec::Vec<scheme::MaybeScheme<statement::Statement>>) -> <&'t70 std::vec::Vec<scheme::MaybeScheme<statement::Statement>> as std::iter::IntoIterator>::IntoIter {<&'t70 std::vec::Vec<scheme::MaybeScheme<statement::Statement>> as std::iter::IntoIterator>::into_iter}, &'t71 env::Env, env::Env, std::vec::Vec<scheme::MaybeScheme<statement::Statement>>, &'t72 std::vec::Vec<scheme::MaybeScheme<statement::Statement>>, std::slice::Iter<'t73, scheme::MaybeScheme<statement::Statement>>, std::slice::Iter<'t74, scheme::MaybeScheme<statement::Statement>>, &'t75 scheme::MaybeScheme<statement::Statement>, &'t76 scheme::MaybeScheme<statement::Statement>, scheme::MaybeScheme<statement::Statement>, &'t77 scheme::MaybeScheme<statement::Statement>, &'t78 var::VarSource, var::VarSource, &'t79 var::VarSource, &'t80 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, <<<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::ThingTracer, std::result::Result<std::borrow::Cow<'t81, statement::Statement>, Error>, std::borrow::Cow<'t82, statement::Statement>, statement::Statement, &'t83 statement::Statement, &'t84 pred::App, pred::App, &'t85 pred::App, &'t86 pred::App, &'t87 pred::App, &'t88 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, <<<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::UnifyTracer, std::result::Result<sub::Sub, Error>, [closure@src/aunify/env.rs:39:71: 45:14 stmt:&'t90 std::borrow::Cow<'t91, statement::Statement>, tracer:&'t92 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle], std::result::Result<(clause::Clause, sub::Sub), Error>, clause::Clause, sub::Sub, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t97 env::Env, &'t98 var::VarSource, &'t99 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t104 sub::Sub, &'t105 sub::Sub, &'t106 sub::Sub, &'t107 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, ()}]>) -> <gen_iter::GenIter<[generator@src/aunify/env.rs:20:13: 69:6 tracer:<T as tracer::Tracer>::SolveClauseHandle, app:pred::App, self:&'r env::Env, src:&'r var::VarSource for<'t70, 't71, 't72, 't73, 't74, 't75, 't76, 't77, 't78, 't79, 't80, 't81, 't82, 't83, 't84, 't85, 't86, 't87, 't88, 't89, 't90, 't91, 't92, 't93, 't94, 't95, 't96, 't97, 't98, 't99, 't100, 't101, 't102, 't103, 't104, 't105, 't106, 't107> {<<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, fn(&'t70 std::vec::Vec<scheme::MaybeScheme<statement::Statement>>) -> <&'t70 std::vec::Vec<scheme::MaybeScheme<statement::Statement>> as std::iter::IntoIterator>::IntoIter {<&'t70 std::vec::Vec<scheme::MaybeScheme<statement::Statement>> as std::iter::IntoIterator>::into_iter}, &'t71 env::Env, env::Env, std::vec::Vec<scheme::MaybeScheme<statement::Statement>>, &'t72 std::vec::Vec<scheme::MaybeScheme<statement::Statement>>, std::slice::Iter<'t73, scheme::MaybeScheme<statement::Statement>>, std::slice::Iter<'t74, scheme::MaybeScheme<statement::Statement>>, &'t75 scheme::MaybeScheme<statement::Statement>, &'t76 scheme::MaybeScheme<statement::Statement>, scheme::MaybeScheme<statement::Statement>, &'t77 scheme::MaybeScheme<statement::Statement>, &'t78 var::VarSource, var::VarSource, &'t79 var::VarSource, &'t80 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, <<<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::ThingTracer, std::result::Result<std::borrow::Cow<'t81, statement::Statement>, Error>, std::borrow::Cow<'t82, statement::Statement>, statement::Statement, &'t83 statement::Statement, &'t84 pred::App, pred::App, &'t85 pred::App, &'t86 pred::App, &'t87 pred::App, &'t88 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, <<<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::UnifyTracer, std::result::Result<sub::Sub, Error>, [closure@src/aunify/env.rs:39:71: 45:14 stmt:&'t90 std::borrow::Cow<'t91, statement::Statement>, tracer:&'t92 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle], std::result::Result<(clause::Clause, sub::Sub), Error>, clause::Clause, sub::Sub, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t97 env::Env, &'t98 var::VarSource, &'t99 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t104 sub::Sub, &'t105 sub::Sub, &'t106 sub::Sub, &'t107 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, ()}]> as std::iter::IntoIterator>::IntoIter {<gen_iter::GenIter<[generator@src/aunify/env.rs:20:13: 69:6 tracer:<T as tracer::Tracer>::SolveClauseHandle, app:pred::App, self:&'r env::Env, src:&'r var::VarSource for<'t70, 't71, 't72, 't73, 't74, 't75, 't76, 't77, 't78, 't79, 't80, 't81, 't82, 't83, 't84, 't85, 't86, 't87, 't88, 't89, 't90, 't91, 't92, 't93, 't94, 't95, 't96, 't97, 't98, 't99, 't100, 't101, 't102, 't103, 't104, 't105, 't106, 't107> {<<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, fn(&'t70 std::vec::Vec<scheme::MaybeScheme<statement::Statement>>) -> <&'t70 std::vec::Vec<scheme::MaybeScheme<statement::Statement>> as std::iter::IntoIterator>::IntoIter {<&'t70 std::vec::Vec<scheme::MaybeScheme<statement::Statement>> as std::iter::IntoIterator>::into_iter}, &'t71 env::Env, env::Env, std::vec::Vec<scheme::MaybeScheme<statement::Statement>>, &'t72 std::vec::Vec<scheme::MaybeScheme<statement::Statement>>, std::slice::Iter<'t73, scheme::MaybeScheme<statement::Statement>>, std::slice::Iter<'t74, scheme::MaybeScheme<statement::Statement>>, &'t75 scheme::MaybeScheme<statement::Statement>, &'t76 scheme::MaybeScheme<statement::Statement>, scheme::MaybeScheme<statement::Statement>, &'t77 scheme::MaybeScheme<statement::Statement>, &'t78 var::VarSource, var::VarSource, &'t79 var::VarSource, &'t80 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, <<<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::ThingTracer, std::result::Result<std::borrow::Cow<'t81, statement::Statement>, Error>, std::borrow::Cow<'t82, statement::Statement>, statement::Statement, &'t83 statement::Statement, &'t84 pred::App, pred::App, &'t85 pred::App, &'t86 pred::App, &'t87 pred::App, &'t88 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, <<<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle as tracer::Tracer>::UnifyTracer, std::result::Result<sub::Sub, Error>, [closure@src/aunify/env.rs:39:71: 45:14 stmt:&'t90 std::borrow::Cow<'t91, statement::Statement>, tracer:&'t92 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle], std::result::Result<(clause::Clause, sub::Sub), Error>, clause::Clause, sub::Sub, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t97 env::Env, &'t98 var::VarSource, &'t99 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t104 sub::Sub, &'t105 sub::Sub, &'t106 sub::Sub, &'t107 <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::SolveAppHandle, ()}]> as std::iter::IntoIterator>::into_iter}, &'s env::Env, env::Env, &'t0 env::Env, &'t1 var::VarSource, var::VarSource, &'t2 var::VarSource, &'t3 <T as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<clause::Clause>, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t8 env::Env, &'t9 var::VarSource, &'t10 <T as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t15 mut std::boxed::Box<impl std::iter::Iterator>, std::option::Option<sub::Sub>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t22 env::Env, &'t23 var::VarSource, &'t24 <T as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t29 std::boxed::Box<clause::Clause>, &'t30 sub::Sub, &'t31 sub::Sub, &'t32 <T as tracer::Tracer>::SolveClauseHandle, <<T as tracer::Tracer>::SolveClauseHandle as tracer::Tracer>::ThingTracer, std::result::Result<clause::Clause, Error>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t37 env::Env, &'t38 var::VarSource, &'t39 <T as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, &'t44 sub::Sub, &'t45 sub::Sub, &'t46 sub::Sub, &'t47 <T as tracer::Tracer>::SolveClauseHandle, std::result::Result<sub::Sub, Error>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t52 env::Env, &'t53 var::VarSource, &'t54 <T as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>, fn(std::boxed::Box<impl std::iter::Iterator>) -> <std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::IntoIter {<std::boxed::Box<impl std::iter::Iterator> as std::iter::IntoIterator>::into_iter}, fn(impl std::iter::Iterator) -> std::boxed::Box<impl std::iter::Iterator> {<std::boxed::Box<T>><impl std::iter::Iterator>::new}, &'t63 env::Env, &'t64 var::VarSource, &'t65 <T as tracer::Tracer>::SolveClauseHandle, impl std::iter::Iterator, std::boxed::Box<impl std::iter::Iterator>}]>`
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to 2 previous errors
[INFO] [stderr] 
[INFO] [stderr] For more information about this error, try `rustc --explain E0720`.
[INFO] [stderr] error: Could not compile `absolute_unity`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `"docker" "inspect" "d8555d309a0b226bf2d08d66f97053ad607e9644e668bfe93881d8f4a008cca9"`
[INFO] running `"docker" "rm" "-f" "d8555d309a0b226bf2d08d66f97053ad607e9644e668bfe93881d8f4a008cca9"`
[INFO] [stdout] d8555d309a0b226bf2d08d66f97053ad607e9644e668bfe93881d8f4a008cca9