[INFO] fetching crate tt-toolkit_derive 0.1.0... [INFO] checking tt-toolkit_derive-0.1.0 against try#998b6603a58e47f42ccce7a67943234e96b6839e for pr-143170 [INFO] extracting crate tt-toolkit_derive 0.1.0 into /workspace/builds/worker-2-tc2/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-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate tt-toolkit_derive 0.1.0 on toolchain 998b6603a58e47f42ccce7a67943234e96b6839e [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+998b6603a58e47f42ccce7a67943234e96b6839e" "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" "+998b6603a58e47f42ccce7a67943234e96b6839e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+998b6603a58e47f42ccce7a67943234e96b6839e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ab53c828c2a56f4004405a8b956df796ce36f9a58a0071ff7498dd60425b75cd [INFO] running `Command { std: "docker" "start" "-a" "ab53c828c2a56f4004405a8b956df796ce36f9a58a0071ff7498dd60425b75cd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ab53c828c2a56f4004405a8b956df796ce36f9a58a0071ff7498dd60425b75cd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ab53c828c2a56f4004405a8b956df796ce36f9a58a0071ff7498dd60425b75cd", kill_on_drop: false }` [INFO] [stdout] ab53c828c2a56f4004405a8b956df796ce36f9a58a0071ff7498dd60425b75cd [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+998b6603a58e47f42ccce7a67943234e96b6839e" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 200063d1758b3a689c18931a0a9b0beacdeba338fdd84f81c8bcc31f1d1267d5 [INFO] running `Command { std: "docker" "start" "-a" "200063d1758b3a689c18931a0a9b0beacdeba338fdd84f81c8bcc31f1d1267d5", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.93 [INFO] [stderr] Compiling unicode-ident v1.0.16 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling tt-toolkit_derive v0.0.0 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking tt-toolkit v0.0.0 [INFO] [stderr] Checking quote v1.0.38 [INFO] [stderr] Checking syn v2.0.98 [INFO] [stderr] Checking 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: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> src/utils.rs:113:9 [INFO] [stdout] | [INFO] [stdout] 113 | &self, [INFO] [stdout] | ^^^^^ this lifetime flows to the output [INFO] [stdout] 114 | attr_name: &str, [INFO] [stdout] 115 | ) -> Option; [INFO] [stdout] | ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 115 | ) -> Option>; [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> src/utils.rs:138:9 [INFO] [stdout] | [INFO] [stdout] 138 | &self, [INFO] [stdout] | ^^^^^ this lifetime flows to the output [INFO] [stdout] 139 | attr_name: &str, [INFO] [stdout] 140 | ) -> Option { [INFO] [stdout] | ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 140 | ) -> Option> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> src/utils.rs:113:9 [INFO] [stdout] | [INFO] [stdout] 113 | &self, [INFO] [stdout] | ^^^^^ this lifetime flows to the output [INFO] [stdout] 114 | attr_name: &str, [INFO] [stdout] 115 | ) -> Option; [INFO] [stdout] | ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 115 | ) -> Option>; [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> src/utils.rs:138:9 [INFO] [stdout] | [INFO] [stdout] 138 | &self, [INFO] [stdout] | ^^^^^ this lifetime flows to the output [INFO] [stdout] 139 | attr_name: &str, [INFO] [stdout] 140 | ) -> Option { [INFO] [stdout] | ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 140 | ) -> Option> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> src/utils.rs:113:9 [INFO] [stdout] | [INFO] [stdout] 113 | &self, [INFO] [stdout] | ^^^^^ this lifetime flows to the output [INFO] [stdout] 114 | attr_name: &str, [INFO] [stdout] 115 | ) -> Option; [INFO] [stdout] | ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 115 | ) -> Option>; [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> src/utils.rs:138:9 [INFO] [stdout] | [INFO] [stdout] 138 | &self, [INFO] [stdout] | ^^^^^ this lifetime flows to the output [INFO] [stdout] 139 | attr_name: &str, [INFO] [stdout] 140 | ) -> Option { [INFO] [stdout] | ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 140 | ) -> Option> { [INFO] [stdout] | ++++ [INFO] [stdout] [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: 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] [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[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[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: 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] [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] [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[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] 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] [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] [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] [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), [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[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] 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 `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] [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] 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[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] [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] [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] [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] Some errors have detailed explanations: E0432, E0599. [INFO] [stdout] [INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "debruijn_indexed_ignores_metadata") due to 3 previous errors [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [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] [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] [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] 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), [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] [stderr] error: could not compile `tt-toolkit_derive` (test "substitute_unit") due to 2 previous errors [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] [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] [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] [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), [INFO] [stdout] | ^^^^^^^ [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] [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] [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] [stderr] error: could not compile `tt-toolkit_derive` (test "substitute_recursive_var") due to 3 previous errors [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] [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] 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: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] [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: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] [stderr] error: could not compile `tt-toolkit_derive` (test "substitute_simple_var_wrapper") due to 5 previous errors [INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "substitute_unit_explicit_other") due to 3 previous errors [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[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] [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] 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: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] 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] [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 "debruijn_indexed_just_a_variable") 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] [stderr] error: could not compile `tt-toolkit_derive` (test "debruijn_indexed_lambda_expr") due to 11 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: 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] [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] [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_both") due to 3 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[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[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] 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] 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 "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] [stderr] error: could not compile `tt-toolkit_derive` (test "evaluate_lambda_expr") due to 5 previous errors [INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "debruijn_indexed_recursive_with_variable") due to 3 previous errors [INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "substitute_lambda_expr") due to 7 previous errors [INFO] running `Command { std: "docker" "inspect" "200063d1758b3a689c18931a0a9b0beacdeba338fdd84f81c8bcc31f1d1267d5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "200063d1758b3a689c18931a0a9b0beacdeba338fdd84f81c8bcc31f1d1267d5", kill_on_drop: false }` [INFO] [stdout] 200063d1758b3a689c18931a0a9b0beacdeba338fdd84f81c8bcc31f1d1267d5