[INFO] fetching crate tt-toolkit_derive 0.1.0...
[INFO] testing tt-toolkit_derive-0.1.0 against master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 for pr-146098-8
[INFO] extracting crate tt-toolkit_derive 0.1.0 into /workspace/builds/worker-2-tc1/source
[INFO] started tweaking crates.io crate tt-toolkit_derive 0.1.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate tt-toolkit_derive 0.1.0
[INFO] tweaked toml for crates.io crate tt-toolkit_derive 0.1.0 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate tt-toolkit_derive 0.1.0 on toolchain c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate tt-toolkit_derive 0.1.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded unicode-ident v1.0.16
[INFO] [stderr]   Downloaded spez v0.1.2
[INFO] [stderr]   Downloaded tt-toolkit v0.0.0
[INFO] [stderr]   Downloaded tt-toolkit_derive v0.0.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] e63c026b56c9f6e4682c0fc26b13e795d7a7bd532a3717d80ada118d6624c13a
[INFO] running `Command { std: "docker" "start" "-a" "e63c026b56c9f6e4682c0fc26b13e795d7a7bd532a3717d80ada118d6624c13a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e63c026b56c9f6e4682c0fc26b13e795d7a7bd532a3717d80ada118d6624c13a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e63c026b56c9f6e4682c0fc26b13e795d7a7bd532a3717d80ada118d6624c13a", kill_on_drop: false }`
[INFO] [stdout] e63c026b56c9f6e4682c0fc26b13e795d7a7bd532a3717d80ada118d6624c13a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 74a7abd94fc90460c81e562f74c7241089de9c4c7973d201b512ff5b47780ebf
[INFO] running `Command { std: "docker" "start" "-a" "74a7abd94fc90460c81e562f74c7241089de9c4c7973d201b512ff5b47780ebf", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.93
[INFO] [stderr]    Compiling unicode-ident v1.0.16
[INFO] [stderr]    Compiling quote v1.0.38
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling syn v2.0.98
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling synstructure v0.13.1
[INFO] [stderr]    Compiling spez v0.1.2
[INFO] [stderr]    Compiling tt-toolkit_derive v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/utils.rs:113:9
[INFO] [stdout]     |
[INFO] [stdout] 113 |         &self,
[INFO] [stdout]     |         ^^^^^ the lifetime is elided here
[INFO] [stdout] 114 |         attr_name: &str,
[INFO] [stdout] 115 |     ) -> Option<BindingInfo>;
[INFO] [stdout]     |                 ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 115 |     ) -> Option<BindingInfo<'_>>;
[INFO] [stdout]     |                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/utils.rs:138:9
[INFO] [stdout]     |
[INFO] [stdout] 138 |         &self,
[INFO] [stdout]     |         ^^^^^ the lifetime is elided here
[INFO] [stdout] 139 |         attr_name: &str,
[INFO] [stdout] 140 |     ) -> Option<BindingInfo> {
[INFO] [stdout]     |                 ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 140 |     ) -> Option<BindingInfo<'_>> {
[INFO] [stdout]     |                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 7.91s
[INFO] running `Command { std: "docker" "inspect" "74a7abd94fc90460c81e562f74c7241089de9c4c7973d201b512ff5b47780ebf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "74a7abd94fc90460c81e562f74c7241089de9c4c7973d201b512ff5b47780ebf", kill_on_drop: false }`
[INFO] [stdout] 74a7abd94fc90460c81e562f74c7241089de9c4c7973d201b512ff5b47780ebf
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8b9cd025961cd740fd7e8cca69c86ab3dcdc30a56656bfa3e59665ee2627a697
[INFO] running `Command { std: "docker" "start" "-a" "8b9cd025961cd740fd7e8cca69c86ab3dcdc30a56656bfa3e59665ee2627a697", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.93
[INFO] [stderr]    Compiling unicode-ident v1.0.16
[INFO] [stderr]    Compiling tt-toolkit_derive v0.0.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling tt-toolkit v0.0.0
[INFO] [stderr]    Compiling quote v1.0.38
[INFO] [stderr]    Compiling syn v2.0.98
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling synstructure v0.13.1
[INFO] [stderr]    Compiling spez v0.1.2
[INFO] [stderr]    Compiling tt-toolkit_derive v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/utils.rs:113:9
[INFO] [stdout]     |
[INFO] [stdout] 113 |         &self,
[INFO] [stdout]     |         ^^^^^ the lifetime is elided here
[INFO] [stdout] 114 |         attr_name: &str,
[INFO] [stdout] 115 |     ) -> Option<BindingInfo>;
[INFO] [stdout]     |                 ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 115 |     ) -> Option<BindingInfo<'_>>;
[INFO] [stdout]     |                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/utils.rs:138:9
[INFO] [stdout]     |
[INFO] [stdout] 138 |         &self,
[INFO] [stdout]     |         ^^^^^ the lifetime is elided here
[INFO] [stdout] 139 |         attr_name: &str,
[INFO] [stdout] 140 |     ) -> Option<BindingInfo> {
[INFO] [stdout]     |                 ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 140 |     ) -> Option<BindingInfo<'_>> {
[INFO] [stdout]     |                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/utils.rs:113:9
[INFO] [stdout]     |
[INFO] [stdout] 113 |         &self,
[INFO] [stdout]     |         ^^^^^ the lifetime is elided here
[INFO] [stdout] 114 |         attr_name: &str,
[INFO] [stdout] 115 |     ) -> Option<BindingInfo>;
[INFO] [stdout]     |                 ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 115 |     ) -> Option<BindingInfo<'_>>;
[INFO] [stdout]     |                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/utils.rs:138:9
[INFO] [stdout]     |
[INFO] [stdout] 138 |         &self,
[INFO] [stdout]     |         ^^^^^ the lifetime is elided here
[INFO] [stdout] 139 |         attr_name: &str,
[INFO] [stdout] 140 |     ) -> Option<BindingInfo> {
[INFO] [stdout]     |                 ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 140 |     ) -> Option<BindingInfo<'_>> {
[INFO] [stdout]     |                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ttt::Substitute`
[INFO] [stdout]  --> tests/substitute_unit_explicit_other.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::Substitute;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^ no `Substitute` in the root
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing this variant instead
[INFO] [stdout]   |
[INFO] [stdout] 1 - use ttt::Substitute;
[INFO] [stdout] 1 + use std::ascii::Char::Substitute;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `subst_types` in this scope
[INFO] [stdout]  --> tests/substitute_unit_explicit_other.rs:5:3
[INFO] [stdout]   |
[INFO] [stdout] 5 | #[subst_types(String)]
[INFO] [stdout]   |   ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `subst_types` is an attribute that can be used by the derive macro `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 6 + #[derive(Substitute)]
[INFO] [stdout] 7 | struct UnitExplicitOther;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `ttt::DeBruijnIndexed`, `ttt::Substitute`
[INFO] [stdout]  --> tests/substitute_lambda_expr.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::{DeBruijnIndexed, Substitute};
[INFO] [stdout]   |           ^^^^^^^^^^^^^^^  ^^^^^^^^^^ no `Substitute` in the root
[INFO] [stdout]   |           |
[INFO] [stdout]   |           no `DeBruijnIndexed` in the root
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider importing this variant instead:
[INFO] [stdout]           std::ascii::Char::Substitute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `variable` in this scope
[INFO] [stdout]  --> tests/substitute_lambda_expr.rs:7:11
[INFO] [stdout]   |
[INFO] [stdout] 7 |     Var(#[variable] Variable),
[INFO] [stdout]   |           ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `variable` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 6 + #[derive(DeBruijnIndexed, Substitute)]
[INFO] [stdout] 7 | enum LambdaExpr {
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `binding` in this scope
[INFO] [stdout]  --> tests/substitute_lambda_expr.rs:8:14
[INFO] [stdout]   |
[INFO] [stdout] 8 |     Lambda(#[binding] Box<LambdaExpr>),
[INFO] [stdout]   |              ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `binding` is an attribute that can be used by the derive macros `DeBruijnIndexed`, `Evaluate` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 6 + #[derive(DeBruijnIndexed, Evaluate, Substitute)]
[INFO] [stdout] 7 | enum LambdaExpr {
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `subst_types` in this scope
[INFO] [stdout]   --> tests/substitute_lambda_expr.rs:13:3
[INFO] [stdout]    |
[INFO] [stdout] 13 | #[subst_types(LambdaExpr)]
[INFO] [stdout]    |   ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: `subst_types` is an attribute that can be used by the derive macro `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]    |
[INFO] [stdout] 14 + #[derive(Substitute)]
[INFO] [stdout] 15 | struct Variable {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `var_index` in this scope
[INFO] [stdout]   --> tests/substitute_lambda_expr.rs:15:7
[INFO] [stdout]    |
[INFO] [stdout] 15 |     #[var_index]
[INFO] [stdout]    |       ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `var_index` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `metadata` in this scope
[INFO] [stdout]   --> tests/substitute_lambda_expr.rs:17:7
[INFO] [stdout]    |
[INFO] [stdout] 17 |     #[metadata]
[INFO] [stdout]    |       ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `metadata` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Evaluate`, you might be missing a `derive` attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ttt::Substitute`
[INFO] [stdout]  --> tests/substitute_unit_explicit_self.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::Substitute;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^ no `Substitute` in the root
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing this variant instead
[INFO] [stdout]   |
[INFO] [stdout] 1 - use ttt::Substitute;
[INFO] [stdout] 1 + use std::ascii::Char::Substitute;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `subst_types` in this scope
[INFO] [stdout]  --> tests/substitute_unit_explicit_self.rs:4:3
[INFO] [stdout]   |
[INFO] [stdout] 4 | #[subst_types(Self)]
[INFO] [stdout]   |   ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `subst_types` is an attribute that can be used by the derive macro `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 5 + #[derive(Substitute)]
[INFO] [stdout] 6 | struct UnitExplicitSelf;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ttt::DeBruijnIndexed`
[INFO] [stdout]  --> tests/debruijn_indexed_lambda_expr.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::DeBruijnIndexed;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^ no `DeBruijnIndexed` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ttt::Substitute`
[INFO] [stdout]  --> tests/substitute_unit.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::Substitute;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^ no `Substitute` in the root
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing this variant instead
[INFO] [stdout]   |
[INFO] [stdout] 1 - use ttt::Substitute;
[INFO] [stdout] 1 + use std::ascii::Char::Substitute;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `metadata` in this scope
[INFO] [stdout]  --> tests/debruijn_indexed_lambda_expr.rs:5:11
[INFO] [stdout]   |
[INFO] [stdout] 5 |     Var(#[metadata] &'static str, #[var_index] usize),
[INFO] [stdout]   |           ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `metadata` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Evaluate`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 4 + #[derive(DeBruijnIndexed, Evaluate)]
[INFO] [stdout] 5 | enum LambdaExpr {
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `var_index` in this scope
[INFO] [stdout]  --> tests/debruijn_indexed_lambda_expr.rs:5:37
[INFO] [stdout]   |
[INFO] [stdout] 5 |     Var(#[metadata] &'static str, #[var_index] usize),
[INFO] [stdout]   |                                     ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `var_index` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 4 + #[derive(DeBruijnIndexed, Substitute)]
[INFO] [stdout] 5 | enum LambdaExpr {
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `binding` in this scope
[INFO] [stdout]  --> tests/debruijn_indexed_lambda_expr.rs:6:14
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Lambda(#[binding] Box<LambdaExpr>),
[INFO] [stdout]   |              ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `binding` is an attribute that can be used by the derive macros `DeBruijnIndexed`, `Evaluate` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 4 + #[derive(DeBruijnIndexed, Evaluate, Substitute)]
[INFO] [stdout] 5 | enum LambdaExpr {
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ttt::DeBruijnIndexed`
[INFO] [stdout]  --> tests/debruijn_indexed_just_a_variable.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::DeBruijnIndexed;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^ no `DeBruijnIndexed` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `var_index` in this scope
[INFO] [stdout]  --> tests/debruijn_indexed_just_a_variable.rs:4:24
[INFO] [stdout]   |
[INFO] [stdout] 4 | struct JustAVariable(#[var_index] usize);
[INFO] [stdout]   |                        ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `var_index` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `variable` in this scope
[INFO] [stdout]   --> tests/debruijn_indexed_just_a_variable.rs:21:25
[INFO] [stdout]    |
[INFO] [stdout] 21 | struct NestedVariable(#[variable] JustAVariable);
[INFO] [stdout]    |                         ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `variable` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `substitute` found for enum `LambdaExpr` in the current scope
[INFO] [stdout]   --> tests/substitute_lambda_expr.rs:51:21
[INFO] [stdout]    |
[INFO] [stdout]  6 | enum LambdaExpr {
[INFO] [stdout]    | --------------- method `substitute` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 51 |     let expr = expr.substitute(&var, 0);
[INFO] [stdout]    |                     ^^^^^^^^^^ method not found in `LambdaExpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ttt::Substitute`
[INFO] [stdout]  --> tests/substitute_recursive_var.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::Substitute;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^ no `Substitute` in the root
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing this variant instead
[INFO] [stdout]   |
[INFO] [stdout] 1 - use ttt::Substitute;
[INFO] [stdout] 1 + use std::ascii::Char::Substitute;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `var_index` in this scope
[INFO] [stdout]  --> tests/substitute_recursive_var.rs:5:11
[INFO] [stdout]   |
[INFO] [stdout] 5 |     Var(#[var_index] usize),
[INFO] [stdout]   |           ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `var_index` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 4 + #[derive(DeBruijnIndexed, Substitute)]
[INFO] [stdout] 5 | enum RecursiveVar {
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `increment_indices` found for struct `JustAVariable` in the current scope
[INFO] [stdout]  --> tests/debruijn_indexed_just_a_variable.rs:9:15
[INFO] [stdout]   |
[INFO] [stdout] 4 | struct JustAVariable(#[var_index] usize);
[INFO] [stdout]   | -------------------- method `increment_indices` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 9 |     let x = x.increment_indices();
[INFO] [stdout]   |               ^^^^^^^^^^^^^^^^^ method not found in `JustAVariable`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `increment_indices` found for struct `NestedVariable` in the current scope
[INFO] [stdout]   --> tests/debruijn_indexed_just_a_variable.rs:27:15
[INFO] [stdout]    |
[INFO] [stdout] 21 | struct NestedVariable(#[variable] JustAVariable);
[INFO] [stdout]    | --------------------- method `increment_indices` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 27 |     let x = x.increment_indices();
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^ method not found in `NestedVariable`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `ttt::DeBruijnIndexed`, `ttt::Evaluate`, `ttt::Substitute`
[INFO] [stdout]  --> tests/evaluate_lambda_expr.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::{DeBruijnIndexed, Evaluate, Substitute};
[INFO] [stdout]   |           ^^^^^^^^^^^^^^^  ^^^^^^^^  ^^^^^^^^^^ no `Substitute` in the root
[INFO] [stdout]   |           |                |
[INFO] [stdout]   |           |                no `Evaluate` in the root
[INFO] [stdout]   |           no `DeBruijnIndexed` in the root
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider importing this variant instead:
[INFO] [stdout]           std::ascii::Char::Substitute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `var_index` in this scope
[INFO] [stdout]  --> tests/evaluate_lambda_expr.rs:8:11
[INFO] [stdout]   |
[INFO] [stdout] 8 |     Var(#[var_index] usize),
[INFO] [stdout]   |           ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `var_index` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 7 + #[derive(DeBruijnIndexed, Substitute)]
[INFO] [stdout] 8 | enum LambdaExpr {
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `binding` in this scope
[INFO] [stdout]  --> tests/evaluate_lambda_expr.rs:9:14
[INFO] [stdout]   |
[INFO] [stdout] 9 |     Lambda(#[binding] Box<LambdaExpr>),
[INFO] [stdout]   |              ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `binding` is an attribute that can be used by the derive macros `DeBruijnIndexed`, `Evaluate` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 7 + #[derive(DeBruijnIndexed, Evaluate, Substitute)]
[INFO] [stdout] 8 | enum LambdaExpr {
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `evaluate_pattern` in this scope
[INFO] [stdout]   --> tests/evaluate_lambda_expr.rs:10:7
[INFO] [stdout]    |
[INFO] [stdout] 10 |     #[evaluate_pattern {
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: `evaluate_pattern` is an attribute that can be used by the derive macro `Evaluate`, you might be missing a `derive` attribute
[INFO] [stdout]    |
[INFO] [stdout]  7 + #[derive(Evaluate)]
[INFO] [stdout]  8 | enum LambdaExpr {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "debruijn_indexed_just_a_variable") due to 5 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0599]: no method named `substitute` found for enum `RecursiveVar` in the current scope
[INFO] [stdout]   --> tests/substitute_recursive_var.rs:25:15
[INFO] [stdout]    |
[INFO] [stdout]  4 | enum RecursiveVar {
[INFO] [stdout]    | ----------------- method `substitute` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 25 |     let y = x.substitute(&x, 0).unwrap();
[INFO] [stdout]    |               ^^^^^^^^^^ method not found in `RecursiveVar`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `substitute` found for struct `UnitExplicitSelf` in the current scope
[INFO] [stdout]   --> tests/substitute_unit_explicit_self.rs:10:15
[INFO] [stdout]    |
[INFO] [stdout]  5 | struct UnitExplicitSelf;
[INFO] [stdout]    | ----------------------- method `substitute` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 10 |     let x = x.substitute(&UnitExplicitSelf, 0);
[INFO] [stdout]    |               ^^^^^^^^^^ method not found in `UnitExplicitSelf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `substitute` found for struct `UnitExplicitOther` in the current scope
[INFO] [stdout]   --> tests/substitute_unit_explicit_other.rs:11:15
[INFO] [stdout]    |
[INFO] [stdout]  6 | struct UnitExplicitOther;
[INFO] [stdout]    | ------------------------ method `substitute` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 11 |     let x = x.substitute(&"foo".to_string(), 0);
[INFO] [stdout]    |               ^^^^^^^^^^ method not found in `UnitExplicitOther`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "substitute_recursive_var") due to 3 previous errors
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `substitute` found for struct `Unit` in the current scope
[INFO] [stdout]  --> tests/substitute_unit.rs:9:15
[INFO] [stdout]   |
[INFO] [stdout] 4 | struct Unit;
[INFO] [stdout]   | ----------- method `substitute` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 9 |     let x = x.substitute(&Unit, 0);
[INFO] [stdout]   |               ^^^^^^^^^^ method not found in `Unit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "substitute_unit_explicit_self") due to 3 previous errors
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ttt::DeBruijnIndexed`
[INFO] [stdout]  --> tests/debruijn_indexed_ignores_metadata.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::DeBruijnIndexed;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^ no `DeBruijnIndexed` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ttt::Substitute`
[INFO] [stdout]  --> tests/substitute_unit_explicit_both.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::Substitute;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^ no `Substitute` in the root
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing this variant instead
[INFO] [stdout]   |
[INFO] [stdout] 1 - use ttt::Substitute;
[INFO] [stdout] 1 + use std::ascii::Char::Substitute;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "substitute_lambda_expr") due to 7 previous errors
[INFO] [stdout] error[E0432]: unresolved import `ttt::DeBruijnIndexed`
[INFO] [stdout]  --> tests/debruijn_indexed_recursive_with_variable.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::DeBruijnIndexed;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^ no `DeBruijnIndexed` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "substitute_unit_explicit_other") due to 3 previous errors
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "substitute_unit") due to 2 previous errors
[INFO] [stdout] error[E0599]: no method named `evaluate_closed` found for enum `LambdaExpr` in the current scope
[INFO] [stdout]   --> tests/evaluate_lambda_expr.rs:26:24
[INFO] [stdout]    |
[INFO] [stdout]  7 | enum LambdaExpr {
[INFO] [stdout]    | --------------- method `evaluate_closed` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 26 |     let evalled = expr.evaluate_closed(false);
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^ method not found in `LambdaExpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `var_index` in this scope
[INFO] [stdout]  --> tests/debruijn_indexed_recursive_with_variable.rs:5:16
[INFO] [stdout]   |
[INFO] [stdout] 5 |     Variable(#[var_index] usize),
[INFO] [stdout]   |                ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `var_index` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 4 + #[derive(DeBruijnIndexed, Substitute)]
[INFO] [stdout] 5 | enum RecursiveWithVariable {
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `metadata` in this scope
[INFO] [stdout]  --> tests/debruijn_indexed_ignores_metadata.rs:4:26
[INFO] [stdout]   |
[INFO] [stdout] 4 | struct IgnoresMetadata(#[metadata] usize);
[INFO] [stdout]   |                          ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `metadata` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Evaluate`, you might be missing a `derive` attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `subst_types` in this scope
[INFO] [stdout]  --> tests/substitute_unit_explicit_both.rs:5:3
[INFO] [stdout]   |
[INFO] [stdout] 5 | #[subst_types(String, Self)]
[INFO] [stdout]   |   ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `subst_types` is an attribute that can be used by the derive macro `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 6 + #[derive(Substitute)]
[INFO] [stdout] 7 | struct UnitExplicitBoth;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ttt::Substitute`
[INFO] [stdout]  --> tests/substitute_simple_var_wrapper.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::Substitute;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^ no `Substitute` in the root
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing this variant instead
[INFO] [stdout]   |
[INFO] [stdout] 1 - use ttt::Substitute;
[INFO] [stdout] 1 + use std::ascii::Char::Substitute;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `subst_types` in this scope
[INFO] [stdout]  --> tests/substitute_simple_var_wrapper.rs:4:3
[INFO] [stdout]   |
[INFO] [stdout] 4 | #[subst_types(VarOrString)]
[INFO] [stdout]   |   ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `subst_types` is an attribute that can be used by the derive macro `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 5 + #[derive(Substitute)]
[INFO] [stdout] 6 | struct SimpleVarWrapper(#[var_index] usize);
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `var_index` in this scope
[INFO] [stdout]  --> tests/substitute_simple_var_wrapper.rs:5:27
[INFO] [stdout]   |
[INFO] [stdout] 5 | struct SimpleVarWrapper(#[var_index] usize);
[INFO] [stdout]   |                           ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `var_index` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `increment_indices` found for enum `RecursiveWithVariable` in the current scope
[INFO] [stdout]   --> tests/debruijn_indexed_recursive_with_variable.rs:13:15
[INFO] [stdout]    |
[INFO] [stdout]  4 | enum RecursiveWithVariable {
[INFO] [stdout]    | -------------------------- method `increment_indices` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 13 |     let x = x.increment_indices();
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^ method not found in `RecursiveWithVariable`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "evaluate_lambda_expr") due to 5 previous errors
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `get_var` found for enum `LambdaExpr` in the current scope
[INFO] [stdout]   --> tests/debruijn_indexed_lambda_expr.rs:13:18
[INFO] [stdout]    |
[INFO] [stdout]  4 | enum LambdaExpr {
[INFO] [stdout]    | --------------- method `get_var` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 13 |     assert_eq!(x.get_var(), Some(0));
[INFO] [stdout]    |                  ^^^^^^^ method not found in `LambdaExpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `substitute` found for struct `SimpleVarWrapper` in the current scope
[INFO] [stdout]   --> tests/substitute_simple_var_wrapper.rs:24:22
[INFO] [stdout]    |
[INFO] [stdout]  5 | struct SimpleVarWrapper(#[var_index] usize);
[INFO] [stdout]    | ----------------------- method `substitute` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 24 |     let subst1 = var.substitute(&expr, 1);
[INFO] [stdout]    |                      ^^^^^^^^^^ method not found in `SimpleVarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `substitute` found for struct `SimpleVarWrapper` in the current scope
[INFO] [stdout]   --> tests/substitute_simple_var_wrapper.rs:27:22
[INFO] [stdout]    |
[INFO] [stdout]  5 | struct SimpleVarWrapper(#[var_index] usize);
[INFO] [stdout]    | ----------------------- method `substitute` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 27 |     let subst2 = var.substitute(&expr, 0);
[INFO] [stdout]    |                      ^^^^^^^^^^ method not found in `SimpleVarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `increment_indices` found for enum `LambdaExpr` in the current scope
[INFO] [stdout]   --> tests/debruijn_indexed_lambda_expr.rs:15:15
[INFO] [stdout]    |
[INFO] [stdout]  4 | enum LambdaExpr {
[INFO] [stdout]    | --------------- method `increment_indices` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 15 |     let x = x.increment_indices();
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^ method not found in `LambdaExpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "debruijn_indexed_recursive_with_variable") due to 3 previous errors
[INFO] [stdout] error[E0599]: no method named `get_var` found for enum `LambdaExpr` in the current scope
[INFO] [stdout]   --> tests/debruijn_indexed_lambda_expr.rs:19:18
[INFO] [stdout]    |
[INFO] [stdout]  4 | enum LambdaExpr {
[INFO] [stdout]    | --------------- method `get_var` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 19 |     assert_eq!(x.get_var(), None);
[INFO] [stdout]    |                  ^^^^^^^ method not found in `LambdaExpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `increment_indices` found for enum `LambdaExpr` in the current scope
[INFO] [stdout]   --> tests/debruijn_indexed_lambda_expr.rs:21:15
[INFO] [stdout]    |
[INFO] [stdout]  4 | enum LambdaExpr {
[INFO] [stdout]    | --------------- method `increment_indices` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 21 |     let x = x.increment_indices();
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^ method not found in `LambdaExpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "substitute_simple_var_wrapper") due to 5 previous errors
[INFO] [stdout] error[E0599]: no method named `substitute` found for struct `UnitExplicitBoth` in the current scope
[INFO] [stdout]   --> tests/substitute_unit_explicit_both.rs:11:15
[INFO] [stdout]    |
[INFO] [stdout]  6 | struct UnitExplicitBoth;
[INFO] [stdout]    | ----------------------- method `substitute` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 11 |     let x = x.substitute(&"foo".to_string(), 0);
[INFO] [stdout]    |               ^^^^^^^^^^ method not found in `UnitExplicitBoth`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `increment_indices` found for struct `IgnoresMetadata` in the current scope
[INFO] [stdout]  --> tests/debruijn_indexed_ignores_metadata.rs:9:15
[INFO] [stdout]   |
[INFO] [stdout] 4 | struct IgnoresMetadata(#[metadata] usize);
[INFO] [stdout]   | ---------------------- method `increment_indices` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 9 |     let x = x.increment_indices();
[INFO] [stdout]   |               ^^^^^^^^^^^^^^^^^ method not found in `IgnoresMetadata`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `increment_indices` found for enum `LambdaExpr` in the current scope
[INFO] [stdout]   --> tests/debruijn_indexed_lambda_expr.rs:29:23
[INFO] [stdout]    |
[INFO] [stdout]  4 | enum LambdaExpr {
[INFO] [stdout]    | --------------- method `increment_indices` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 29 |     let y = x.clone().increment_indices();
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^ method not found in `LambdaExpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `get_var` found for enum `LambdaExpr` in the current scope
[INFO] [stdout]   --> tests/debruijn_indexed_lambda_expr.rs:33:18
[INFO] [stdout]    |
[INFO] [stdout]  4 | enum LambdaExpr {
[INFO] [stdout]    | --------------- method `get_var` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 33 |     assert_eq!(y.get_var(), None);
[INFO] [stdout]    |                  ^^^^^^^ method not found in `LambdaExpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `increment_indices` found for enum `LambdaExpr` in the current scope
[INFO] [stdout]   --> tests/debruijn_indexed_lambda_expr.rs:35:15
[INFO] [stdout]    |
[INFO] [stdout]  4 | enum LambdaExpr {
[INFO] [stdout]    | --------------- method `increment_indices` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 35 |     let y = y.increment_indices();
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^ method not found in `LambdaExpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "debruijn_indexed_ignores_metadata") due to 3 previous errors
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "substitute_unit_explicit_both") due to 3 previous errors
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "debruijn_indexed_lambda_expr") due to 11 previous errors
[INFO] running `Command { std: "docker" "inspect" "8b9cd025961cd740fd7e8cca69c86ab3dcdc30a56656bfa3e59665ee2627a697", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8b9cd025961cd740fd7e8cca69c86ab3dcdc30a56656bfa3e59665ee2627a697", kill_on_drop: false }`
[INFO] [stdout] 8b9cd025961cd740fd7e8cca69c86ab3dcdc30a56656bfa3e59665ee2627a697
