[INFO] cloning repository https://github.com/arendal-dev/arendal [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/arendal-dev/arendal" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Farendal-dev%2Farendal", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Farendal-dev%2Farendal'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 320dca4d6e078f392f31a674d887577e3060b710 [INFO] checking arendal-dev/arendal against master#cd7cbe818e4a66d46fe2df993d1b8518eba8a5cd for pr-145463 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Farendal-dev%2Farendal" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/arendal-dev/arendal [INFO] finished tweaking git repo https://github.com/arendal-dev/arendal [INFO] tweaked toml for git repo https://github.com/arendal-dev/arendal written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/arendal-dev/arendal on toolchain cd7cbe818e4a66d46fe2df993d1b8518eba8a5cd [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cd7cbe818e4a66d46fe2df993d1b8518eba8a5cd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/arendal-dev/arendal already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cd7cbe818e4a66d46fe2df993d1b8518eba8a5cd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded arcstr v1.2.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cd7cbe818e4a66d46fe2df993d1b8518eba8a5cd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e6ce4a8f4e6ca58f90e1c432a99cc3cd794eeba5b77d3b196faab156bd5ebb9d [INFO] running `Command { std: "docker" "start" "-a" "e6ce4a8f4e6ca58f90e1c432a99cc3cd794eeba5b77d3b196faab156bd5ebb9d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e6ce4a8f4e6ca58f90e1c432a99cc3cd794eeba5b77d3b196faab156bd5ebb9d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e6ce4a8f4e6ca58f90e1c432a99cc3cd794eeba5b77d3b196faab156bd5ebb9d", kill_on_drop: false }` [INFO] [stdout] e6ce4a8f4e6ca58f90e1c432a99cc3cd794eeba5b77d3b196faab156bd5ebb9d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cd7cbe818e4a66d46fe2df993d1b8518eba8a5cd" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 39137a8111265c5e3a60d8c62266d9a037c516c55159e21a1415edbde3aba670 [INFO] running `Command { std: "docker" "start" "-a" "39137a8111265c5e3a60d8c62266d9a037c516c55159e21a1415edbde3aba670", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.171 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling proc-macro2 v1.0.94 [INFO] [stderr] Compiling zerocopy v0.8.24 [INFO] [stderr] Compiling unicode-ident v1.0.6 [INFO] [stderr] Compiling getrandom v0.3.2 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling siphasher v1.0.1 [INFO] [stderr] Checking data-encoding v2.8.0 [INFO] [stderr] Compiling typenum v1.16.0 [INFO] [stderr] Checking arendal-num v0.1.0 (/opt/rustwide/workdir/arendal-num) [INFO] [stderr] Checking arcstr v1.2.0 [INFO] [stderr] Compiling io-lifetimes v1.0.5 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling rustix v0.36.8 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Compiling log v0.4.17 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Checking rand_xoshiro v0.6.0 [INFO] [stderr] Checking linux-raw-sys v0.1.4 [INFO] [stderr] Compiling memchr v2.5.0 [INFO] [stderr] Checking smallvec v1.10.0 [INFO] [stderr] Compiling phf_shared v0.11.3 [INFO] [stderr] Checking endian-type v0.1.2 [INFO] [stderr] Checking arendal-id v0.1.0 (/opt/rustwide/workdir/arendal-id) [INFO] [stderr] Checking unicode-segmentation v1.10.1 [INFO] [stderr] Checking unicode-width v0.1.10 [INFO] [stderr] Checking nibble_vec v0.1.0 [INFO] [stderr] Checking utf8parse v0.2.0 [INFO] [stderr] Compiling phf_generator v0.11.1 [INFO] [stderr] Checking radix_trie v0.2.1 [INFO] [stderr] Compiling im v15.1.0 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling syn v2.0.100 [INFO] [stderr] Checking bitmaps v2.1.0 [INFO] [stderr] Checking sized-chunks v0.6.5 [INFO] [stderr] Checking dirs-sys-next v0.1.2 [INFO] [stderr] Checking nix v0.25.1 [INFO] [stderr] Checking rand_core v0.9.3 [INFO] [stderr] Checking dirs-next v2.0.0 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking rand_chacha v0.9.0 [INFO] [stderr] Checking rand v0.9.0 [INFO] [stderr] Checking fd-lock v3.0.10 [INFO] [stderr] Checking rustyline v10.1.1 [INFO] [stderr] Compiling phf_macros v0.11.3 [INFO] [stderr] Checking phf v0.11.3 [INFO] [stderr] Checking arendal-ast v0.1.0 (/opt/rustwide/workdir/arendal-ast) [INFO] [stdout] warning: unused import: `ops::Deref` [INFO] [stdout] --> arendal-ast/src/position/mod.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | ops::Deref, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ops::Deref` [INFO] [stdout] --> arendal-ast/src/position/mod.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | ops::Deref, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> arendal-ast/src/lib.rs:110:17 [INFO] [stdout] | [INFO] [stdout] 109 | Statement::Expression(e2) => e1.eq_nopos(e2), [INFO] [stdout] | ------------------------- matches all the relevant values [INFO] [stdout] 110 | _ => false, [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `position` and `error` are never read [INFO] [stdout] --> arendal-ast/src/problem/mod.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 15 | pub struct Error { [INFO] [stdout] | ----- fields in this struct [INFO] [stdout] 16 | position: Position, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 17 | error: Arc, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Error` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `position` and `warning` are never read [INFO] [stdout] --> arendal-ast/src/problem/mod.rs:47:5 [INFO] [stdout] | [INFO] [stdout] 46 | pub struct Warning { [INFO] [stdout] | ------- fields in this struct [INFO] [stdout] 47 | position: Position, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 48 | warning: Arc, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Warning` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `add_segment` is never used [INFO] [stdout] --> arendal-ast/src/symbol/mod.rs:13:4 [INFO] [stdout] | [INFO] [stdout] 13 | fn add_segment(f: &mut fmt::Formatter<'_>, it: &dyn fmt::Display) -> fmt::Result { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking arendal-parser v0.1.0 (/opt/rustwide/workdir/arendal-parser) [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> arendal-ast/src/lib.rs:110:17 [INFO] [stdout] | [INFO] [stdout] 109 | Statement::Expression(e2) => e1.eq_nopos(e2), [INFO] [stdout] | ------------------------- matches all the relevant values [INFO] [stdout] 110 | _ => false, [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `position` and `error` are never read [INFO] [stdout] --> arendal-ast/src/problem/mod.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 15 | pub struct Error { [INFO] [stdout] | ----- fields in this struct [INFO] [stdout] 16 | position: Position, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 17 | error: Arc, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Error` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `position` and `warning` are never read [INFO] [stdout] --> arendal-ast/src/problem/mod.rs:47:5 [INFO] [stdout] | [INFO] [stdout] 46 | pub struct Warning { [INFO] [stdout] | ------- fields in this struct [INFO] [stdout] 47 | position: Position, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 48 | warning: Arc, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Warning` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `add_segment` is never used [INFO] [stdout] --> arendal-ast/src/symbol/mod.rs:13:4 [INFO] [stdout] | [INFO] [stdout] 13 | fn add_segment(f: &mut fmt::Formatter<'_>, it: &dyn fmt::Display) -> fmt::Result { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Result` [INFO] [stdout] --> arendal-parser/src/lib.rs:7:34 [INFO] [stdout] | [INFO] [stdout] 7 | problem::{ErrorType, Output, Result}, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::rc::Rc` [INFO] [stdout] --> arendal-parser/src/lexer/tests.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::rc::Rc; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Result` [INFO] [stdout] --> arendal-parser/src/lib.rs:7:34 [INFO] [stdout] | [INFO] [stdout] 7 | problem::{ErrorType, Output, Result}, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `UnexpectedStatement` is never constructed [INFO] [stdout] --> arendal-parser/src/lib.rs:238:5 [INFO] [stdout] | [INFO] [stdout] 234 | enum Error { [INFO] [stdout] | ----- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 238 | UnexpectedStatement, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `is_whitespace`, `chars`, and `bytes` are never used [INFO] [stdout] --> arendal-parser/src/lexer/tokenizer/mod.rs:72:12 [INFO] [stdout] | [INFO] [stdout] 71 | impl Token { [INFO] [stdout] | ---------- methods in this implementation [INFO] [stdout] 72 | pub fn is_whitespace(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 79 | fn chars(&self) -> usize { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 83 | fn bytes(&self) -> usize { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> arendal-parser/src/lexer/mod.rs:153:20 [INFO] [stdout] | [INFO] [stdout] 153 | fn new(tokens: &Tokens) -> Lexer { [INFO] [stdout] | ^^^^^^^ ----- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 153 | fn new(tokens: &Tokens) -> Lexer<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking arendal-core v0.1.0 (/opt/rustwide/workdir/arendal-core) [INFO] [stdout] warning: variant `UnexpectedStatement` is never constructed [INFO] [stdout] --> arendal-parser/src/lib.rs:238:5 [INFO] [stdout] | [INFO] [stdout] 234 | enum Error { [INFO] [stdout] | ----- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 238 | UnexpectedStatement, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `is_whitespace`, `chars`, and `bytes` are never used [INFO] [stdout] --> arendal-parser/src/lexer/tokenizer/mod.rs:72:12 [INFO] [stdout] | [INFO] [stdout] 71 | impl Token { [INFO] [stdout] | ---------- methods in this implementation [INFO] [stdout] 72 | pub fn is_whitespace(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 79 | fn chars(&self) -> usize { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 83 | fn bytes(&self) -> usize { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> arendal-parser/src/lexer/mod.rs:153:20 [INFO] [stdout] | [INFO] [stdout] 153 | fn new(tokens: &Tokens) -> Lexer { [INFO] [stdout] | ^^^^^^^ ----- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 153 | fn new(tokens: &Tokens) -> Lexer<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Problems` [INFO] [stdout] --> arendal-core/src/symbols/mod.rs:5:32 [INFO] [stdout] | [INFO] [stdout] 5 | problem::{self, ErrorType, Problems, Result}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `num::Integer` [INFO] [stdout] --> arendal-core/src/symbols/mod.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use num::Integer; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `types::Type` [INFO] [stdout] --> arendal-core/src/symbols/mod.rs:9:53 [INFO] [stdout] | [INFO] [stdout] 9 | use crate::{symbol::FQSym, typechecked::Expression, types::Type}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Symbol` and `TSymbol` [INFO] [stdout] --> arendal-core/src/typechecked/mod.rs:4:27 [INFO] [stdout] | [INFO] [stdout] 4 | use ast::symbol::{FQPath, Symbol, TSymbol}; [INFO] [stdout] | ^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `FQSym` and `FQType` [INFO] [stdout] --> arendal-core/src/typechecker/mod.rs:3:14 [INFO] [stdout] | [INFO] [stdout] 3 | symbol::{FQSym, FQType}, [INFO] [stdout] | ^^^^^ ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Problems` [INFO] [stdout] --> arendal-core/src/symbols/mod.rs:5:32 [INFO] [stdout] | [INFO] [stdout] 5 | problem::{self, ErrorType, Problems, Result}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `num::Integer` [INFO] [stdout] --> arendal-core/src/symbols/mod.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use num::Integer; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `types::Type` [INFO] [stdout] --> arendal-core/src/symbols/mod.rs:9:53 [INFO] [stdout] | [INFO] [stdout] 9 | use crate::{symbol::FQSym, typechecked::Expression, types::Type}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Symbol` and `TSymbol` [INFO] [stdout] --> arendal-core/src/typechecked/mod.rs:4:27 [INFO] [stdout] | [INFO] [stdout] 4 | use ast::symbol::{FQPath, Symbol, TSymbol}; [INFO] [stdout] | ^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `FQSym` and `FQType` [INFO] [stdout] --> arendal-core/src/typechecker/mod.rs:3:14 [INFO] [stdout] | [INFO] [stdout] 3 | symbol::{FQSym, FQType}, [INFO] [stdout] | ^^^^^ ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> arendal-core/src/context/mod.rs:281:41 [INFO] [stdout] | [INFO] [stdout] 281 | ... if let Some(t) = self.candidates.get(s) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_t` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> arendal-core/src/env0/twi/mod.rs:46:12 [INFO] [stdout] | [INFO] [stdout] 46 | fn run(mut self) -> Result { [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] warning: unused variable: `scope` [INFO] [stdout] --> arendal-core/src/tst/typecheck/expr/mod.rs:51:5 [INFO] [stdout] | [INFO] [stdout] 51 | scope: &Scope, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_scope` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> arendal-core/src/tst/typecheck/fqresolver.rs:76:49 [INFO] [stdout] | [INFO] [stdout] 76 | || self.input.new_types.get(f).map(|t| Visibility::Exported), // TODO [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fqresolvers` [INFO] [stdout] --> arendal-core/src/tst/typecheck/types.rs:9:36 [INFO] [stdout] | [INFO] [stdout] 9 | pub(super) fn check(input: &Input, fqresolvers: &FQResolvers) -> Result { [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_fqresolvers` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `global` [INFO] [stdout] --> arendal-core/src/resolver/mod.rs:8:37 [INFO] [stdout] | [INFO] [stdout] 8 | pub(super) fn resolve(path: FQPath, global: &GlobalScope, ast: &AST) -> Output { [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_global` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> arendal-core/src/typechecked/mod.rs:42:13 [INFO] [stdout] | [INFO] [stdout] 35 | Expr::Value(n1) => { [INFO] [stdout] | --------------- matches all the relevant values [INFO] [stdout] ... [INFO] [stdout] 42 | _ => panic!("TODO!"), [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: irrefutable `if let` pattern [INFO] [stdout] --> arendal-core/src/typechecked/mod.rs:36:20 [INFO] [stdout] | [INFO] [stdout] 36 | if let Expr::Value(n2) = other { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this pattern will always match, so the `if let` is useless [INFO] [stdout] = help: consider replacing the `if let` with a `let` [INFO] [stdout] = note: `#[warn(irrefutable_let_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `symbols` and `types` are never read [INFO] [stdout] --> arendal-core/src/lib.rs:35:5 [INFO] [stdout] | [INFO] [stdout] 34 | pub(crate) struct GlobalScope { [INFO] [stdout] | ----------- fields in this struct [INFO] [stdout] 35 | symbols: Symbols, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 36 | types: Types, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `AnonTuple` is never constructed [INFO] [stdout] --> arendal-core/src/context/mod.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 17 | enum TypeData { [INFO] [stdout] | -------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 25 | AnonTuple(Arc), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeData` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Symbol` is never constructed [INFO] [stdout] --> arendal-core/src/context/mod.rs:166:5 [INFO] [stdout] | [INFO] [stdout] 165 | pub(crate) enum TypeDfnRef { [INFO] [stdout] | ---------- variant in this enum [INFO] [stdout] 166 | Symbol(FQType), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeDfnRef` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Tuple` is never constructed [INFO] [stdout] --> arendal-core/src/context/mod.rs:172:5 [INFO] [stdout] | [INFO] [stdout] 170 | pub(crate) enum TypeDfn { [INFO] [stdout] | ------- variant in this enum [INFO] [stdout] 171 | Singleton, [INFO] [stdout] 172 | Tuple(Vec>), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeDfn` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `contains` and `add` are never used [INFO] [stdout] --> arendal-core/src/context/mod.rs:412:19 [INFO] [stdout] | [INFO] [stdout] 401 | impl Context { [INFO] [stdout] | ------------ methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 412 | pub(crate) fn contains(&self, symbol: &FQType) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 416 | fn add(&mut self, fq: &FQType, visibility: Visibility, data: TypeData) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `contains` is never used [INFO] [stdout] --> arendal-core/src/env0/mod.rs:49:19 [INFO] [stdout] | [INFO] [stdout] 48 | impl Values { [INFO] [stdout] | ----------- method in this implementation [INFO] [stdout] 49 | pub(crate) fn contains(&self, symbol: &FQSym) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `contains` is never used [INFO] [stdout] --> arendal-core/src/env0/twi/mod.rs:21:8 [INFO] [stdout] | [INFO] [stdout] 20 | impl Scope { [INFO] [stdout] | ---------- method in this implementation [INFO] [stdout] 21 | fn contains(&self, symbol: &Symbol) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `input` and `pos` are never read [INFO] [stdout] --> arendal-core/src/error.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 13 | pub struct Input { [INFO] [stdout] | ----- fields in this struct [INFO] [stdout] 14 | input: ArcStr, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 15 | pos: usize, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Input` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `collect_vec` is never used [INFO] [stdout] --> arendal-core/src/error.rs:131:8 [INFO] [stdout] | [INFO] [stdout] 107 | impl ErrorVec { [INFO] [stdout] | ------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 131 | fn collect_vec(&self, f: F) -> Vec [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `add_segment` is never used [INFO] [stdout] --> arendal-core/src/symbol.rs:18:4 [INFO] [stdout] | [INFO] [stdout] 18 | fn add_segment(f: &mut fmt::Formatter<'_>, it: &dyn Display) -> fmt::Result { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `One` is never constructed [INFO] [stdout] --> arendal-core/src/symbol.rs:37:5 [INFO] [stdout] | [INFO] [stdout] 36 | enum Sym { [INFO] [stdout] | --- variant in this enum [INFO] [stdout] 37 | One(char), [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Sym` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_known` is never used [INFO] [stdout] --> arendal-core/src/symbol.rs:158:19 [INFO] [stdout] | [INFO] [stdout] 126 | impl TSymbol { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 158 | pub(crate) fn is_known(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Enclosed` is never constructed [INFO] [stdout] --> arendal-core/src/symbol.rs:327:5 [INFO] [stdout] | [INFO] [stdout] 325 | enum FQData { [INFO] [stdout] | ------ variant in this enum [INFO] [stdout] 326 | TopLevel(FQPath, T), [INFO] [stdout] 327 | Enclosed(Arc, T), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `FQData` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `local`, `global`, `tl_assignment`, and `unary` are never used [INFO] [stdout] --> arendal-core/src/tst/mod.rs:228:8 [INFO] [stdout] | [INFO] [stdout] 199 | impl Builder { [INFO] [stdout] | ------------ methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 228 | fn local(&self, symbol: Symbol, tipo: Type) -> L { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 236 | fn global(&self, symbol: FQSym, tipo: Type) -> L { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 252 | fn tl_assignment(&self, symbol: FQSym, expr: L) -> L { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 256 | fn unary(&self, op: UnaryOp, expr: L) -> L { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `pkg` is never read [INFO] [stdout] --> arendal-core/src/tst/mod.rs:295:16 [INFO] [stdout] | [INFO] [stdout] 294 | pub(super) struct Package { [INFO] [stdout] | ------- field in this struct [INFO] [stdout] 295 | pub(crate) pkg: Pkg, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Package` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `for_symbol` is never used [INFO] [stdout] --> arendal-core/src/tst/typecheck/fqresolver.rs:36:19 [INFO] [stdout] | [INFO] [stdout] 31 | impl FQResolvers { [INFO] [stdout] | ---------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 36 | pub(super) fn for_symbol(&self, symbol: &FQ) -> &FQResolver { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Unary` is never used [INFO] [stdout] --> arendal-core/src/resolved/mod.rs:9:17 [INFO] [stdout] | [INFO] [stdout] 9 | pub(crate) type Unary = ast::common::Unary; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Seq` is never used [INFO] [stdout] --> arendal-core/src/resolved/mod.rs:11:17 [INFO] [stdout] | [INFO] [stdout] 11 | pub(crate) type Seq = ast::common::Seq; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Conditional` is never used [INFO] [stdout] --> arendal-core/src/resolved/mod.rs:12:17 [INFO] [stdout] | [INFO] [stdout] 12 | pub(crate) type Conditional = ast::common::Conditional; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `LocalSymbol`, `Symbol`, and `Type` are never constructed [INFO] [stdout] --> arendal-core/src/resolved/mod.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 15 | pub(crate) enum Expr { [INFO] [stdout] | ---- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 18 | LocalSymbol(Symbol), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 19 | Symbol(FQSym), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 20 | Type(FQType), [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `position` and `expr` are never read [INFO] [stdout] --> arendal-core/src/symbols/mod.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 12 | pub struct SymbolDfn { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] 13 | position: Position, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 14 | expr: Expression, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `SymbolDfn` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `values` is never read [INFO] [stdout] --> arendal-core/src/symbols/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 18 | pub(crate) struct Symbols { [INFO] [stdout] | ------- field in this struct [INFO] [stdout] 19 | values: HashMap, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Symbols` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `contains`, `get`, and `set` are never used [INFO] [stdout] --> arendal-core/src/symbols/mod.rs:23:19 [INFO] [stdout] | [INFO] [stdout] 22 | impl Symbols { [INFO] [stdout] | ------------ methods in this implementation [INFO] [stdout] 23 | pub(crate) fn contains(&self, symbol: &FQSym) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 27 | pub(crate) fn get(&self, symbol: &FQSym) -> Option<&SymbolDfn> { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 31 | pub(crate) fn set(&mut self, symbol: FQSym, dfn: SymbolDfn) -> Result<()> { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Error` is never used [INFO] [stdout] --> arendal-core/src/symbols/mod.rs:42:6 [INFO] [stdout] | [INFO] [stdout] 42 | enum Error { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `path` is never read [INFO] [stdout] --> arendal-core/src/typechecked/mod.rs:67:16 [INFO] [stdout] | [INFO] [stdout] 66 | pub(crate) struct TypeChecked { [INFO] [stdout] | ----------- field in this struct [INFO] [stdout] 67 | pub(crate) path: FQPath, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeChecked` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `TypeError` is never used [INFO] [stdout] --> arendal-core/src/typechecker/mod.rs:46:17 [INFO] [stdout] | [INFO] [stdout] 46 | pub(crate) enum TypeError { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Unit`, `True`, and `False` are never constructed [INFO] [stdout] --> arendal-core/src/types/mod.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 7 | pub(crate) enum Type { [INFO] [stdout] | ---- variants in this enum [INFO] [stdout] 8 | Unit, [INFO] [stdout] | ^^^^ [INFO] [stdout] 9 | True, [INFO] [stdout] | ^^^^ [INFO] [stdout] 10 | False, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Type` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `position` and `type_expr` are never read [INFO] [stdout] --> arendal-core/src/types/mod.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 20 | pub(crate) struct TypeDfn { [INFO] [stdout] | ------- fields in this struct [INFO] [stdout] 21 | position: Position, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 22 | type_expr: TypeExpr, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeDfn` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `values` is never read [INFO] [stdout] --> arendal-core/src/types/mod.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 26 | pub(crate) struct Types { [INFO] [stdout] | ----- field in this struct [INFO] [stdout] 27 | values: HashMap, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Types` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Unit`, `True`, and `False` are never constructed [INFO] [stdout] --> arendal-core/src/types/mod.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 31 | pub enum Value { [INFO] [stdout] | ----- variants in this enum [INFO] [stdout] 32 | Unit, [INFO] [stdout] | ^^^^ [INFO] [stdout] 33 | True, [INFO] [stdout] | ^^^^ [INFO] [stdout] 34 | False, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Value` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> arendal-core/src/context/mod.rs:281:41 [INFO] [stdout] | [INFO] [stdout] 281 | ... if let Some(t) = self.candidates.get(s) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_t` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> arendal-core/src/env0/twi/mod.rs:46:12 [INFO] [stdout] | [INFO] [stdout] 46 | fn run(mut self) -> Result { [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] warning: hiding a lifetime that's named elsewhere is confusing [INFO] [stdout] --> arendal-core/src/tst/typecheck/mod.rs:119:23 [INFO] [stdout] | [INFO] [stdout] 119 | fn new_scope<'a>(&'a self, path: &'a FQPath) -> Scope { [INFO] [stdout] | ^^ ^^ ----- the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the lifetime is named here [INFO] [stdout] | the lifetime is named here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: consistently use `'a` [INFO] [stdout] | [INFO] [stdout] 119 | fn new_scope<'a>(&'a self, path: &'a FQPath) -> Scope<'a> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking arendal v0.1.0 (/opt/rustwide/workdir/arendal) [INFO] [stdout] warning: unused variable: `scope` [INFO] [stdout] --> arendal-core/src/tst/typecheck/expr/mod.rs:51:5 [INFO] [stdout] | [INFO] [stdout] 51 | scope: &Scope, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_scope` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> arendal-core/src/tst/typecheck/fqresolver.rs:76:49 [INFO] [stdout] | [INFO] [stdout] 76 | || self.input.new_types.get(f).map(|t| Visibility::Exported), // TODO [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fqresolvers` [INFO] [stdout] --> arendal-core/src/tst/typecheck/types.rs:9:36 [INFO] [stdout] | [INFO] [stdout] 9 | pub(super) fn check(input: &Input, fqresolvers: &FQResolvers) -> Result { [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_fqresolvers` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `global` [INFO] [stdout] --> arendal-core/src/resolver/mod.rs:8:37 [INFO] [stdout] | [INFO] [stdout] 8 | pub(super) fn resolve(path: FQPath, global: &GlobalScope, ast: &AST) -> Output { [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_global` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> arendal-core/src/typechecked/mod.rs:42:13 [INFO] [stdout] | [INFO] [stdout] 35 | Expr::Value(n1) => { [INFO] [stdout] | --------------- matches all the relevant values [INFO] [stdout] ... [INFO] [stdout] 42 | _ => panic!("TODO!"), [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: irrefutable `if let` pattern [INFO] [stdout] --> arendal-core/src/typechecked/mod.rs:36:20 [INFO] [stdout] | [INFO] [stdout] 36 | if let Expr::Value(n2) = other { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this pattern will always match, so the `if let` is useless [INFO] [stdout] = help: consider replacing the `if let` with a `let` [INFO] [stdout] = note: `#[warn(irrefutable_let_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `symbols` and `types` are never read [INFO] [stdout] --> arendal-core/src/lib.rs:35:5 [INFO] [stdout] | [INFO] [stdout] 34 | pub(crate) struct GlobalScope { [INFO] [stdout] | ----------- fields in this struct [INFO] [stdout] 35 | symbols: Symbols, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 36 | types: Types, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `AnonTuple` is never constructed [INFO] [stdout] --> arendal-core/src/context/mod.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 17 | enum TypeData { [INFO] [stdout] | -------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 25 | AnonTuple(Arc), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeData` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Symbol` is never constructed [INFO] [stdout] --> arendal-core/src/context/mod.rs:166:5 [INFO] [stdout] | [INFO] [stdout] 165 | pub(crate) enum TypeDfnRef { [INFO] [stdout] | ---------- variant in this enum [INFO] [stdout] 166 | Symbol(FQType), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeDfnRef` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Tuple` is never constructed [INFO] [stdout] --> arendal-core/src/context/mod.rs:172:5 [INFO] [stdout] | [INFO] [stdout] 170 | pub(crate) enum TypeDfn { [INFO] [stdout] | ------- variant in this enum [INFO] [stdout] 171 | Singleton, [INFO] [stdout] 172 | Tuple(Vec>), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeDfn` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `contains` and `add` are never used [INFO] [stdout] --> arendal-core/src/context/mod.rs:412:19 [INFO] [stdout] | [INFO] [stdout] 401 | impl Context { [INFO] [stdout] | ------------ methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 412 | pub(crate) fn contains(&self, symbol: &FQType) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 416 | fn add(&mut self, fq: &FQType, visibility: Visibility, data: TypeData) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `contains` is never used [INFO] [stdout] --> arendal-core/src/env0/mod.rs:49:19 [INFO] [stdout] | [INFO] [stdout] 48 | impl Values { [INFO] [stdout] | ----------- method in this implementation [INFO] [stdout] 49 | pub(crate) fn contains(&self, symbol: &FQSym) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `contains` is never used [INFO] [stdout] --> arendal-core/src/env0/twi/mod.rs:21:8 [INFO] [stdout] | [INFO] [stdout] 20 | impl Scope { [INFO] [stdout] | ---------- method in this implementation [INFO] [stdout] 21 | fn contains(&self, symbol: &Symbol) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `input` and `pos` are never read [INFO] [stdout] --> arendal-core/src/error.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 13 | pub struct Input { [INFO] [stdout] | ----- fields in this struct [INFO] [stdout] 14 | input: ArcStr, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 15 | pos: usize, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Input` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `collect_vec` is never used [INFO] [stdout] --> arendal-core/src/error.rs:131:8 [INFO] [stdout] | [INFO] [stdout] 107 | impl ErrorVec { [INFO] [stdout] | ------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 131 | fn collect_vec(&self, f: F) -> Vec [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `add_segment` is never used [INFO] [stdout] --> arendal-core/src/symbol.rs:18:4 [INFO] [stdout] | [INFO] [stdout] 18 | fn add_segment(f: &mut fmt::Formatter<'_>, it: &dyn Display) -> fmt::Result { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `One` is never constructed [INFO] [stdout] --> arendal-core/src/symbol.rs:37:5 [INFO] [stdout] | [INFO] [stdout] 36 | enum Sym { [INFO] [stdout] | --- variant in this enum [INFO] [stdout] 37 | One(char), [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Sym` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_known` is never used [INFO] [stdout] --> arendal-core/src/symbol.rs:158:19 [INFO] [stdout] | [INFO] [stdout] 126 | impl TSymbol { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 158 | pub(crate) fn is_known(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Enclosed` is never constructed [INFO] [stdout] --> arendal-core/src/symbol.rs:327:5 [INFO] [stdout] | [INFO] [stdout] 325 | enum FQData { [INFO] [stdout] | ------ variant in this enum [INFO] [stdout] 326 | TopLevel(FQPath, T), [INFO] [stdout] 327 | Enclosed(Arc, T), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `FQData` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `local`, `global`, `tl_assignment`, and `unary` are never used [INFO] [stdout] --> arendal-core/src/tst/mod.rs:228:8 [INFO] [stdout] | [INFO] [stdout] 199 | impl Builder { [INFO] [stdout] | ------------ methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 228 | fn local(&self, symbol: Symbol, tipo: Type) -> L { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 236 | fn global(&self, symbol: FQSym, tipo: Type) -> L { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 252 | fn tl_assignment(&self, symbol: FQSym, expr: L) -> L { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 256 | fn unary(&self, op: UnaryOp, expr: L) -> L { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `pkg` is never read [INFO] [stdout] --> arendal-core/src/tst/mod.rs:295:16 [INFO] [stdout] | [INFO] [stdout] 294 | pub(super) struct Package { [INFO] [stdout] | ------- field in this struct [INFO] [stdout] 295 | pub(crate) pkg: Pkg, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Package` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `for_symbol` is never used [INFO] [stdout] --> arendal-core/src/tst/typecheck/fqresolver.rs:36:19 [INFO] [stdout] | [INFO] [stdout] 31 | impl FQResolvers { [INFO] [stdout] | ---------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 36 | pub(super) fn for_symbol(&self, symbol: &FQ) -> &FQResolver { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `error` is never used [INFO] [stdout] --> arendal-core/src/tst/typecheck/tests.rs:16:4 [INFO] [stdout] | [INFO] [stdout] 16 | fn error(input: &str) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Unary` is never used [INFO] [stdout] --> arendal-core/src/resolved/mod.rs:9:17 [INFO] [stdout] | [INFO] [stdout] 9 | pub(crate) type Unary = ast::common::Unary; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Seq` is never used [INFO] [stdout] --> arendal-core/src/resolved/mod.rs:11:17 [INFO] [stdout] | [INFO] [stdout] 11 | pub(crate) type Seq = ast::common::Seq; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Conditional` is never used [INFO] [stdout] --> arendal-core/src/resolved/mod.rs:12:17 [INFO] [stdout] | [INFO] [stdout] 12 | pub(crate) type Conditional = ast::common::Conditional; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `LocalSymbol`, `Symbol`, and `Type` are never constructed [INFO] [stdout] --> arendal-core/src/resolved/mod.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 15 | pub(crate) enum Expr { [INFO] [stdout] | ---- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 18 | LocalSymbol(Symbol), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 19 | Symbol(FQSym), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 20 | Type(FQType), [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `position` and `expr` are never read [INFO] [stdout] --> arendal-core/src/symbols/mod.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 12 | pub struct SymbolDfn { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] 13 | position: Position, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 14 | expr: Expression, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `SymbolDfn` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `values` is never read [INFO] [stdout] --> arendal-core/src/symbols/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 18 | pub(crate) struct Symbols { [INFO] [stdout] | ------- field in this struct [INFO] [stdout] 19 | values: HashMap, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Symbols` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `contains`, `get`, and `set` are never used [INFO] [stdout] --> arendal-core/src/symbols/mod.rs:23:19 [INFO] [stdout] | [INFO] [stdout] 22 | impl Symbols { [INFO] [stdout] | ------------ methods in this implementation [INFO] [stdout] 23 | pub(crate) fn contains(&self, symbol: &FQSym) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 27 | pub(crate) fn get(&self, symbol: &FQSym) -> Option<&SymbolDfn> { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 31 | pub(crate) fn set(&mut self, symbol: FQSym, dfn: SymbolDfn) -> Result<()> { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Error` is never used [INFO] [stdout] --> arendal-core/src/symbols/mod.rs:42:6 [INFO] [stdout] | [INFO] [stdout] 42 | enum Error { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `path` is never read [INFO] [stdout] --> arendal-core/src/typechecked/mod.rs:67:16 [INFO] [stdout] | [INFO] [stdout] 66 | pub(crate) struct TypeChecked { [INFO] [stdout] | ----------- field in this struct [INFO] [stdout] 67 | pub(crate) path: FQPath, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeChecked` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `TypeError` is never used [INFO] [stdout] --> arendal-core/src/typechecker/mod.rs:46:17 [INFO] [stdout] | [INFO] [stdout] 46 | pub(crate) enum TypeError { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Unit`, `True`, and `False` are never constructed [INFO] [stdout] --> arendal-core/src/types/mod.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 7 | pub(crate) enum Type { [INFO] [stdout] | ---- variants in this enum [INFO] [stdout] 8 | Unit, [INFO] [stdout] | ^^^^ [INFO] [stdout] 9 | True, [INFO] [stdout] | ^^^^ [INFO] [stdout] 10 | False, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Type` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `position` and `type_expr` are never read [INFO] [stdout] --> arendal-core/src/types/mod.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 20 | pub(crate) struct TypeDfn { [INFO] [stdout] | ------- fields in this struct [INFO] [stdout] 21 | position: Position, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 22 | type_expr: TypeExpr, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeDfn` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `values` is never read [INFO] [stdout] --> arendal-core/src/types/mod.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 26 | pub(crate) struct Types { [INFO] [stdout] | ----- field in this struct [INFO] [stdout] 27 | values: HashMap, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Types` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Unit`, `True`, and `False` are never constructed [INFO] [stdout] --> arendal-core/src/types/mod.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 31 | pub enum Value { [INFO] [stdout] | ----- variants in this enum [INFO] [stdout] 32 | Unit, [INFO] [stdout] | ^^^^ [INFO] [stdout] 33 | True, [INFO] [stdout] | ^^^^ [INFO] [stdout] 34 | False, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Value` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing [INFO] [stdout] --> arendal-core/src/tst/typecheck/mod.rs:119:23 [INFO] [stdout] | [INFO] [stdout] 119 | fn new_scope<'a>(&'a self, path: &'a FQPath) -> Scope { [INFO] [stdout] | ^^ ^^ ----- the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the lifetime is named here [INFO] [stdout] | the lifetime is named here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: consistently use `'a` [INFO] [stdout] | [INFO] [stdout] 119 | fn new_scope<'a>(&'a self, path: &'a FQPath) -> Scope<'a> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 14.00s [INFO] running `Command { std: "docker" "inspect" "39137a8111265c5e3a60d8c62266d9a037c516c55159e21a1415edbde3aba670", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "39137a8111265c5e3a60d8c62266d9a037c516c55159e21a1415edbde3aba670", kill_on_drop: false }` [INFO] [stdout] 39137a8111265c5e3a60d8c62266d9a037c516c55159e21a1415edbde3aba670