[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] d4f28e5132338f50e333b7dfec0fd041933ce945 [INFO] checking Javyre/fyrec against beta for pr-78714 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FJavyre%2Ffyrec" "/workspace/builds/worker-5/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Javyre/fyrec on toolchain beta [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta" "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-5/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" "+beta" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+beta" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 4d1dda9289348fd8767763635f23af27264084dba826d0c24023f0f950ce17ad [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" "4d1dda9289348fd8767763635f23af27264084dba826d0c24023f0f950ce17ad", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4d1dda9289348fd8767763635f23af27264084dba826d0c24023f0f950ce17ad", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4d1dda9289348fd8767763635f23af27264084dba826d0c24023f0f950ce17ad", kill_on_drop: false }` [INFO] [stdout] 4d1dda9289348fd8767763635f23af27264084dba826d0c24023f0f950ce17ad [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+beta" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7674e83303a65d8df0abc4de9d2d2e49470b74842acb152e46c7082b60d05f98 [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" "7674e83303a65d8df0abc4de9d2d2e49470b74842acb152e46c7082b60d05f98", kill_on_drop: false }` [INFO] [stderr] Compiling syn v1.0.39 [INFO] [stderr] Compiling libc v0.2.74 [INFO] [stderr] Compiling once_cell v1.3.1 [INFO] [stderr] Compiling hashbrown v0.8.2 [INFO] [stderr] Compiling indexmap v1.5.1 [INFO] [stderr] Compiling proc-macro2 v1.0.19 [INFO] [stderr] Compiling rstest v0.6.4 [INFO] [stderr] Checking nom_locate v2.0.0 [INFO] [stderr] Compiling quote v1.0.7 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking env_logger v0.7.1 [INFO] [stderr] Checking pretty_env_logger v0.4.0 [INFO] [stderr] Compiling derive_more v0.99.9 [INFO] [stderr] Compiling enum_dispatch v0.3.0 [INFO] [stderr] Checking fyrec v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0599]: no associated item named `Concrete` found for struct `ast::Type<'_>` in the current scope [INFO] [stdout] --> src/infer.rs:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1140 | case(indexmap!{}, Type!(Integer()), Type!(Integer())), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1140 | case(indexmap!{}, Type!(Integer()), Type!(Integer())), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1143 | TypeVar(0) => Type!(Integer()), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1144:23 [INFO] [stdout] | [INFO] [stdout] 1144 | }, Type::Variable(TypeVar(0)), Type!(Integer())), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1144 | }, Type::Variable(TypeVar(0)), Type!(Integer())), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1147 | TypeVar(0) => Type!(Integer()), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1148 | }, Type!(Function(TypeVar(0))), Type!(Function(Type!(Integer())))), [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1148 | }, Type!(Function(TypeVar(0))), Type!(Function(Type!(Integer())))), [INFO] [stdout] | --------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1148 | }, Type!(Function(TypeVar(0))), Type!(Function(Type!(Integer())))), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1156:12 [INFO] [stdout] | [INFO] [stdout] 1156 | ty.substitute(&SubstitutionSet{ subst: sub, id: SubstID(0) }); [INFO] [stdout] | ^^^^^^^^^^ method not found in `ast::Type<'static>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1156:48 [INFO] [stdout] | [INFO] [stdout] 1156 | 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:1157:9 [INFO] [stdout] | [INFO] [stdout] 1157 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1162 | (eq: Type!(Integer()), Type!(Integer())) [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1162 | (eq: Type!(Integer()), Type!(Integer())) [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1166:29 [INFO] [stdout] | [INFO] [stdout] 1166 | (eq: Type::Variable(TypeVar(0)), Type!(Integer())) [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1166 | (eq: Type::Variable(TypeVar(0)), Type!(Integer())) [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1167 | ], indexmap! { TypeVar(0) => Type!(Integer())}), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1170:29 [INFO] [stdout] | [INFO] [stdout] 1170 | (eq: Type::Variable(TypeVar(0)), Type!(Integer())), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1170 | (eq: Type::Variable(TypeVar(0)), Type!(Integer())), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1171:29 [INFO] [stdout] | [INFO] [stdout] 1171 | (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:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1171:57 [INFO] [stdout] | [INFO] [stdout] 1171 | (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:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1173 | TypeVar(0) => Type!(Integer()), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1174 | TypeVar(1) => Type!(Integer()), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1178:29 [INFO] [stdout] | [INFO] [stdout] 1178 | (eq: Type::Variable(TypeVar(0)), Type!(Integer())), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1178 | (eq: Type::Variable(TypeVar(0)), Type!(Integer())), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1179:29 [INFO] [stdout] | [INFO] [stdout] 1179 | (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:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1179:57 [INFO] [stdout] | [INFO] [stdout] 1179 | (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:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1181 | TypeVar(0) => Type!(Integer()), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1182 | TypeVar(1) => Type!(Integer()), [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1187:29 [INFO] [stdout] | [INFO] [stdout] 1187 | (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:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1187 | (eq: Type::Variable(TypeVar(0)), Type!(Function(TypeVar(1)))), [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1188:29 [INFO] [stdout] | [INFO] [stdout] 1188 | (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:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1188:57 [INFO] [stdout] | [INFO] [stdout] 1188 | (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:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1192:29 [INFO] [stdout] | [INFO] [stdout] 1192 | (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:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1192 | (eq: Type::Variable(TypeVar(0)), Type!(Function(TypeVar(1)))), [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1193:29 [INFO] [stdout] | [INFO] [stdout] 1193 | (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:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1193:57 [INFO] [stdout] | [INFO] [stdout] 1193 | (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:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1195 | TypeVar(0) => Type!(Function(TypeVar(1))), [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1196:38 [INFO] [stdout] | [INFO] [stdout] 1196 | TypeVar(2) => Type::Variable(TypeVar(1)), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1200:29 [INFO] [stdout] | [INFO] [stdout] 1200 | (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:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1200:57 [INFO] [stdout] | [INFO] [stdout] 1200 | (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:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1201:29 [INFO] [stdout] | [INFO] [stdout] 1201 | (eq: Type::Variable(TypeVar(0)), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1202 | Type!(Function(Type!(Function(TypeVar(1)))))), [INFO] [stdout] | -------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1202 | Type!(Function(Type!(Function(TypeVar(1)))))), [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1204:38 [INFO] [stdout] | [INFO] [stdout] 1204 | TypeVar(1) => Type::Variable(TypeVar(2)), [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1205 | TypeVar(0) => Type!(Function(Type!(Function(TypeVar(2))))), [INFO] [stdout] | -------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:85:44 [INFO] [stdout] | [INFO] [stdout] 85 | (@impl $id:expr, $args:expr) => (Type::Concrete($id, $args)); [INFO] [stdout] | ^^^^^^^^ associated item not found in `ast::Type<'_>` [INFO] [stdout] ... [INFO] [stdout] 1205 | TypeVar(0) => Type!(Function(Type!(Function(TypeVar(2))))), [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] ::: src/ast.rs:105:1 [INFO] [stdout] | [INFO] [stdout] 105 | 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:1218:13 [INFO] [stdout] | [INFO] [stdout] 1218 | 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:1032:22 [INFO] [stdout] | [INFO] [stdout] 1032 | (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:1032:25 [INFO] [stdout] | [INFO] [stdout] 1032 | (a, b) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ctx` [INFO] [stdout] --> src/infer.rs:294:26 [INFO] [stdout] | [INFO] [stdout] 294 | fn generalize(&self, ctx: &mut InferContext<'a>) -> Self { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_ctx` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `scp` [INFO] [stdout] --> src/infer.rs:536:13 [INFO] [stdout] | [INFO] [stdout] 536 | let $scp = $subscp; [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_scp` [INFO] [stdout] ... [INFO] [stdout] 769 | / with_subscope!(scp => subscp { [INFO] [stdout] 770 | | [INFO] [stdout] 771 | | let retty = ctx.fresh_tvar(); [INFO] [stdout] 772 | | [INFO] [stdout] ... | [INFO] [stdout] 783 | | [INFO] [stdout] 784 | | }); [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: `scp` [INFO] [stdout] --> src/infer.rs:536:13 [INFO] [stdout] | [INFO] [stdout] 536 | let $scp = $subscp; [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_scp` [INFO] [stdout] ... [INFO] [stdout] 650 | / with_subscope!(scp => subscp { [INFO] [stdout] 651 | | [INFO] [stdout] 652 | | for stmt in &this.body { [INFO] [stdout] 653 | | match stmt { [INFO] [stdout] ... | [INFO] [stdout] 671 | | [INFO] [stdout] 672 | | }); [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: variable does not need to be mutable [INFO] [stdout] --> src/infer.rs:973:33 [INFO] [stdout] | [INFO] [stdout] 973 | ... 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] [stdout] error: aborting due to 48 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0308, E0369, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0308`. [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:139:9 [INFO] [stdout] | [INFO] [stdout] 139 | 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:142:9 [INFO] [stdout] | [INFO] [stdout] 142 | 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:145:9 [INFO] [stdout] | [INFO] [stdout] 145 | 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:148:9 [INFO] [stdout] | [INFO] [stdout] 148 | 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: variant is never constructed: `User` [INFO] [stdout] --> src/infer.rs:69:5 [INFO] [stdout] | [INFO] [stdout] 69 | User(Ident<'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:397:12 [INFO] [stdout] | [INFO] [stdout] 397 | 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:156:12 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn current_path(&self) -> &Path<'a> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 14 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: build failed [INFO] running `Command { std: "docker" "inspect" "7674e83303a65d8df0abc4de9d2d2e49470b74842acb152e46c7082b60d05f98", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7674e83303a65d8df0abc4de9d2d2e49470b74842acb152e46c7082b60d05f98", kill_on_drop: false }` [INFO] [stdout] 7674e83303a65d8df0abc4de9d2d2e49470b74842acb152e46c7082b60d05f98