[INFO] updating cached repository Ms2ger/tla-impl [INFO] running `"git" "fetch" "--all"` [INFO] [stdout] Fetching origin [INFO] [stderr] From git://github.com/Ms2ger/tla-impl [INFO] [stderr] * branch HEAD -> FETCH_HEAD [INFO] running `"git" "clone" "work/cache/sources/gh/Ms2ger/tla-impl" "work/ex/pr-63376/sources/master#60960a260f7b5c695fd0717311d72ce62dd4eb43/gh/Ms2ger/tla-impl"` [INFO] [stderr] Cloning into 'work/ex/pr-63376/sources/master#60960a260f7b5c695fd0717311d72ce62dd4eb43/gh/Ms2ger/tla-impl'... [INFO] [stderr] done. [INFO] running `"git" "clone" "work/cache/sources/gh/Ms2ger/tla-impl" "work/ex/pr-63376/sources/try#266783e4e09e4e9d5307c1c8e695659c58bbcac7/gh/Ms2ger/tla-impl"` [INFO] [stderr] Cloning into 'work/ex/pr-63376/sources/try#266783e4e09e4e9d5307c1c8e695659c58bbcac7/gh/Ms2ger/tla-impl'... [INFO] [stderr] done. [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] 5d98466ef6d374707e78f8b548fa49454835e72e [INFO] sha for GitHub repo Ms2ger/tla-impl: 5d98466ef6d374707e78f8b548fa49454835e72e [INFO] validating manifest of Ms2ger/tla-impl on toolchain master#60960a260f7b5c695fd0717311d72ce62dd4eb43 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+60960a260f7b5c695fd0717311d72ce62dd4eb43-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of Ms2ger/tla-impl on toolchain try#266783e4e09e4e9d5307c1c8e695659c58bbcac7 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+266783e4e09e4e9d5307c1c8e695659c58bbcac7-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started frobbing Ms2ger/tla-impl [INFO] finished frobbing Ms2ger/tla-impl [INFO] frobbed toml for Ms2ger/tla-impl written to work/ex/pr-63376/sources/master#60960a260f7b5c695fd0717311d72ce62dd4eb43/gh/Ms2ger/tla-impl/Cargo.toml [INFO] started frobbing Ms2ger/tla-impl [INFO] finished frobbing Ms2ger/tla-impl [INFO] frobbed toml for Ms2ger/tla-impl written to work/ex/pr-63376/sources/try#266783e4e09e4e9d5307c1c8e695659c58bbcac7/gh/Ms2ger/tla-impl/Cargo.toml [INFO] crate Ms2ger/tla-impl already has a lockfile, it will not be regenerated [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+60960a260f7b5c695fd0717311d72ce62dd4eb43-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+266783e4e09e4e9d5307c1c8e695659c58bbcac7-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] checking Ms2ger/tla-impl against master#60960a260f7b5c695fd0717311d72ce62dd4eb43 for pr-63376 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-63376/worker-0/master#60960a260f7b5c695fd0717311d72ce62dd4eb43:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-63376/sources/master#60960a260f7b5c695fd0717311d72ce62dd4eb43/gh/Ms2ger/tla-impl:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+60960a260f7b5c695fd0717311d72ce62dd4eb43-alt" "check" "--frozen" "--all" "--all-targets"` [INFO] [stdout] a9891c167b883ffdf968592c8bc1ddba04fbeb144bf2056e3395e7f4693a36f4 [INFO] running `"docker" "start" "-a" "a9891c167b883ffdf968592c8bc1ddba04fbeb144bf2056e3395e7f4693a36f4"` [INFO] [stderr] Checking tla-impl v0.1.0 (/opt/crater/workdir) [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/main.rs:48:30 [INFO] [stderr] | [INFO] [stderr] 48 | children: RefCell, Box)>>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnOnce(&mut Modules)` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/main.rs:48:57 [INFO] [stderr] | [INFO] [stderr] 48 | children: RefCell, Box)>>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnOnce(&mut Modules, String)` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/main.rs:70:31 [INFO] [stderr] | [INFO] [stderr] 70 | fn then(&self, resolve: Box, reject: Box) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnOnce(&mut Modules)` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/main.rs:70:66 [INFO] [stderr] | [INFO] [stderr] 70 | fn then(&self, resolve: Box, reject: Box) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnOnce(&mut Modules, String)` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/main.rs:48:30 [INFO] [stderr] | [INFO] [stderr] 48 | children: RefCell, Box)>>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnOnce(&mut Modules)` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/main.rs:48:57 [INFO] [stderr] | [INFO] [stderr] 48 | children: RefCell, Box)>>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnOnce(&mut Modules, String)` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/main.rs:70:31 [INFO] [stderr] | [INFO] [stderr] 70 | fn then(&self, resolve: Box, reject: Box) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnOnce(&mut Modules)` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/main.rs:70:66 [INFO] [stderr] | [INFO] [stderr] 70 | fn then(&self, resolve: Box, reject: Box) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnOnce(&mut Modules, String)` [INFO] [stderr] [INFO] [stderr] warning: method is never used: `new` [INFO] [stderr] --> src/main.rs:10:3 [INFO] [stderr] | [INFO] [stderr] 10 | fn new(name: impl Into) -> Self { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: method is never used: `push` [INFO] [stderr] --> src/main.rs:13:3 [INFO] [stderr] | [INFO] [stderr] 13 | fn push(&mut self, value: T) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `pop` [INFO] [stderr] --> src/main.rs:18:3 [INFO] [stderr] | [INFO] [stderr] 18 | fn pop(&mut self) -> Option { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct is never constructed: `Promise` [INFO] [stderr] --> src/main.rs:46:1 [INFO] [stderr] | [INFO] [stderr] 46 | struct Promise { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `new` [INFO] [stderr] --> src/main.rs:52:3 [INFO] [stderr] | [INFO] [stderr] 52 | fn new(modules: &mut Modules) -> Rc { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `resolve` [INFO] [stderr] --> src/main.rs:60:3 [INFO] [stderr] | [INFO] [stderr] 60 | fn resolve(&self) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `reject` [INFO] [stderr] --> src/main.rs:65:3 [INFO] [stderr] | [INFO] [stderr] 65 | fn reject(&self, error: String) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `then` [INFO] [stderr] --> src/main.rs:70:3 [INFO] [stderr] | [INFO] [stderr] 70 | fn then(&self, resolve: Box, reject: Box) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `tick` [INFO] [stderr] --> src/main.rs:74:3 [INFO] [stderr] | [INFO] [stderr] 74 | fn tick(&self, modules: &mut Modules) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Sync` [INFO] [stderr] --> src/main.rs:95:3 [INFO] [stderr] | [INFO] [stderr] 95 | Sync, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Async` [INFO] [stderr] --> src/main.rs:96:3 [INFO] [stderr] | [INFO] [stderr] 96 | Async, [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Uninstantiated` [INFO] [stderr] --> src/main.rs:101:3 [INFO] [stderr] | [INFO] [stderr] 101 | Uninstantiated, [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Instantiating` [INFO] [stderr] --> src/main.rs:102:3 [INFO] [stderr] | [INFO] [stderr] 102 | Instantiating, [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Instantiated` [INFO] [stderr] --> src/main.rs:103:3 [INFO] [stderr] | [INFO] [stderr] 103 | Instantiated, [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Evaluating` [INFO] [stderr] --> src/main.rs:104:3 [INFO] [stderr] | [INFO] [stderr] 104 | Evaluating, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `EvaluatingAsync` [INFO] [stderr] --> src/main.rs:105:3 [INFO] [stderr] | [INFO] [stderr] 105 | EvaluatingAsync, [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Evaluated` [INFO] [stderr] --> src/main.rs:106:3 [INFO] [stderr] | [INFO] [stderr] 106 | Evaluated, [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct is never constructed: `Module` [INFO] [stderr] --> src/main.rs:110:1 [INFO] [stderr] | [INFO] [stderr] 110 | struct Module { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: enum is never used: `EvalResult` [INFO] [stderr] --> src/main.rs:127:1 [INFO] [stderr] | [INFO] [stderr] 127 | enum EvalResult { [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `new` [INFO] [stderr] --> src/main.rs:134:3 [INFO] [stderr] | [INFO] [stderr] 134 | fn new(name: String, async_: Sync, requested: Vec, broken: bool) -> Self { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `set_status` [INFO] [stderr] --> src/main.rs:151:3 [INFO] [stderr] | [INFO] [stderr] 151 | fn set_status(&mut self, status: Status) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `set_anc_index` [INFO] [stderr] --> src/main.rs:156:3 [INFO] [stderr] | [INFO] [stderr] 156 | fn set_anc_index(&mut self, dfs_anc_index: usize) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `execute_module_sync` [INFO] [stderr] --> src/main.rs:161:3 [INFO] [stderr] | [INFO] [stderr] 161 | fn execute_module_sync(&self) -> Result<(), String> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `execute_module_async` [INFO] [stderr] --> src/main.rs:170:3 [INFO] [stderr] | [INFO] [stderr] 170 | fn execute_module_async(&self, capability: Rc) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct is never constructed: `Modules` [INFO] [stderr] --> src/main.rs:181:1 [INFO] [stderr] | [INFO] [stderr] 181 | struct Modules { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `new` [INFO] [stderr] --> src/main.rs:188:3 [INFO] [stderr] | [INFO] [stderr] 188 | fn new() -> Self { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `record` [INFO] [stderr] --> src/main.rs:196:3 [INFO] [stderr] | [INFO] [stderr] 196 | fn record(&mut self, promise: Rc) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `tick` [INFO] [stderr] --> src/main.rs:200:3 [INFO] [stderr] | [INFO] [stderr] 200 | fn tick(&mut self) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `get` [INFO] [stderr] --> src/main.rs:206:3 [INFO] [stderr] | [INFO] [stderr] 206 | fn get(&self, name: &str) -> &Module { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `get_mut` [INFO] [stderr] --> src/main.rs:210:3 [INFO] [stderr] | [INFO] [stderr] 210 | fn get_mut(&mut self, name: &str) -> &mut Module { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `insert` [INFO] [stderr] --> src/main.rs:214:3 [INFO] [stderr] | [INFO] [stderr] 214 | fn insert(&mut self, name: String, async_: Sync, requested: Vec, broken: bool) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `cycle_root` [INFO] [stderr] --> src/main.rs:218:3 [INFO] [stderr] | [INFO] [stderr] 218 | fn cycle_root(&self, module: &str) -> String { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `inner_module_instantiation` [INFO] [stderr] --> src/main.rs:232:3 [INFO] [stderr] | [INFO] [stderr] 232 | fn inner_module_instantiation(&mut self, name: &str, stack: &mut LoudVec, index: usize) -> usize { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `instantiate` [INFO] [stderr] --> src/main.rs:302:3 [INFO] [stderr] | [INFO] [stderr] 302 | fn instantiate(&mut self, name: &str) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `fulfilled` [INFO] [stderr] --> src/main.rs:317:3 [INFO] [stderr] | [INFO] [stderr] 317 | fn fulfilled(&mut self, name: &str) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `rejected` [INFO] [stderr] --> src/main.rs:354:3 [INFO] [stderr] | [INFO] [stderr] 354 | fn rejected(&mut self, name: &str, error: &str) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `execute_cyclic_module` [INFO] [stderr] --> src/main.rs:389:3 [INFO] [stderr] | [INFO] [stderr] 389 | fn execute_cyclic_module(&mut self, name: &str) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `inner_module_evaluation` [INFO] [stderr] --> src/main.rs:419:3 [INFO] [stderr] | [INFO] [stderr] 419 | fn inner_module_evaluation(&mut self, name: &str, stack: &mut LoudVec, index: usize) -> EvalResult { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `evaluate` [INFO] [stderr] --> src/main.rs:533:3 [INFO] [stderr] | [INFO] [stderr] 533 | fn evaluate(&mut self, name: &str) -> Rc { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `run` [INFO] [stderr] --> src/main.rs:599:1 [INFO] [stderr] | [INFO] [stderr] 599 | fn run(modules: &mut Modules, name: &str) -> Rc { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `check` [INFO] [stderr] --> src/main.rs:616:1 [INFO] [stderr] | [INFO] [stderr] 616 | fn check(modules: &mut Modules, expected: &[(&[&str], &[&str])]) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.72s [INFO] running `"docker" "inspect" "a9891c167b883ffdf968592c8bc1ddba04fbeb144bf2056e3395e7f4693a36f4"` [INFO] running `"docker" "rm" "-f" "a9891c167b883ffdf968592c8bc1ddba04fbeb144bf2056e3395e7f4693a36f4"` [INFO] [stdout] a9891c167b883ffdf968592c8bc1ddba04fbeb144bf2056e3395e7f4693a36f4