[INFO] cloning repository https://github.com/Javyre/fyrec [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Javyre/fyrec" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FJavyre%2Ffyrec", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FJavyre%2Ffyrec'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] c64cb83d299f8be2a9b7ddd21546123f969f1d0c [INFO] checking Javyre/fyrec against master#39b841dfe36f90a7cd111e7f0c55f32594f6e578 for pr-77035 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FJavyre%2Ffyrec" "/workspace/builds/worker-1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Javyre/fyrec on toolchain 39b841dfe36f90a7cd111e7f0c55f32594f6e578 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+39b841dfe36f90a7cd111e7f0c55f32594f6e578" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/Javyre/fyrec [INFO] finished tweaking git repo https://github.com/Javyre/fyrec [INFO] tweaked toml for git repo https://github.com/Javyre/fyrec written to /workspace/builds/worker-1/source/Cargo.toml [INFO] crate git repo https://github.com/Javyre/fyrec already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+39b841dfe36f90a7cd111e7f0c55f32594f6e578" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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" "rustops/crates-build-env@sha256:c8ac004eab7d63a0ad09a2dde3d3353ba464f767bee4de425dc8f74c46a1905e" "/opt/rustwide/cargo-home/bin/cargo" "+39b841dfe36f90a7cd111e7f0c55f32594f6e578" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 8fad205dc1d46d5e1a49a34d8eb383598ae1acd7964a9caabc4a715fced93b95 [INFO] running `Command { std: "docker" "start" "-a" "8fad205dc1d46d5e1a49a34d8eb383598ae1acd7964a9caabc4a715fced93b95", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "8fad205dc1d46d5e1a49a34d8eb383598ae1acd7964a9caabc4a715fced93b95", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8fad205dc1d46d5e1a49a34d8eb383598ae1acd7964a9caabc4a715fced93b95", kill_on_drop: false }` [INFO] [stdout] 8fad205dc1d46d5e1a49a34d8eb383598ae1acd7964a9caabc4a715fced93b95 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:c8ac004eab7d63a0ad09a2dde3d3353ba464f767bee4de425dc8f74c46a1905e" "/opt/rustwide/cargo-home/bin/cargo" "+39b841dfe36f90a7cd111e7f0c55f32594f6e578" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] ec3c333efea22dbfc95c545ea2fd17f08c3b08157f379a79f2172480cd9bd62a [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "ec3c333efea22dbfc95c545ea2fd17f08c3b08157f379a79f2172480cd9bd62a", kill_on_drop: false }` [INFO] [stderr] Compiling memchr v2.3.3 [INFO] [stderr] Compiling proc-macro2 v1.0.19 [INFO] [stderr] Compiling unicode-xid v0.2.0 [INFO] [stderr] Compiling syn v1.0.39 [INFO] [stderr] Compiling libc v0.2.74 [INFO] [stderr] Compiling ryu v1.0.4 [INFO] [stderr] Compiling arrayvec v0.4.12 [INFO] [stderr] Checking nodrop v0.1.14 [INFO] [stderr] Compiling log v0.4.11 [INFO] [stderr] Checking quick-error v1.2.3 [INFO] [stderr] Checking regex-syntax v0.6.18 [INFO] [stderr] Compiling anyhow v1.0.31 [INFO] [stderr] Checking termcolor v1.1.0 [INFO] [stderr] Checking bytecount v0.6.0 [INFO] [stderr] Compiling once_cell v1.3.1 [INFO] [stderr] Checking yansi v0.5.0 [INFO] [stderr] Compiling hashbrown v0.8.2 [INFO] [stderr] Compiling nom v5.1.1 [INFO] [stderr] Checking thread_local v1.0.1 [INFO] [stderr] Compiling indexmap v1.5.1 [INFO] [stderr] Checking humantime v1.3.0 [INFO] [stderr] Compiling lexical-core v0.6.2 [INFO] [stderr] Compiling rstest v0.6.4 [INFO] [stderr] Checking aho-corasick v0.7.13 [INFO] [stderr] Compiling quote v1.0.7 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking regex v1.3.9 [INFO] [stderr] Checking env_logger v0.7.1 [INFO] [stderr] Checking pretty_env_logger v0.4.0 [INFO] [stderr] Checking nom_locate v2.0.0 [INFO] [stderr] Compiling enum_dispatch v0.3.0 [INFO] [stderr] Compiling derive_more v0.99.9 [INFO] [stderr] Checking fyrec v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `crate::infer::TvarGen` [INFO] [stdout] --> src/ast.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::infer::TvarGen; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::infer::TvarGen` [INFO] [stdout] --> src/ast.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::infer::TvarGen; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0061]: this function takes 2 arguments but 0 arguments were supplied [INFO] [stdout] --> src/infer.rs:1357:46 [INFO] [stdout] | [INFO] [stdout] 1357 | fn infer_ctx() -> InferContext<'static> {InferContext::new()} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^-- supplied 0 arguments [INFO] [stdout] | | [INFO] [stdout] | expected 2 arguments [INFO] [stdout] | [INFO] [stdout] note: associated function defined here [INFO] [stdout] --> src/infer.rs:543:8 [INFO] [stdout] | [INFO] [stdout] 543 | fn new(symbols: &'a Symbols<'a>, tvs: TvarGenerator) -> Self { [INFO] [stdout] | ^^^ ------------------------ ------------------ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1365 | case(indexmap!{}, Type!(Integer()), Type!(Integer())), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1365 | case(indexmap!{}, Type!(Integer()), Type!(Integer())), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1368 | TypeVar(0) => Type!(Integer()), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1369:23 [INFO] [stdout] | [INFO] [stdout] 1369 | }, Type::Variable(TypeVar(0)), Type!(Integer())), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1369 | }, Type::Variable(TypeVar(0)), Type!(Integer())), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1372 | TypeVar(0) => Type!(Integer()), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1373 | }, Type!(Function(TypeVar(0))), Type!(Function(Type!(Integer())))), [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1373 | }, Type!(Function(TypeVar(0))), Type!(Function(Type!(Integer())))), [INFO] [stdout] | --------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1373 | }, Type!(Function(TypeVar(0))), Type!(Function(Type!(Integer())))), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `substitute` found for struct `ast::Type<'static>` in the current scope [INFO] [stdout] --> src/infer.rs:1381:12 [INFO] [stdout] | [INFO] [stdout] 1381 | ty.substitute(&SubstitutionSet{ subst: sub, id: SubstID(0) }); [INFO] [stdout] | ^^^^^^^^^^ method not found in `ast::Type<'static>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- method `substitute` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/infer.rs:1381:48 [INFO] [stdout] | [INFO] [stdout] 1381 | ty.substitute(&SubstitutionSet{ subst: sub, id: SubstID(0) }); [INFO] [stdout] | ^^^ expected enum `infer::Type`, found struct `ast::Type` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `indexmap::IndexMap<_, infer::Type<'_>>` [INFO] [stdout] found struct `indexmap::IndexMap<_, ast::Type<'static>>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0369]: binary operation `==` cannot be applied to type `ast::Type<'_>` [INFO] [stdout] --> src/infer.rs:1382:9 [INFO] [stdout] | [INFO] [stdout] 1382 | assert_eq!(ty, expected); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | ast::Type<'_> [INFO] [stdout] | ast::Type<'_> [INFO] [stdout] | [INFO] [stdout] = note: an implementation of `std::cmp::PartialEq` might be missing for `ast::Type<'_>` [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1387 | (eq: Type!(Integer()), Type!(Integer())) [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1387 | (eq: Type!(Integer()), Type!(Integer())) [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1391:29 [INFO] [stdout] | [INFO] [stdout] 1391 | (eq: Type::Variable(TypeVar(0)), Type!(Integer())) [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1391 | (eq: Type::Variable(TypeVar(0)), Type!(Integer())) [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1392 | ], indexmap! { TypeVar(0) => Type!(Integer())}), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1395:29 [INFO] [stdout] | [INFO] [stdout] 1395 | (eq: Type::Variable(TypeVar(0)), Type!(Integer())), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1395 | (eq: Type::Variable(TypeVar(0)), Type!(Integer())), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1396:29 [INFO] [stdout] | [INFO] [stdout] 1396 | (eq: Type::Variable(TypeVar(1)), Type::Variable(TypeVar(0))), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1396:57 [INFO] [stdout] | [INFO] [stdout] 1396 | (eq: Type::Variable(TypeVar(1)), Type::Variable(TypeVar(0))), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1398 | TypeVar(0) => Type!(Integer()), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1399 | TypeVar(1) => Type!(Integer()), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1403:29 [INFO] [stdout] | [INFO] [stdout] 1403 | (eq: Type::Variable(TypeVar(0)), Type!(Integer())), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1403 | (eq: Type::Variable(TypeVar(0)), Type!(Integer())), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1404:29 [INFO] [stdout] | [INFO] [stdout] 1404 | (eq: Type::Variable(TypeVar(0)), Type::Variable(TypeVar(1))), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1404:57 [INFO] [stdout] | [INFO] [stdout] 1404 | (eq: Type::Variable(TypeVar(0)), Type::Variable(TypeVar(1))), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1406 | TypeVar(0) => Type!(Integer()), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1407 | TypeVar(1) => Type!(Integer()), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1412:29 [INFO] [stdout] | [INFO] [stdout] 1412 | (eq: Type::Variable(TypeVar(0)), Type!(Function(TypeVar(1)))), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1412 | (eq: Type::Variable(TypeVar(0)), Type!(Function(TypeVar(1)))), [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1413:29 [INFO] [stdout] | [INFO] [stdout] 1413 | (eq: Type::Variable(TypeVar(1)), Type::Variable(TypeVar(0))), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1413:57 [INFO] [stdout] | [INFO] [stdout] 1413 | (eq: Type::Variable(TypeVar(1)), Type::Variable(TypeVar(0))), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1417:29 [INFO] [stdout] | [INFO] [stdout] 1417 | (eq: Type::Variable(TypeVar(0)), Type!(Function(TypeVar(1)))), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1417 | (eq: Type::Variable(TypeVar(0)), Type!(Function(TypeVar(1)))), [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1418:29 [INFO] [stdout] | [INFO] [stdout] 1418 | (eq: Type::Variable(TypeVar(2)), Type::Variable(TypeVar(1))), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1418:57 [INFO] [stdout] | [INFO] [stdout] 1418 | (eq: Type::Variable(TypeVar(2)), Type::Variable(TypeVar(1))), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1420 | TypeVar(0) => Type!(Function(TypeVar(1))), [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1421:38 [INFO] [stdout] | [INFO] [stdout] 1421 | TypeVar(2) => Type::Variable(TypeVar(1)), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1425:29 [INFO] [stdout] | [INFO] [stdout] 1425 | (eq: Type::Variable(TypeVar(1)), Type::Variable(TypeVar(2))), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1425:57 [INFO] [stdout] | [INFO] [stdout] 1425 | (eq: Type::Variable(TypeVar(1)), Type::Variable(TypeVar(2))), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1426:29 [INFO] [stdout] | [INFO] [stdout] 1426 | (eq: Type::Variable(TypeVar(0)), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1427 | Type!(Function(Type!(Function(TypeVar(1)))))), [INFO] [stdout] | -------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1427 | Type!(Function(Type!(Function(TypeVar(1)))))), [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Variable` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:1429:38 [INFO] [stdout] | [INFO] [stdout] 1429 | TypeVar(1) => Type::Variable(TypeVar(2)), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Variable` not found for this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1430 | TypeVar(0) => Type!(Function(Type!(Function(TypeVar(2))))), [INFO] [stdout] | -------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:113:44 [INFO] [stdout] | [INFO] [stdout] 113 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1430 | TypeVar(0) => Type!(Function(Type!(Function(TypeVar(2))))), [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | pub struct Type<'a> { [INFO] [stdout] | ------------------- associated item `Concrete` not found for this [INFO] [stdout] | [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/infer.rs:1443:13 [INFO] [stdout] | [INFO] [stdout] 1443 | assert_eq!((k, &unified[k]), (k, &expected[k])); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `infer::Type`, found struct `ast::Type` [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(&infer::TypeVar, &infer::Type<'_>)` [INFO] [stdout] found tuple `(&infer::TypeVar, &ast::Type<'_>)` [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> src/infer.rs:1257:22 [INFO] [stdout] | [INFO] [stdout] 1257 | (a, b) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> src/infer.rs:1257:25 [INFO] [stdout] | [INFO] [stdout] 1257 | (a, b) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `gen` [INFO] [stdout] --> src/infer.rs:360:26 [INFO] [stdout] | [INFO] [stdout] 360 | fn generalize(&self, gen: &mut impl TvarGen) -> Self { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_gen` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `scp` [INFO] [stdout] --> src/infer.rs:649:13 [INFO] [stdout] | [INFO] [stdout] 649 | let $scp = $subscp; [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_scp` [INFO] [stdout] ... [INFO] [stdout] 994 | / with_subscope!(scp => subscp { [INFO] [stdout] 995 | | [INFO] [stdout] 996 | | let retty = ctx.fresh_tvar(); [INFO] [stdout] 997 | | [INFO] [stdout] ... | [INFO] [stdout] 1008 | | [INFO] [stdout] 1009 | | }); [INFO] [stdout] | |___________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `field` [INFO] [stdout] --> src/infer.rs:770:40 [INFO] [stdout] | [INFO] [stdout] 770 | for (name, (name_span, field)) in exprs_map { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_field` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `scp` [INFO] [stdout] --> src/infer.rs:649:13 [INFO] [stdout] | [INFO] [stdout] 649 | let $scp = $subscp; [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_scp` [INFO] [stdout] ... [INFO] [stdout] 875 | / with_subscope!(scp => subscp { [INFO] [stdout] 876 | | [INFO] [stdout] 877 | | for stmt in &this.body { [INFO] [stdout] 878 | | match stmt { [INFO] [stdout] ... | [INFO] [stdout] 896 | | [INFO] [stdout] 897 | | }); [INFO] [stdout] | |_______- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 49 previous errors; 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0061, E0308, E0369, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0061`. [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/infer.rs:1198:33 [INFO] [stdout] | [INFO] [stdout] 1198 | ... let mut sub = SubstitutionSet{ [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `fyrec` [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/graph.rs:73:17 [INFO] [stdout] | [INFO] [stdout] 73 | let mut new: NodeInfo<'a, N> = Default::default(); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: private type `IfConstraintCtx<'a>` in public interface (error E0446) [INFO] [stdout] --> src/infer.rs:177:9 [INFO] [stdout] | [INFO] [stdout] 177 | if_: Rc>> [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(private_in_public)]` on by default [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #34537 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: private type `IfCondConstraintCtx<'a>` in public interface (error E0446) [INFO] [stdout] --> src/infer.rs:180:9 [INFO] [stdout] | [INFO] [stdout] 180 | if_cond: Rc>> [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #34537 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: private type `FunCalConstraintCtx<'a>` in public interface (error E0446) [INFO] [stdout] --> src/infer.rs:183:9 [INFO] [stdout] | [INFO] [stdout] 183 | fun_cal: Rc>> [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #34537 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: private type `FunCalConstraintCtx<'a>` in public interface (error E0446) [INFO] [stdout] --> src/infer.rs:186:9 [INFO] [stdout] | [INFO] [stdout] 186 | fun_cal: Rc>>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #34537 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: private type `StructLitFieldConstraintCtx<'a>` in public interface (error E0446) [INFO] [stdout] --> src/infer.rs:190:9 [INFO] [stdout] | [INFO] [stdout] 190 | struct_field: Rc>>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #34537 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Row` [INFO] [stdout] --> src/infer.rs:102:5 [INFO] [stdout] | [INFO] [stdout] 102 | Row(IndexMap, Type<'a>>), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `span` [INFO] [stdout] --> src/infer.rs:487:12 [INFO] [stdout] | [INFO] [stdout] 487 | pub fn span(&self) -> &Span<'a> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `current_path` [INFO] [stdout] --> src/parser.rs:162:12 [INFO] [stdout] | [INFO] [stdout] 162 | pub fn current_path(&self) -> &Path<'a> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 17 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: build failed [INFO] running `Command { std: "docker" "inspect" "ec3c333efea22dbfc95c545ea2fd17f08c3b08157f379a79f2172480cd9bd62a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ec3c333efea22dbfc95c545ea2fd17f08c3b08157f379a79f2172480cd9bd62a", kill_on_drop: false }` [INFO] [stdout] ec3c333efea22dbfc95c545ea2fd17f08c3b08157f379a79f2172480cd9bd62a