[INFO] cloning repository https://github.com/SReichelt/slate2
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/SReichelt/slate2" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSReichelt%2Fslate2", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSReichelt%2Fslate2'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 959f1246fdc90fdb7499275fbdf9dff02dbc1c72
[INFO] testing SReichelt/slate2 against master#1871252fc8bb672d40787e67404e6eaae7059369 for pr-125151
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSReichelt%2Fslate2" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/SReichelt/slate2 on toolchain 1871252fc8bb672d40787e67404e6eaae7059369
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/SReichelt/slate2
[INFO] finished tweaking git repo https://github.com/SReichelt/slate2
[INFO] tweaked toml for git repo https://github.com/SReichelt/slate2 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/SReichelt/slate2 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" "+1871252fc8bb672d40787e67404e6eaae7059369" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded macro_find_and_replace v1.0.0
[INFO] [stderr]   Downloaded nonminmax v0.1.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 3fd3e632355e7fe62173812907911120caf95c20bf1df39ba95a893fe63b1e29
[INFO] running `Command { std: "docker" "start" "-a" "3fd3e632355e7fe62173812907911120caf95c20bf1df39ba95a893fe63b1e29", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3fd3e632355e7fe62173812907911120caf95c20bf1df39ba95a893fe63b1e29", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3fd3e632355e7fe62173812907911120caf95c20bf1df39ba95a893fe63b1e29", kill_on_drop: false }`
[INFO] [stdout] 3fd3e632355e7fe62173812907911120caf95c20bf1df39ba95a893fe63b1e29
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d4a6f6d4779754a8b56ee853cf3c170f300ac6d871a5e6c4da24e6a67d90b384
[INFO] running `Command { std: "docker" "start" "-a" "d4a6f6d4779754a8b56ee853cf3c170f300ac6d871a5e6c4da24e6a67d90b384", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.79
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling libc v0.2.153
[INFO] [stderr]    Compiling smallvec v1.13.2
[INFO] [stderr]    Compiling autocfg v1.2.0
[INFO] [stderr]    Compiling memchr v2.7.2
[INFO] [stderr]    Compiling once_cell v1.19.0
[INFO] [stderr]    Compiling anyhow v1.0.81
[INFO] [stderr]    Compiling parking_lot_core v0.9.9
[INFO] [stderr]    Compiling pin-project-lite v0.2.14
[INFO] [stderr]    Compiling crossbeam-utils v0.8.19
[INFO] [stderr]    Compiling futures-sink v0.3.30
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling tinyvec_macros v0.1.1
[INFO] [stderr]    Compiling serde v1.0.197
[INFO] [stderr]    Compiling futures-core v0.3.30
[INFO] [stderr]    Compiling tinyvec v1.6.0
[INFO] [stderr]    Compiling ahash v0.7.8
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]    Compiling unicode-bidi v0.3.15
[INFO] [stderr]    Compiling regex-syntax v0.8.3
[INFO] [stderr]    Compiling futures-channel v0.3.30
[INFO] [stderr]    Compiling serde_json v1.0.115
[INFO] [stderr]    Compiling futures-io v0.3.30
[INFO] [stderr]    Compiling cc v1.0.91
[INFO] [stderr]    Compiling percent-encoding v2.3.1
[INFO] [stderr]    Compiling futures-task v0.3.30
[INFO] [stderr]    Compiling tracing-core v0.1.32
[INFO] [stderr]    Compiling form_urlencoded v1.2.1
[INFO] [stderr]    Compiling lock_api v0.4.11
[INFO] [stderr]    Compiling slab v0.4.9
[INFO] [stderr]    Compiling nonminmax v0.1.1
[INFO] [stderr]    Compiling httparse v1.8.0
[INFO] [stderr]    Compiling async-trait v0.1.79
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling ryu v1.0.17
[INFO] [stderr]    Compiling slate-kernel-util v0.1.0 (/opt/rustwide/workdir/kernel/util)
[INFO] [stderr]    Compiling itoa v1.0.11
[INFO] [stderr]    Compiling quote v1.0.35
[INFO] [stderr]    Compiling unicode-normalization v0.1.23
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling slate-kernel-generic v0.1.0 (/opt/rustwide/workdir/kernel/generic)
[INFO] [stderr]    Compiling bytes v1.6.0
[INFO] [stderr]    Compiling log v0.4.21
[INFO] [stderr]    Compiling thiserror v1.0.58
[INFO] [stderr]    Compiling utf8parse v0.2.1
[INFO] [stderr]    Compiling syn v2.0.58
[INFO] [stderr]    Compiling getrandom v0.2.13
[INFO] [stderr]    Compiling socket2 v0.5.6
[INFO] [stderr]    Compiling signal-hook-registry v1.4.1
[INFO] [stderr]    Compiling crossbeam-deque v0.8.5
[INFO] [stderr]    Compiling mio v0.8.11
[INFO] [stderr]    Compiling num_cpus v1.16.0
[INFO] [stderr]    Compiling anstyle-parse v0.2.3
[INFO] [stderr]    Compiling parking_lot v0.12.1
[INFO] [stderr]    Compiling idna v0.5.0
[INFO] [stderr]    Compiling tower-layer v0.3.2
[INFO] [stderr]    Compiling hashbrown v0.14.3
[INFO] [stderr]    Compiling colorchoice v1.0.0
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling either v1.10.0
[INFO] [stderr]    Compiling anstyle-query v1.0.2
[INFO] [stderr]    Compiling regex-automata v0.4.6
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling tower-service v0.3.2
[INFO] [stderr]    Compiling anstyle v1.0.6
[INFO] [stderr]    Compiling slate-kernel-notation-generic v0.1.0 (/opt/rustwide/workdir/kernel/notation/generic)
[INFO] [stderr]    Compiling macro_find_and_replace v1.0.0
[INFO] [stderr]    Compiling libmimalloc-sys v0.1.35
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling rayon v1.10.0
[INFO] [stderr]    Compiling anstream v0.6.13
[INFO] [stderr]    Compiling slate-kernel-notation-slate v0.1.0 (/opt/rustwide/workdir/kernel/notation/slate)
[INFO] [stderr]    Compiling symbol_table v0.3.0
[INFO] [stderr]    Compiling dashmap v5.5.3
[INFO] [stdout] warning: unused variable: `recorded_notations`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:130:9
[INFO] [stdout]     |
[INFO] [stdout] 130 |         recorded_notations: &mut Vec<NotationExpression<'a>>,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_recorded_notations`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |         state: &mut Self::State,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `event`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |         event: Self::In,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_event`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `range`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:172:9
[INFO] [stdout]     |
[INFO] [stdout] 172 |         range: Range<&Self::Marker>,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_range`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `out`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:173:9
[INFO] [stdout]     |
[INFO] [stdout] 173 |         out: impl FnMut(Self::Out, Range<&Self::Marker>),
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_out`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:179:9
[INFO] [stdout]     |
[INFO] [stdout] 179 |         state: Self::State,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `end_marker`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:180:9
[INFO] [stdout]     |
[INFO] [stdout] 180 |         end_marker: &Self::Marker,
[INFO] [stdout]     |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_end_marker`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `out`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:181:9
[INFO] [stdout]     |
[INFO] [stdout] 181 |         out: impl FnMut(Self::Out, Range<&Self::Marker>),
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_out`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `source` and `global_notations` are never read
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:154:5
[INFO] [stdout]     |
[INFO] [stdout] 153 | pub struct ExpressionOutputPass<'a, Src: EventSource + 'a> {
[INFO] [stdout]     |            -------------------- fields in this struct
[INFO] [stdout] 154 |     source: EventSourceWithOps<'a, ParameterEvent<'a>, Src>,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] 155 |     global_notations: Vec<NotationExpression<'a>>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 9 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling mimalloc v0.1.39
[INFO] [stderr]    Compiling regex v1.10.4
[INFO] [stderr]    Compiling env_filter v0.1.0
[INFO] [stderr]    Compiling env_logger v0.11.3
[INFO] [stderr]    Compiling serde_derive v1.0.197
[INFO] [stderr]    Compiling futures-macro v0.3.30
[INFO] [stderr]    Compiling tracing-attributes v0.1.27
[INFO] [stderr]    Compiling tokio-macros v2.2.0
[INFO] [stderr]    Compiling pin-project-internal v1.1.5
[INFO] [stderr]    Compiling serde_repr v0.1.18
[INFO] [stderr]    Compiling thiserror-impl v1.0.58
[INFO] [stderr]    Compiling slate-kernel-generic-derive v0.1.0 (/opt/rustwide/workdir/kernel/generic/derive)
[INFO] [stderr]    Compiling auto_impl v1.2.0
[INFO] [stderr]    Compiling tower-lsp-macros v0.9.0
[INFO] [stderr]    Compiling slate-kernel-metalogic v0.1.0 (/opt/rustwide/workdir/kernel/metalogic)
[INFO] [stderr]    Compiling slate-kernel-generic-examples v0.1.0 (/opt/rustwide/workdir/kernel/generic/examples)
[INFO] [stderr]    Compiling tokio v1.37.0
[INFO] [stderr]    Compiling futures-util v0.3.30
[INFO] [stderr]    Compiling pin-project v1.1.5
[INFO] [stderr]    Compiling slate-kernel-notation-text v0.1.0 (/opt/rustwide/workdir/kernel/notation/text)
[INFO] [stderr]    Compiling tracing v0.1.40
[INFO] [stderr]    Compiling slate-kernel-metalogic-mltt v0.1.0 (/opt/rustwide/workdir/kernel/metalogic/mltt)
[INFO] [stderr]    Compiling futures v0.3.30
[INFO] [stderr]    Compiling tower v0.4.13
[INFO] [stderr]    Compiling tokio-util v0.7.10
[INFO] [stderr]    Compiling url v2.5.0
[INFO] [stderr]    Compiling lsp-types v0.94.1
[INFO] [stderr]    Compiling tower-lsp v0.20.0
[INFO] [stderr]    Compiling slate-kernel-notation-lsp v0.1.0 (/opt/rustwide/workdir/kernel/notation/lsp)
[INFO] [stdout] warning: unused import: `ErrorCode`
[INFO] [stdout]  --> kernel/notation/lsp/src/main.rs:4:33
[INFO] [stdout]   |
[INFO] [stdout] 4 | use tower_lsp::jsonrpc::{Error, ErrorCode, Result};
[INFO] [stdout]   |                                 ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `event_sequence::*`
[INFO] [stdout]  --> kernel/notation/lsp/src/document.rs:8:37
[INFO] [stdout]   |
[INFO] [stdout] 8 | use slate_kernel_notation_generic::{event_sequence::*, event_source::*};
[INFO] [stdout]   |                                     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `text_range`
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:102:9
[INFO] [stdout]     |
[INFO] [stdout] 102 |         text_range: &TextRange,
[INFO] [stdout]     |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_text_range`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_text`
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:103:9
[INFO] [stdout]     |
[INFO] [stdout] 103 |         new_text: &'a str,
[INFO] [stdout]     |         ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_text`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `params`
[INFO] [stdout]    --> kernel/notation/lsp/src/main.rs:103:32
[INFO] [stdout]     |
[INFO] [stdout] 103 |     async fn did_change(&self, params: DidChangeTextDocumentParams) {
[INFO] [stdout]     |                                ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `params`
[INFO] [stdout]    --> kernel/notation/lsp/src/main.rs:109:30
[INFO] [stdout]     |
[INFO] [stdout] 109 |     async fn did_save(&self, params: DidSaveTextDocumentParams) {}
[INFO] [stdout]     |                              ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `document`
[INFO] [stdout]    --> kernel/notation/lsp/src/main.rs:121:18
[INFO] [stdout]     |
[INFO] [stdout] 121 |         let Some(document) = state.open_documents.get_mut(&params.text_document.uri) else {
[INFO] [stdout]     |                  ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_document`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `params`
[INFO] [stdout]    --> kernel/notation/lsp/src/main.rs:130:9
[INFO] [stdout]     |
[INFO] [stdout] 130 |         params: SemanticTokensDeltaParams,
[INFO] [stdout]     |         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `valid`, `position_encoding`, and `text` are never read
[INFO] [stdout]   --> kernel/notation/lsp/src/document.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub struct Document {
[INFO] [stdout]    |            -------- fields in this struct
[INFO] [stdout] 13 |     valid: bool,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 14 |     position_encoding: PositionEncoding,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 15 |     text: TextBuffer,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Document` 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 `replace`, `edit`, `get_text_range`, and `get_modification_input` are never used
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:37:12
[INFO] [stdout]     |
[INFO] [stdout] 18  | impl Document {
[INFO] [stdout]     | ------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 37  |     pub fn replace(&mut self, range: &Range, new_text: &str) -> Result<()> {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 58  |     pub fn edit(&mut self, text_edit: &TextEdit) -> Result<()> {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 62  |     fn get_text_range(&self, range: &Range) -> Result<TextRange> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 100 |     fn get_modification_input<'a>(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `lsp_to_rust` and `rust_to_lsp` are never used
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:135:8
[INFO] [stdout]     |
[INFO] [stdout] 134 | impl PositionEncoding {
[INFO] [stdout]     | --------------------- methods in this implementation
[INFO] [stdout] 135 |     fn lsp_to_rust(self, s: &str, mut lsp_pos: u32) -> Result<usize> {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 194 |     fn rust_to_lsp(self, s: &str, idx: usize) -> u32 {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `range_events` is never read
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:212:5
[INFO] [stdout]     |
[INFO] [stdout] 211 | struct LineParseMemory {
[INFO] [stdout]     |        --------------- field in this struct
[INFO] [stdout] 212 |     range_events: Vec<RangeClassEvent>,
[INFO] [stdout]     |     ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `LineParseMemory` 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: type alias `TextPosition` is never used
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:217:6
[INFO] [stdout]     |
[INFO] [stdout] 217 | type TextPosition = <TextBufferShape as TextRopeShape>::Position;
[INFO] [stdout]     |      ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `TextRange` is never used
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:218:6
[INFO] [stdout]     |
[INFO] [stdout] 218 | type TextRange = std::ops::Range<TextPosition>;
[INFO] [stdout]     |      ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 14 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 26.12s
[INFO] running `Command { std: "docker" "inspect" "d4a6f6d4779754a8b56ee853cf3c170f300ac6d871a5e6c4da24e6a67d90b384", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d4a6f6d4779754a8b56ee853cf3c170f300ac6d871a5e6c4da24e6a67d90b384", kill_on_drop: false }`
[INFO] [stdout] d4a6f6d4779754a8b56ee853cf3c170f300ac6d871a5e6c4da24e6a67d90b384
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 863b6bb57d9ff3cb96343df7c57552e0357a37645428ea7ab691e171ae7f25cf
[INFO] running `Command { std: "docker" "start" "-a" "863b6bb57d9ff3cb96343df7c57552e0357a37645428ea7ab691e171ae7f25cf", kill_on_drop: false }`
[INFO] [stderr]    Compiling slate-kernel-generic-derive v0.1.0 (/opt/rustwide/workdir/kernel/generic/derive)
[INFO] [stdout] warning: unused variable: `recorded_notations`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:130:9
[INFO] [stdout]     |
[INFO] [stdout] 130 |         recorded_notations: &mut Vec<NotationExpression<'a>>,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_recorded_notations`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |         state: &mut Self::State,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `event`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |         event: Self::In,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_event`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `range`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:172:9
[INFO] [stdout]     |
[INFO] [stdout] 172 |         range: Range<&Self::Marker>,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_range`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `out`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:173:9
[INFO] [stdout]     |
[INFO] [stdout] 173 |         out: impl FnMut(Self::Out, Range<&Self::Marker>),
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_out`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:179:9
[INFO] [stdout]     |
[INFO] [stdout] 179 |         state: Self::State,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `end_marker`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:180:9
[INFO] [stdout]     |
[INFO] [stdout] 180 |         end_marker: &Self::Marker,
[INFO] [stdout]     |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_end_marker`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `out`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:181:9
[INFO] [stdout]     |
[INFO] [stdout] 181 |         out: impl FnMut(Self::Out, Range<&Self::Marker>),
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_out`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `source` and `global_notations` are never read
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:154:5
[INFO] [stdout]     |
[INFO] [stdout] 153 | pub struct ExpressionOutputPass<'a, Src: EventSource + 'a> {
[INFO] [stdout]     |            -------------------- fields in this struct
[INFO] [stdout] 154 |     source: EventSourceWithOps<'a, ParameterEvent<'a>, Src>,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] 155 |     global_notations: Vec<NotationExpression<'a>>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 9 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling slate-kernel-notation-text v0.1.0 (/opt/rustwide/workdir/kernel/notation/text)
[INFO] [stderr]    Compiling slate-kernel-generic v0.1.0 (/opt/rustwide/workdir/kernel/generic)
[INFO] [stderr]    Compiling slate-kernel-notation-slate v0.1.0 (/opt/rustwide/workdir/kernel/notation/slate)
[INFO] [stderr]    Compiling slate-kernel-util v0.1.0 (/opt/rustwide/workdir/kernel/util)
[INFO] [stderr]    Compiling slate-kernel-notation-generic v0.1.0 (/opt/rustwide/workdir/kernel/notation/generic)
[INFO] [stderr]    Compiling slate-kernel-notation-lsp v0.1.0 (/opt/rustwide/workdir/kernel/notation/lsp)
[INFO] [stdout] warning: unexpected `cfg` condition value: `test_lifetime`
[INFO] [stdout]    --> kernel/util/src/ref_stack.rs:248:11
[INFO] [stdout]     |
[INFO] [stdout] 248 |     #[cfg(feature = "test_lifetime")] // Uncomment to see compiler error.
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove the condition
[INFO] [stdout]     |
[INFO] [stdout]     = note: no expected values for `feature`
[INFO] [stdout]     = help: consider adding `test_lifetime` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/cargo/reference/build-scripts.html#rustc-check-cfg> for more information about checking conditional configuration
[INFO] [stdout]     = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ErrorCode`
[INFO] [stdout]  --> kernel/notation/lsp/src/main.rs:4:33
[INFO] [stdout]   |
[INFO] [stdout] 4 | use tower_lsp::jsonrpc::{Error, ErrorCode, Result};
[INFO] [stdout]   |                                 ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `event_sequence::*`
[INFO] [stdout]  --> kernel/notation/lsp/src/document.rs:8:37
[INFO] [stdout]   |
[INFO] [stdout] 8 | use slate_kernel_notation_generic::{event_sequence::*, event_source::*};
[INFO] [stdout]   |                                     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `text_range`
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:102:9
[INFO] [stdout]     |
[INFO] [stdout] 102 |         text_range: &TextRange,
[INFO] [stdout]     |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_text_range`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_text`
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:103:9
[INFO] [stdout]     |
[INFO] [stdout] 103 |         new_text: &'a str,
[INFO] [stdout]     |         ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_text`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `params`
[INFO] [stdout]    --> kernel/notation/lsp/src/main.rs:103:32
[INFO] [stdout]     |
[INFO] [stdout] 103 |     async fn did_change(&self, params: DidChangeTextDocumentParams) {
[INFO] [stdout]     |                                ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `params`
[INFO] [stdout]    --> kernel/notation/lsp/src/main.rs:109:30
[INFO] [stdout]     |
[INFO] [stdout] 109 |     async fn did_save(&self, params: DidSaveTextDocumentParams) {}
[INFO] [stdout]     |                              ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `document`
[INFO] [stdout]    --> kernel/notation/lsp/src/main.rs:121:18
[INFO] [stdout]     |
[INFO] [stdout] 121 |         let Some(document) = state.open_documents.get_mut(&params.text_document.uri) else {
[INFO] [stdout]     |                  ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_document`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `params`
[INFO] [stdout]    --> kernel/notation/lsp/src/main.rs:130:9
[INFO] [stdout]     |
[INFO] [stdout] 130 |         params: SemanticTokensDeltaParams,
[INFO] [stdout]     |         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `valid`, `position_encoding`, and `text` are never read
[INFO] [stdout]   --> kernel/notation/lsp/src/document.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub struct Document {
[INFO] [stdout]    |            -------- fields in this struct
[INFO] [stdout] 13 |     valid: bool,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 14 |     position_encoding: PositionEncoding,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 15 |     text: TextBuffer,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Document` 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 `replace`, `edit`, `get_text_range`, and `get_modification_input` are never used
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:37:12
[INFO] [stdout]     |
[INFO] [stdout] 18  | impl Document {
[INFO] [stdout]     | ------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 37  |     pub fn replace(&mut self, range: &Range, new_text: &str) -> Result<()> {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 58  |     pub fn edit(&mut self, text_edit: &TextEdit) -> Result<()> {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 62  |     fn get_text_range(&self, range: &Range) -> Result<TextRange> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 100 |     fn get_modification_input<'a>(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `range_events` is never read
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:212:5
[INFO] [stdout]     |
[INFO] [stdout] 211 | struct LineParseMemory {
[INFO] [stdout]     |        --------------- field in this struct
[INFO] [stdout] 212 |     range_events: Vec<RangeClassEvent>,
[INFO] [stdout]     |     ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `LineParseMemory` 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: type alias `TextPosition` is never used
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:217:6
[INFO] [stdout]     |
[INFO] [stdout] 217 | type TextPosition = <TextBufferShape as TextRopeShape>::Position;
[INFO] [stdout]     |      ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `TextRange` is never used
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:218:6
[INFO] [stdout]     |
[INFO] [stdout] 218 | type TextRange = std::ops::Range<TextPosition>;
[INFO] [stdout]     |      ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling slate-kernel-metalogic v0.1.0 (/opt/rustwide/workdir/kernel/metalogic)
[INFO] [stderr]    Compiling slate-kernel-generic-examples v0.1.0 (/opt/rustwide/workdir/kernel/generic/examples)
[INFO] [stdout] warning: 13 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `recorded_notations`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:130:9
[INFO] [stdout]     |
[INFO] [stdout] 130 |         recorded_notations: &mut Vec<NotationExpression<'a>>,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_recorded_notations`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |         state: &mut Self::State,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `event`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |         event: Self::In,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_event`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `range`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:172:9
[INFO] [stdout]     |
[INFO] [stdout] 172 |         range: Range<&Self::Marker>,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_range`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `out`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:173:9
[INFO] [stdout]     |
[INFO] [stdout] 173 |         out: impl FnMut(Self::Out, Range<&Self::Marker>),
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_out`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:179:9
[INFO] [stdout]     |
[INFO] [stdout] 179 |         state: Self::State,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `end_marker`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:180:9
[INFO] [stdout]     |
[INFO] [stdout] 180 |         end_marker: &Self::Marker,
[INFO] [stdout]     |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_end_marker`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `out`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:181:9
[INFO] [stdout]     |
[INFO] [stdout] 181 |         out: impl FnMut(Self::Out, Range<&Self::Marker>),
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_out`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:237:30
[INFO] [stdout]     |
[INFO] [stdout] 237 |         fn fill_events(self, result: &mut Vec<ExpressionEvent<'a>>) {}
[INFO] [stdout]     |                              ^^^^^^ help: if this is intentional, prefix it with an underscore: `_result`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `range_events`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:251:27
[INFO] [stdout]     |
[INFO] [stdout] 251 |         let (diagnostics, range_events) = source.results();
[INFO] [stdout]     |                           ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_range_events`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `source` and `global_notations` are never read
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:154:5
[INFO] [stdout]     |
[INFO] [stdout] 153 | pub struct ExpressionOutputPass<'a, Src: EventSource + 'a> {
[INFO] [stdout]     |            -------------------- fields in this struct
[INFO] [stdout] 154 |     source: EventSourceWithOps<'a, ParameterEvent<'a>, Src>,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] 155 |     global_notations: Vec<NotationExpression<'a>>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling slate-kernel-metalogic-mltt v0.1.0 (/opt/rustwide/workdir/kernel/metalogic/mltt)
[INFO] [stdout] warning: 11 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.77s
[INFO] running `Command { std: "docker" "inspect" "863b6bb57d9ff3cb96343df7c57552e0357a37645428ea7ab691e171ae7f25cf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "863b6bb57d9ff3cb96343df7c57552e0357a37645428ea7ab691e171ae7f25cf", kill_on_drop: false }`
[INFO] [stdout] 863b6bb57d9ff3cb96343df7c57552e0357a37645428ea7ab691e171ae7f25cf
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] d59fae1b0a073c18f3d03d952073b0e6dfa16f29dd96a7e3ca314994a39e7816
[INFO] running `Command { std: "docker" "start" "-a" "d59fae1b0a073c18f3d03d952073b0e6dfa16f29dd96a7e3ca314994a39e7816", kill_on_drop: false }`
[INFO] [stderr] warning: unused variable: `recorded_notations`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:130:9
[INFO] [stderr]     |
[INFO] [stderr] 130 |         recorded_notations: &mut Vec<NotationExpression<'a>>,
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_recorded_notations`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `state`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:170:9
[INFO] [stderr]     |
[INFO] [stderr] 170 |         state: &mut Self::State,
[INFO] [stderr]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `event`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:171:9
[INFO] [stderr]     |
[INFO] [stderr] 171 |         event: Self::In,
[INFO] [stderr]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_event`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `range`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:172:9
[INFO] [stderr]     |
[INFO] [stderr] 172 |         range: Range<&Self::Marker>,
[INFO] [stderr]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_range`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `out`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:173:9
[INFO] [stderr]     |
[INFO] [stderr] 173 |         out: impl FnMut(Self::Out, Range<&Self::Marker>),
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_out`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `state`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:179:9
[INFO] [stderr]     |
[INFO] [stderr] 179 |         state: Self::State,
[INFO] [stderr]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `end_marker`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:180:9
[INFO] [stderr]     |
[INFO] [stderr] 180 |         end_marker: &Self::Marker,
[INFO] [stderr]     |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_end_marker`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `out`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:181:9
[INFO] [stderr]     |
[INFO] [stderr] 181 |         out: impl FnMut(Self::Out, Range<&Self::Marker>),
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_out`
[INFO] [stderr] 
[INFO] [stderr] warning: fields `source` and `global_notations` are never read
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:154:5
[INFO] [stderr]     |
[INFO] [stderr] 153 | pub struct ExpressionOutputPass<'a, Src: EventSource + 'a> {
[INFO] [stderr]     |            -------------------- fields in this struct
[INFO] [stderr] 154 |     source: EventSourceWithOps<'a, ParameterEvent<'a>, Src>,
[INFO] [stderr]     |     ^^^^^^
[INFO] [stderr] 155 |     global_notations: Vec<NotationExpression<'a>>,
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `slate-kernel-notation-slate` (lib) generated 9 warnings
[INFO] [stderr] warning: unused variable: `result`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:237:30
[INFO] [stderr]     |
[INFO] [stderr] 237 |         fn fill_events(self, result: &mut Vec<ExpressionEvent<'a>>) {}
[INFO] [stderr]     |                              ^^^^^^ help: if this is intentional, prefix it with an underscore: `_result`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `range_events`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:251:27
[INFO] [stderr]     |
[INFO] [stderr] 251 |         let (diagnostics, range_events) = source.results();
[INFO] [stderr]     |                           ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_range_events`
[INFO] [stderr] 
[INFO] [stderr] warning: `slate-kernel-notation-slate` (lib test) generated 11 warnings (9 duplicates)
[INFO] [stderr] warning: unused import: `ErrorCode`
[INFO] [stderr]  --> kernel/notation/lsp/src/main.rs:4:33
[INFO] [stderr]   |
[INFO] [stderr] 4 | use tower_lsp::jsonrpc::{Error, ErrorCode, Result};
[INFO] [stderr]   |                                 ^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `event_sequence::*`
[INFO] [stderr]  --> kernel/notation/lsp/src/document.rs:8:37
[INFO] [stderr]   |
[INFO] [stderr] 8 | use slate_kernel_notation_generic::{event_sequence::*, event_source::*};
[INFO] [stderr]   |                                     ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `text_range`
[INFO] [stderr]    --> kernel/notation/lsp/src/document.rs:102:9
[INFO] [stderr]     |
[INFO] [stderr] 102 |         text_range: &TextRange,
[INFO] [stderr]     |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_text_range`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `new_text`
[INFO] [stderr]    --> kernel/notation/lsp/src/document.rs:103:9
[INFO] [stderr]     |
[INFO] [stderr] 103 |         new_text: &'a str,
[INFO] [stderr]     |         ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_text`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `params`
[INFO] [stderr]    --> kernel/notation/lsp/src/main.rs:103:32
[INFO] [stderr]     |
[INFO] [stderr] 103 |     async fn did_change(&self, params: DidChangeTextDocumentParams) {
[INFO] [stderr]     |                                ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `params`
[INFO] [stderr]    --> kernel/notation/lsp/src/main.rs:109:30
[INFO] [stderr]     |
[INFO] [stderr] 109 |     async fn did_save(&self, params: DidSaveTextDocumentParams) {}
[INFO] [stderr]     |                              ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `document`
[INFO] [stderr]    --> kernel/notation/lsp/src/main.rs:121:18
[INFO] [stderr]     |
[INFO] [stderr] 121 |         let Some(document) = state.open_documents.get_mut(&params.text_document.uri) else {
[INFO] [stderr]     |                  ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_document`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `params`
[INFO] [stderr]    --> kernel/notation/lsp/src/main.rs:130:9
[INFO] [stderr]     |
[INFO] [stderr] 130 |         params: SemanticTokensDeltaParams,
[INFO] [stderr]     |         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stderr] 
[INFO] [stderr] warning: fields `valid`, `position_encoding`, and `text` are never read
[INFO] [stderr]   --> kernel/notation/lsp/src/document.rs:13:5
[INFO] [stderr]    |
[INFO] [stderr] 12 | pub struct Document {
[INFO] [stderr]    |            -------- fields in this struct
[INFO] [stderr] 13 |     valid: bool,
[INFO] [stderr]    |     ^^^^^
[INFO] [stderr] 14 |     position_encoding: PositionEncoding,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 15 |     text: TextBuffer,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Document` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: methods `replace`, `edit`, `get_text_range`, and `get_modification_input` are never used
[INFO] [stderr]    --> kernel/notation/lsp/src/document.rs:37:12
[INFO] [stderr]     |
[INFO] [stderr] 18  | impl Document {
[INFO] [stderr]     | ------------- methods in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 37  |     pub fn replace(&mut self, range: &Range, new_text: &str) -> Result<()> {
[INFO] [stderr]     |            ^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 58  |     pub fn edit(&mut self, text_edit: &TextEdit) -> Result<()> {
[INFO] [stderr]     |            ^^^^
[INFO] [stderr] ...
[INFO] [stderr] 62  |     fn get_text_range(&self, range: &Range) -> Result<TextRange> {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 100 |     fn get_modification_input<'a>(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field `range_events` is never read
[INFO] [stderr]    --> kernel/notation/lsp/src/document.rs:212:5
[INFO] [stderr]     |
[INFO] [stderr] 211 | struct LineParseMemory {
[INFO] [stderr]     |        --------------- field in this struct
[INFO] [stderr] 212 |     range_events: Vec<RangeClassEvent>,
[INFO] [stderr]     |     ^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `LineParseMemory` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `TextPosition` is never used
[INFO] [stderr]    --> kernel/notation/lsp/src/document.rs:217:6
[INFO] [stderr]     |
[INFO] [stderr] 217 | type TextPosition = <TextBufferShape as TextRopeShape>::Position;
[INFO] [stderr]     |      ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `TextRange` is never used
[INFO] [stderr]    --> kernel/notation/lsp/src/document.rs:218:6
[INFO] [stderr]     |
[INFO] [stderr] 218 | type TextRange = std::ops::Range<TextPosition>;
[INFO] [stderr]     |      ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition value: `test_lifetime`
[INFO] [stderr]    --> kernel/util/src/ref_stack.rs:248:11
[INFO] [stderr]     |
[INFO] [stderr] 248 |     #[cfg(feature = "test_lifetime")] // Uncomment to see compiler error.
[INFO] [stderr]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove the condition
[INFO] [stderr]     |
[INFO] [stderr]     = note: no expected values for `feature`
[INFO] [stderr]     = help: consider adding `test_lifetime` as a feature in `Cargo.toml`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/cargo/reference/build-scripts.html#rustc-check-cfg> for more information about checking conditional configuration
[INFO] [stderr]     = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `slate-kernel-notation-lsp` (bin "slate-kernel-notation-lsp" test) generated 13 warnings (run `cargo fix --bin "slate-kernel-notation-lsp" --tests` to apply 2 suggestions)
[INFO] [stderr] warning: `slate-kernel-util` (lib test) generated 1 warning
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.08s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/slate_kernel_generic-6bc00f6892cb24db)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/slate_kernel_generic_derive-7bbab038197c2107)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/slate_kernel_generic_examples-2553805446ed9d36)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test multi_lambda::tests::test_id ... ok
[INFO] [stdout] test multi_lambda::tests::test_id_id_2 ... ok
[INFO] [stdout] test multi_lambda::tests::test_id_id ... ok
[INFO] [stdout] test multi_lambda::tests::test_mul_1_2 ... ok
[INFO] [stdout] test multi_lambda::tests::test_mul_1_1 ... ok
[INFO] [stdout] test multi_lambda::tests::test_id_id_id_nested ... ok
[INFO] [stdout] test multi_lambda::tests::test_mul_2_1 ... ok
[INFO] [stdout] test multi_lambda::tests::test_id_id_id ... ok
[INFO] [stdout] test multi_lambda::tests::test_mul_2_2 ... ok
[INFO] [stdout] test multi_lambda::tests::test_mul_2_2_2 ... ok
[INFO] [stdout] test multi_lambda::tests::test_mul_2_3 ... ok
[INFO] [stdout] test multi_lambda::tests::test_mul_2_3_permut ... ok
[INFO] [stdout] test multi_lambda::tests::test_omega ... ok
[INFO] [stdout] test multi_lambda::tests::test_subst_chunk ... ok
[INFO] [stdout] test multi_lambda::tests::test_wrong_arg_len - should panic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/slate_kernel_metalogic-5319e842e782dd39)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/slate_kernel_metalogic_mltt-5b59c741fa605bef)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test metalogic_mltt::tests::test_example_reductions has been running for over 60 seconds
[INFO] [stdout] test metalogic_mltt::tests::test_mltt has been running for over 60 seconds
[ERROR] error running command: no output for 300 seconds
[INFO] running `Command { std: "docker" "inspect" "d59fae1b0a073c18f3d03d952073b0e6dfa16f29dd96a7e3ca314994a39e7816", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d59fae1b0a073c18f3d03d952073b0e6dfa16f29dd96a7e3ca314994a39e7816", kill_on_drop: false }`
[INFO] [stdout] d59fae1b0a073c18f3d03d952073b0e6dfa16f29dd96a7e3ca314994a39e7816
[INFO] testing SReichelt/slate2 against try#b642703cf9526da1e72c0b6755753b939a9c6b6d for pr-125151
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSReichelt%2Fslate2" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/SReichelt/slate2 on toolchain b642703cf9526da1e72c0b6755753b939a9c6b6d
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/SReichelt/slate2
[INFO] finished tweaking git repo https://github.com/SReichelt/slate2
[INFO] tweaked toml for git repo https://github.com/SReichelt/slate2 written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/SReichelt/slate2 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" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] b811ea67d696cc03f3fcb7604f06ccf55b6fc8a2cfc84383d684ba8af13cf6b4
[INFO] running `Command { std: "docker" "start" "-a" "b811ea67d696cc03f3fcb7604f06ccf55b6fc8a2cfc84383d684ba8af13cf6b4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b811ea67d696cc03f3fcb7604f06ccf55b6fc8a2cfc84383d684ba8af13cf6b4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b811ea67d696cc03f3fcb7604f06ccf55b6fc8a2cfc84383d684ba8af13cf6b4", kill_on_drop: false }`
[INFO] [stdout] b811ea67d696cc03f3fcb7604f06ccf55b6fc8a2cfc84383d684ba8af13cf6b4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 36ddeb23bf9edd10c85b8b41cd8271b57a2adbd0e67949fcdc865066b30418d4
[INFO] running `Command { std: "docker" "start" "-a" "36ddeb23bf9edd10c85b8b41cd8271b57a2adbd0e67949fcdc865066b30418d4", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.79
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling libc v0.2.153
[INFO] [stderr]    Compiling autocfg v1.2.0
[INFO] [stderr]    Compiling smallvec v1.13.2
[INFO] [stderr]    Compiling memchr v2.7.2
[INFO] [stderr]    Compiling once_cell v1.19.0
[INFO] [stderr]    Compiling anyhow v1.0.81
[INFO] [stderr]    Compiling parking_lot_core v0.9.9
[INFO] [stderr]    Compiling crossbeam-utils v0.8.19
[INFO] [stderr]    Compiling pin-project-lite v0.2.14
[INFO] [stderr]    Compiling futures-sink v0.3.30
[INFO] [stderr]    Compiling serde v1.0.197
[INFO] [stderr]    Compiling futures-core v0.3.30
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling tinyvec_macros v0.1.1
[INFO] [stderr]    Compiling tinyvec v1.6.0
[INFO] [stderr]    Compiling ahash v0.7.8
[INFO] [stderr]    Compiling futures-task v0.3.30
[INFO] [stderr]    Compiling serde_json v1.0.115
[INFO] [stderr]    Compiling futures-io v0.3.30
[INFO] [stderr]    Compiling futures-channel v0.3.30
[INFO] [stderr]    Compiling unicode-bidi v0.3.15
[INFO] [stderr]    Compiling cc v1.0.91
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]    Compiling percent-encoding v2.3.1
[INFO] [stderr]    Compiling regex-syntax v0.8.3
[INFO] [stderr]    Compiling tracing-core v0.1.32
[INFO] [stderr]    Compiling form_urlencoded v1.2.1
[INFO] [stderr]    Compiling ryu v1.0.17
[INFO] [stderr]    Compiling utf8parse v0.2.1
[INFO] [stderr]    Compiling lock_api v0.4.11
[INFO] [stderr]    Compiling slab v0.4.9
[INFO] [stderr]    Compiling thiserror v1.0.58
[INFO] [stderr]    Compiling async-trait v0.1.79
[INFO] [stderr]    Compiling nonminmax v0.1.1
[INFO] [stderr]    Compiling log v0.4.21
[INFO] [stderr]    Compiling slate-kernel-util v0.1.0 (/opt/rustwide/workdir/kernel/util)
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling itoa v1.0.11
[INFO] [stderr]    Compiling bytes v1.6.0
[INFO] [stderr]    Compiling quote v1.0.35
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling slate-kernel-generic v0.1.0 (/opt/rustwide/workdir/kernel/generic)
[INFO] [stderr]    Compiling httparse v1.8.0
[INFO] [stderr]    Compiling unicode-normalization v0.1.23
[INFO] [stderr]    Compiling syn v2.0.58
[INFO] [stderr]    Compiling getrandom v0.2.13
[INFO] [stderr]    Compiling num_cpus v1.16.0
[INFO] [stderr]    Compiling mio v0.8.11
[INFO] [stderr]    Compiling crossbeam-deque v0.8.5
[INFO] [stderr]    Compiling signal-hook-registry v1.4.1
[INFO] [stderr]    Compiling socket2 v0.5.6
[INFO] [stderr]    Compiling anstyle-parse v0.2.3
[INFO] [stderr]    Compiling anstyle-query v1.0.2
[INFO] [stderr]    Compiling parking_lot v0.12.1
[INFO] [stderr]    Compiling colorchoice v1.0.0
[INFO] [stderr]    Compiling either v1.10.0
[INFO] [stderr]    Compiling hashbrown v0.14.3
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling idna v0.5.0
[INFO] [stderr]    Compiling anstyle v1.0.6
[INFO] [stderr]    Compiling tower-layer v0.3.2
[INFO] [stderr]    Compiling tower-service v0.3.2
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling slate-kernel-notation-generic v0.1.0 (/opt/rustwide/workdir/kernel/notation/generic)
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling anstream v0.6.13
[INFO] [stderr]    Compiling macro_find_and_replace v1.0.0
[INFO] [stderr]    Compiling libmimalloc-sys v0.1.35
[INFO] [stderr]    Compiling rayon v1.10.0
[INFO] [stderr]    Compiling regex-automata v0.4.6
[INFO] [stderr]    Compiling slate-kernel-notation-slate v0.1.0 (/opt/rustwide/workdir/kernel/notation/slate)
[INFO] [stderr]    Compiling symbol_table v0.3.0
[INFO] [stderr]    Compiling dashmap v5.5.3
[INFO] [stdout] warning: unused variable: `recorded_notations`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:130:9
[INFO] [stdout]     |
[INFO] [stdout] 130 |         recorded_notations: &mut Vec<NotationExpression<'a>>,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_recorded_notations`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |         state: &mut Self::State,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `event`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |         event: Self::In,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_event`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `range`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:172:9
[INFO] [stdout]     |
[INFO] [stdout] 172 |         range: Range<&Self::Marker>,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_range`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `out`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:173:9
[INFO] [stdout]     |
[INFO] [stdout] 173 |         out: impl FnMut(Self::Out, Range<&Self::Marker>),
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_out`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:179:9
[INFO] [stdout]     |
[INFO] [stdout] 179 |         state: Self::State,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `end_marker`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:180:9
[INFO] [stdout]     |
[INFO] [stdout] 180 |         end_marker: &Self::Marker,
[INFO] [stdout]     |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_end_marker`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `out`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:181:9
[INFO] [stdout]     |
[INFO] [stdout] 181 |         out: impl FnMut(Self::Out, Range<&Self::Marker>),
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_out`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `source` and `global_notations` are never read
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:154:5
[INFO] [stdout]     |
[INFO] [stdout] 153 | pub struct ExpressionOutputPass<'a, Src: EventSource + 'a> {
[INFO] [stdout]     |            -------------------- fields in this struct
[INFO] [stdout] 154 |     source: EventSourceWithOps<'a, ParameterEvent<'a>, Src>,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] 155 |     global_notations: Vec<NotationExpression<'a>>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 9 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling mimalloc v0.1.39
[INFO] [stderr]    Compiling regex v1.10.4
[INFO] [stderr]    Compiling env_filter v0.1.0
[INFO] [stderr]    Compiling env_logger v0.11.3
[INFO] [stderr]    Compiling serde_derive v1.0.197
[INFO] [stderr]    Compiling futures-macro v0.3.30
[INFO] [stderr]    Compiling tokio-macros v2.2.0
[INFO] [stderr]    Compiling pin-project-internal v1.1.5
[INFO] [stderr]    Compiling tracing-attributes v0.1.27
[INFO] [stderr]    Compiling slate-kernel-generic-derive v0.1.0 (/opt/rustwide/workdir/kernel/generic/derive)
[INFO] [stderr]    Compiling serde_repr v0.1.18
[INFO] [stderr]    Compiling thiserror-impl v1.0.58
[INFO] [stderr]    Compiling tower-lsp-macros v0.9.0
[INFO] [stderr]    Compiling auto_impl v1.2.0
[INFO] [stderr]    Compiling tokio v1.37.0
[INFO] [stderr]    Compiling slate-kernel-metalogic v0.1.0 (/opt/rustwide/workdir/kernel/metalogic)
[INFO] [stderr]    Compiling slate-kernel-generic-examples v0.1.0 (/opt/rustwide/workdir/kernel/generic/examples)
[INFO] [stderr]    Compiling futures-util v0.3.30
[INFO] [stderr]    Compiling slate-kernel-notation-text v0.1.0 (/opt/rustwide/workdir/kernel/notation/text)
[INFO] [stderr]    Compiling pin-project v1.1.5
[INFO] [stderr]    Compiling tracing v0.1.40
[INFO] [stderr]    Compiling slate-kernel-metalogic-mltt v0.1.0 (/opt/rustwide/workdir/kernel/metalogic/mltt)
[INFO] [stderr]    Compiling tower v0.4.13
[INFO] [stderr]    Compiling futures v0.3.30
[INFO] [stderr]    Compiling tokio-util v0.7.10
[INFO] [stderr]    Compiling url v2.5.0
[INFO] [stderr]    Compiling lsp-types v0.94.1
[INFO] [stderr]    Compiling tower-lsp v0.20.0
[INFO] [stderr]    Compiling slate-kernel-notation-lsp v0.1.0 (/opt/rustwide/workdir/kernel/notation/lsp)
[INFO] [stdout] warning: unused import: `ErrorCode`
[INFO] [stdout]  --> kernel/notation/lsp/src/main.rs:4:33
[INFO] [stdout]   |
[INFO] [stdout] 4 | use tower_lsp::jsonrpc::{Error, ErrorCode, Result};
[INFO] [stdout]   |                                 ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `event_sequence::*`
[INFO] [stdout]  --> kernel/notation/lsp/src/document.rs:8:37
[INFO] [stdout]   |
[INFO] [stdout] 8 | use slate_kernel_notation_generic::{event_sequence::*, event_source::*};
[INFO] [stdout]   |                                     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `text_range`
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:102:9
[INFO] [stdout]     |
[INFO] [stdout] 102 |         text_range: &TextRange,
[INFO] [stdout]     |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_text_range`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_text`
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:103:9
[INFO] [stdout]     |
[INFO] [stdout] 103 |         new_text: &'a str,
[INFO] [stdout]     |         ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_text`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `params`
[INFO] [stdout]    --> kernel/notation/lsp/src/main.rs:103:32
[INFO] [stdout]     |
[INFO] [stdout] 103 |     async fn did_change(&self, params: DidChangeTextDocumentParams) {
[INFO] [stdout]     |                                ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `params`
[INFO] [stdout]    --> kernel/notation/lsp/src/main.rs:109:30
[INFO] [stdout]     |
[INFO] [stdout] 109 |     async fn did_save(&self, params: DidSaveTextDocumentParams) {}
[INFO] [stdout]     |                              ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `document`
[INFO] [stdout]    --> kernel/notation/lsp/src/main.rs:121:18
[INFO] [stdout]     |
[INFO] [stdout] 121 |         let Some(document) = state.open_documents.get_mut(&params.text_document.uri) else {
[INFO] [stdout]     |                  ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_document`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `params`
[INFO] [stdout]    --> kernel/notation/lsp/src/main.rs:130:9
[INFO] [stdout]     |
[INFO] [stdout] 130 |         params: SemanticTokensDeltaParams,
[INFO] [stdout]     |         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `valid`, `position_encoding`, and `text` are never read
[INFO] [stdout]   --> kernel/notation/lsp/src/document.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub struct Document {
[INFO] [stdout]    |            -------- fields in this struct
[INFO] [stdout] 13 |     valid: bool,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 14 |     position_encoding: PositionEncoding,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 15 |     text: TextBuffer,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Document` 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 `replace`, `edit`, `get_text_range`, and `get_modification_input` are never used
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:37:12
[INFO] [stdout]     |
[INFO] [stdout] 18  | impl Document {
[INFO] [stdout]     | ------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 37  |     pub fn replace(&mut self, range: &Range, new_text: &str) -> Result<()> {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 58  |     pub fn edit(&mut self, text_edit: &TextEdit) -> Result<()> {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 62  |     fn get_text_range(&self, range: &Range) -> Result<TextRange> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 100 |     fn get_modification_input<'a>(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `lsp_to_rust` and `rust_to_lsp` are never used
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:135:8
[INFO] [stdout]     |
[INFO] [stdout] 134 | impl PositionEncoding {
[INFO] [stdout]     | --------------------- methods in this implementation
[INFO] [stdout] 135 |     fn lsp_to_rust(self, s: &str, mut lsp_pos: u32) -> Result<usize> {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 194 |     fn rust_to_lsp(self, s: &str, idx: usize) -> u32 {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `range_events` is never read
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:212:5
[INFO] [stdout]     |
[INFO] [stdout] 211 | struct LineParseMemory {
[INFO] [stdout]     |        --------------- field in this struct
[INFO] [stdout] 212 |     range_events: Vec<RangeClassEvent>,
[INFO] [stdout]     |     ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `LineParseMemory` 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: type alias `TextPosition` is never used
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:217:6
[INFO] [stdout]     |
[INFO] [stdout] 217 | type TextPosition = <TextBufferShape as TextRopeShape>::Position;
[INFO] [stdout]     |      ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `TextRange` is never used
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:218:6
[INFO] [stdout]     |
[INFO] [stdout] 218 | type TextRange = std::ops::Range<TextPosition>;
[INFO] [stdout]     |      ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 14 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 23.83s
[INFO] running `Command { std: "docker" "inspect" "36ddeb23bf9edd10c85b8b41cd8271b57a2adbd0e67949fcdc865066b30418d4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "36ddeb23bf9edd10c85b8b41cd8271b57a2adbd0e67949fcdc865066b30418d4", kill_on_drop: false }`
[INFO] [stdout] 36ddeb23bf9edd10c85b8b41cd8271b57a2adbd0e67949fcdc865066b30418d4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1192447d8bffe9fe35e66eab2e4faf2a65743b80aab2fda768411ba33d89253b
[INFO] running `Command { std: "docker" "start" "-a" "1192447d8bffe9fe35e66eab2e4faf2a65743b80aab2fda768411ba33d89253b", kill_on_drop: false }`
[INFO] [stderr]    Compiling slate-kernel-generic-derive v0.1.0 (/opt/rustwide/workdir/kernel/generic/derive)
[INFO] [stdout] warning: unused variable: `recorded_notations`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:130:9
[INFO] [stdout]     |
[INFO] [stdout] 130 |         recorded_notations: &mut Vec<NotationExpression<'a>>,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_recorded_notations`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |         state: &mut Self::State,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `event`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |         event: Self::In,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_event`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `range`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:172:9
[INFO] [stdout]     |
[INFO] [stdout] 172 |         range: Range<&Self::Marker>,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_range`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `out`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:173:9
[INFO] [stdout]     |
[INFO] [stdout] 173 |         out: impl FnMut(Self::Out, Range<&Self::Marker>),
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_out`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:179:9
[INFO] [stdout]     |
[INFO] [stdout] 179 |         state: Self::State,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `end_marker`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:180:9
[INFO] [stdout]     |
[INFO] [stdout] 180 |         end_marker: &Self::Marker,
[INFO] [stdout]     |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_end_marker`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `out`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:181:9
[INFO] [stdout]     |
[INFO] [stdout] 181 |         out: impl FnMut(Self::Out, Range<&Self::Marker>),
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_out`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `source` and `global_notations` are never read
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:154:5
[INFO] [stdout]     |
[INFO] [stdout] 153 | pub struct ExpressionOutputPass<'a, Src: EventSource + 'a> {
[INFO] [stdout]     |            -------------------- fields in this struct
[INFO] [stdout] 154 |     source: EventSourceWithOps<'a, ParameterEvent<'a>, Src>,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] 155 |     global_notations: Vec<NotationExpression<'a>>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 9 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling slate-kernel-notation-text v0.1.0 (/opt/rustwide/workdir/kernel/notation/text)
[INFO] [stderr]    Compiling slate-kernel-notation-slate v0.1.0 (/opt/rustwide/workdir/kernel/notation/slate)
[INFO] [stderr]    Compiling slate-kernel-generic v0.1.0 (/opt/rustwide/workdir/kernel/generic)
[INFO] [stderr]    Compiling slate-kernel-util v0.1.0 (/opt/rustwide/workdir/kernel/util)
[INFO] [stderr]    Compiling slate-kernel-notation-generic v0.1.0 (/opt/rustwide/workdir/kernel/notation/generic)
[INFO] [stderr]    Compiling slate-kernel-notation-lsp v0.1.0 (/opt/rustwide/workdir/kernel/notation/lsp)
[INFO] [stdout] warning: unexpected `cfg` condition value: `test_lifetime`
[INFO] [stdout]    --> kernel/util/src/ref_stack.rs:248:11
[INFO] [stdout]     |
[INFO] [stdout] 248 |     #[cfg(feature = "test_lifetime")] // Uncomment to see compiler error.
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove the condition
[INFO] [stdout]     |
[INFO] [stdout]     = note: no expected values for `feature`
[INFO] [stdout]     = help: consider adding `test_lifetime` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/cargo/reference/build-scripts.html#rustc-check-cfg> for more information about checking conditional configuration
[INFO] [stdout]     = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ErrorCode`
[INFO] [stdout]  --> kernel/notation/lsp/src/main.rs:4:33
[INFO] [stdout]   |
[INFO] [stdout] 4 | use tower_lsp::jsonrpc::{Error, ErrorCode, Result};
[INFO] [stdout]   |                                 ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `event_sequence::*`
[INFO] [stdout]  --> kernel/notation/lsp/src/document.rs:8:37
[INFO] [stdout]   |
[INFO] [stdout] 8 | use slate_kernel_notation_generic::{event_sequence::*, event_source::*};
[INFO] [stdout]   |                                     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `text_range`
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:102:9
[INFO] [stdout]     |
[INFO] [stdout] 102 |         text_range: &TextRange,
[INFO] [stdout]     |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_text_range`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_text`
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:103:9
[INFO] [stdout]     |
[INFO] [stdout] 103 |         new_text: &'a str,
[INFO] [stdout]     |         ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_text`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `params`
[INFO] [stdout]    --> kernel/notation/lsp/src/main.rs:103:32
[INFO] [stdout]     |
[INFO] [stdout] 103 |     async fn did_change(&self, params: DidChangeTextDocumentParams) {
[INFO] [stdout]     |                                ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `params`
[INFO] [stdout]    --> kernel/notation/lsp/src/main.rs:109:30
[INFO] [stdout]     |
[INFO] [stdout] 109 |     async fn did_save(&self, params: DidSaveTextDocumentParams) {}
[INFO] [stdout]     |                              ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `document`
[INFO] [stdout]    --> kernel/notation/lsp/src/main.rs:121:18
[INFO] [stdout]     |
[INFO] [stdout] 121 |         let Some(document) = state.open_documents.get_mut(&params.text_document.uri) else {
[INFO] [stdout]     |                  ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_document`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `params`
[INFO] [stdout]    --> kernel/notation/lsp/src/main.rs:130:9
[INFO] [stdout]     |
[INFO] [stdout] 130 |         params: SemanticTokensDeltaParams,
[INFO] [stdout]     |         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `valid`, `position_encoding`, and `text` are never read
[INFO] [stdout]   --> kernel/notation/lsp/src/document.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub struct Document {
[INFO] [stdout]    |            -------- fields in this struct
[INFO] [stdout] 13 |     valid: bool,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 14 |     position_encoding: PositionEncoding,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 15 |     text: TextBuffer,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Document` 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 `replace`, `edit`, `get_text_range`, and `get_modification_input` are never used
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:37:12
[INFO] [stdout]     |
[INFO] [stdout] 18  | impl Document {
[INFO] [stdout]     | ------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 37  |     pub fn replace(&mut self, range: &Range, new_text: &str) -> Result<()> {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 58  |     pub fn edit(&mut self, text_edit: &TextEdit) -> Result<()> {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 62  |     fn get_text_range(&self, range: &Range) -> Result<TextRange> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 100 |     fn get_modification_input<'a>(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `range_events` is never read
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:212:5
[INFO] [stdout]     |
[INFO] [stdout] 211 | struct LineParseMemory {
[INFO] [stdout]     |        --------------- field in this struct
[INFO] [stdout] 212 |     range_events: Vec<RangeClassEvent>,
[INFO] [stdout]     |     ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `LineParseMemory` 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: type alias `TextPosition` is never used
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:217:6
[INFO] [stdout]     |
[INFO] [stdout] 217 | type TextPosition = <TextBufferShape as TextRopeShape>::Position;
[INFO] [stdout]     |      ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `TextRange` is never used
[INFO] [stdout]    --> kernel/notation/lsp/src/document.rs:218:6
[INFO] [stdout]     |
[INFO] [stdout] 218 | type TextRange = std::ops::Range<TextPosition>;
[INFO] [stdout]     |      ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling slate-kernel-metalogic v0.1.0 (/opt/rustwide/workdir/kernel/metalogic)
[INFO] [stderr]    Compiling slate-kernel-generic-examples v0.1.0 (/opt/rustwide/workdir/kernel/generic/examples)
[INFO] [stdout] warning: 13 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `recorded_notations`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:130:9
[INFO] [stdout]     |
[INFO] [stdout] 130 |         recorded_notations: &mut Vec<NotationExpression<'a>>,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_recorded_notations`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |         state: &mut Self::State,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `event`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |         event: Self::In,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_event`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `range`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:172:9
[INFO] [stdout]     |
[INFO] [stdout] 172 |         range: Range<&Self::Marker>,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_range`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `out`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:173:9
[INFO] [stdout]     |
[INFO] [stdout] 173 |         out: impl FnMut(Self::Out, Range<&Self::Marker>),
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_out`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:179:9
[INFO] [stdout]     |
[INFO] [stdout] 179 |         state: Self::State,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `end_marker`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:180:9
[INFO] [stdout]     |
[INFO] [stdout] 180 |         end_marker: &Self::Marker,
[INFO] [stdout]     |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_end_marker`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `out`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:181:9
[INFO] [stdout]     |
[INFO] [stdout] 181 |         out: impl FnMut(Self::Out, Range<&Self::Marker>),
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_out`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:237:30
[INFO] [stdout]     |
[INFO] [stdout] 237 |         fn fill_events(self, result: &mut Vec<ExpressionEvent<'a>>) {}
[INFO] [stdout]     |                              ^^^^^^ help: if this is intentional, prefix it with an underscore: `_result`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `range_events`
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:251:27
[INFO] [stdout]     |
[INFO] [stdout] 251 |         let (diagnostics, range_events) = source.results();
[INFO] [stdout]     |                           ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_range_events`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `source` and `global_notations` are never read
[INFO] [stdout]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:154:5
[INFO] [stdout]     |
[INFO] [stdout] 153 | pub struct ExpressionOutputPass<'a, Src: EventSource + 'a> {
[INFO] [stdout]     |            -------------------- fields in this struct
[INFO] [stdout] 154 |     source: EventSourceWithOps<'a, ParameterEvent<'a>, Src>,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] 155 |     global_notations: Vec<NotationExpression<'a>>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling slate-kernel-metalogic-mltt v0.1.0 (/opt/rustwide/workdir/kernel/metalogic/mltt)
[INFO] [stdout] warning: 11 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 3.04s
[INFO] running `Command { std: "docker" "inspect" "1192447d8bffe9fe35e66eab2e4faf2a65743b80aab2fda768411ba33d89253b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1192447d8bffe9fe35e66eab2e4faf2a65743b80aab2fda768411ba33d89253b", kill_on_drop: false }`
[INFO] [stdout] 1192447d8bffe9fe35e66eab2e4faf2a65743b80aab2fda768411ba33d89253b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] fd2c7549c31b9d1d8eda76b96b217bbea0b680118ff7532aa82c74b85da190e5
[INFO] running `Command { std: "docker" "start" "-a" "fd2c7549c31b9d1d8eda76b96b217bbea0b680118ff7532aa82c74b85da190e5", kill_on_drop: false }`
[INFO] [stderr] warning: unused variable: `recorded_notations`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:130:9
[INFO] [stderr]     |
[INFO] [stderr] 130 |         recorded_notations: &mut Vec<NotationExpression<'a>>,
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_recorded_notations`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `state`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:170:9
[INFO] [stderr]     |
[INFO] [stderr] 170 |         state: &mut Self::State,
[INFO] [stderr]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `event`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:171:9
[INFO] [stderr]     |
[INFO] [stderr] 171 |         event: Self::In,
[INFO] [stderr]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_event`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `range`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:172:9
[INFO] [stderr]     |
[INFO] [stderr] 172 |         range: Range<&Self::Marker>,
[INFO] [stderr]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_range`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `out`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:173:9
[INFO] [stderr]     |
[INFO] [stderr] 173 |         out: impl FnMut(Self::Out, Range<&Self::Marker>),
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_out`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `state`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:179:9
[INFO] [stderr]     |
[INFO] [stderr] 179 |         state: Self::State,
[INFO] [stderr]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `end_marker`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:180:9
[INFO] [stderr]     |
[INFO] [stderr] 180 |         end_marker: &Self::Marker,
[INFO] [stderr]     |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_end_marker`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `out`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:181:9
[INFO] [stderr]     |
[INFO] [stderr] 181 |         out: impl FnMut(Self::Out, Range<&Self::Marker>),
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_out`
[INFO] [stderr] 
[INFO] [stderr] warning: fields `source` and `global_notations` are never read
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:154:5
[INFO] [stderr]     |
[INFO] [stderr] 153 | pub struct ExpressionOutputPass<'a, Src: EventSource + 'a> {
[INFO] [stderr]     |            -------------------- fields in this struct
[INFO] [stderr] 154 |     source: EventSourceWithOps<'a, ParameterEvent<'a>, Src>,
[INFO] [stderr]     |     ^^^^^^
[INFO] [stderr] 155 |     global_notations: Vec<NotationExpression<'a>>,
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `slate-kernel-notation-slate` (lib) generated 9 warnings
[INFO] [stderr] warning: unused import: `ErrorCode`
[INFO] [stderr]  --> kernel/notation/lsp/src/main.rs:4:33
[INFO] [stderr]   |
[INFO] [stderr] 4 | use tower_lsp::jsonrpc::{Error, ErrorCode, Result};
[INFO] [stderr]   |                                 ^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `event_sequence::*`
[INFO] [stderr]  --> kernel/notation/lsp/src/document.rs:8:37
[INFO] [stderr]   |
[INFO] [stderr] 8 | use slate_kernel_notation_generic::{event_sequence::*, event_source::*};
[INFO] [stderr]   |                                     ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `text_range`
[INFO] [stderr]    --> kernel/notation/lsp/src/document.rs:102:9
[INFO] [stderr]     |
[INFO] [stderr] 102 |         text_range: &TextRange,
[INFO] [stderr]     |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_text_range`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `new_text`
[INFO] [stderr]    --> kernel/notation/lsp/src/document.rs:103:9
[INFO] [stderr]     |
[INFO] [stderr] 103 |         new_text: &'a str,
[INFO] [stderr]     |         ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_text`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `params`
[INFO] [stderr]    --> kernel/notation/lsp/src/main.rs:103:32
[INFO] [stderr]     |
[INFO] [stderr] 103 |     async fn did_change(&self, params: DidChangeTextDocumentParams) {
[INFO] [stderr]     |                                ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `params`
[INFO] [stderr]    --> kernel/notation/lsp/src/main.rs:109:30
[INFO] [stderr]     |
[INFO] [stderr] 109 |     async fn did_save(&self, params: DidSaveTextDocumentParams) {}
[INFO] [stderr]     |                              ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `document`
[INFO] [stderr]    --> kernel/notation/lsp/src/main.rs:121:18
[INFO] [stderr]     |
[INFO] [stderr] 121 |         let Some(document) = state.open_documents.get_mut(&params.text_document.uri) else {
[INFO] [stderr]     |                  ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_document`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `params`
[INFO] [stderr]    --> kernel/notation/lsp/src/main.rs:130:9
[INFO] [stderr]     |
[INFO] [stderr] 130 |         params: SemanticTokensDeltaParams,
[INFO] [stderr]     |         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stderr] 
[INFO] [stderr] warning: fields `valid`, `position_encoding`, and `text` are never read
[INFO] [stderr]   --> kernel/notation/lsp/src/document.rs:13:5
[INFO] [stderr]    |
[INFO] [stderr] 12 | pub struct Document {
[INFO] [stderr]    |            -------- fields in this struct
[INFO] [stderr] 13 |     valid: bool,
[INFO] [stderr]    |     ^^^^^
[INFO] [stderr] 14 |     position_encoding: PositionEncoding,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 15 |     text: TextBuffer,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Document` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: methods `replace`, `edit`, `get_text_range`, and `get_modification_input` are never used
[INFO] [stderr]    --> kernel/notation/lsp/src/document.rs:37:12
[INFO] [stderr]     |
[INFO] [stderr] 18  | impl Document {
[INFO] [stderr]     | ------------- methods in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 37  |     pub fn replace(&mut self, range: &Range, new_text: &str) -> Result<()> {
[INFO] [stderr]     |            ^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 58  |     pub fn edit(&mut self, text_edit: &TextEdit) -> Result<()> {
[INFO] [stderr]     |            ^^^^
[INFO] [stderr] ...
[INFO] [stderr] 62  |     fn get_text_range(&self, range: &Range) -> Result<TextRange> {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 100 |     fn get_modification_input<'a>(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field `range_events` is never read
[INFO] [stderr]    --> kernel/notation/lsp/src/document.rs:212:5
[INFO] [stderr]     |
[INFO] [stderr] 211 | struct LineParseMemory {
[INFO] [stderr]     |        --------------- field in this struct
[INFO] [stderr] 212 |     range_events: Vec<RangeClassEvent>,
[INFO] [stderr]     |     ^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `LineParseMemory` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `TextPosition` is never used
[INFO] [stderr]    --> kernel/notation/lsp/src/document.rs:217:6
[INFO] [stderr]     |
[INFO] [stderr] 217 | type TextPosition = <TextBufferShape as TextRopeShape>::Position;
[INFO] [stderr]     |      ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `TextRange` is never used
[INFO] [stderr]    --> kernel/notation/lsp/src/document.rs:218:6
[INFO] [stderr]     |
[INFO] [stderr] 218 | type TextRange = std::ops::Range<TextPosition>;
[INFO] [stderr]     |      ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `result`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:237:30
[INFO] [stderr]     |
[INFO] [stderr] 237 |         fn fill_events(self, result: &mut Vec<ExpressionEvent<'a>>) {}
[INFO] [stderr]     |                              ^^^^^^ help: if this is intentional, prefix it with an underscore: `_result`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `range_events`
[INFO] [stderr]    --> kernel/notation/slate/src/layer4_expression_identifier.rs:251:27
[INFO] [stderr]     |
[INFO] [stderr] 251 |         let (diagnostics, range_events) = source.results();
[INFO] [stderr]     |                           ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_range_events`
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition value: `test_lifetime`
[INFO] [stderr]    --> kernel/util/src/ref_stack.rs:248:11
[INFO] [stderr]     |
[INFO] [stderr] 248 |     #[cfg(feature = "test_lifetime")] // Uncomment to see compiler error.
[INFO] [stderr]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove the condition
[INFO] [stderr]     |
[INFO] [stderr]     = note: no expected values for `feature`
[INFO] [stderr]     = help: consider adding `test_lifetime` as a feature in `Cargo.toml`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/cargo/reference/build-scripts.html#rustc-check-cfg> for more information about checking conditional configuration
[INFO] [stderr]     = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `slate-kernel-notation-lsp` (bin "slate-kernel-notation-lsp" test) generated 13 warnings (run `cargo fix --bin "slate-kernel-notation-lsp" --tests` to apply 2 suggestions)
[INFO] [stderr] warning: `slate-kernel-notation-slate` (lib test) generated 11 warnings (9 duplicates)
[INFO] [stderr] warning: `slate-kernel-util` (lib test) generated 1 warning
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.08s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/slate_kernel_generic-6bc00f6892cb24db)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/slate_kernel_generic_derive-7bbab038197c2107)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/slate_kernel_generic_examples-2553805446ed9d36)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test multi_lambda::tests::test_id ... ok
[INFO] [stdout] test multi_lambda::tests::test_id_id ... ok
[INFO] [stdout] test multi_lambda::tests::test_id_id_id ... ok
[INFO] [stdout] test multi_lambda::tests::test_id_id_2 ... ok
[INFO] [stdout] test multi_lambda::tests::test_id_id_id_nested ... ok
[INFO] [stdout] test multi_lambda::tests::test_mul_1_2 ... ok
[INFO] [stdout] test multi_lambda::tests::test_mul_1_1 ... ok
[INFO] [stdout] test multi_lambda::tests::test_mul_2_1 ... ok
[INFO] [stdout] test multi_lambda::tests::test_mul_2_2 ... ok
[INFO] [stdout] test multi_lambda::tests::test_mul_2_2_2 ... ok
[INFO] [stdout] test multi_lambda::tests::test_mul_2_3 ... ok
[INFO] [stdout] test multi_lambda::tests::test_mul_2_3_permut ... ok
[INFO] [stdout] test multi_lambda::tests::test_omega ... ok
[INFO] [stdout] test multi_lambda::tests::test_subst_chunk ... ok
[INFO] [stdout] test multi_lambda::tests::test_wrong_arg_len - should panic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/slate_kernel_metalogic-5319e842e782dd39)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/slate_kernel_metalogic_mltt-5b59c741fa605bef)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test metalogic_mltt::tests::test_example_reductions has been running for over 60 seconds
[INFO] [stdout] test metalogic_mltt::tests::test_mltt has been running for over 60 seconds
[INFO] [stdout] test metalogic_mltt::tests::test_example_reductions ... FAILED
[INFO] [stdout] test metalogic_mltt::tests::test_mltt ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- metalogic_mltt::tests::test_example_reductions stdout ----
[INFO] [stdout] thread 'metalogic_mltt::tests::test_example_reductions' panicked at kernel/metalogic/mltt/src/metalogic_mltt.rs:1518:6:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: unable to fill placeholder in type of constant «swap_eq_def»
[INFO] [stdout] («swap_eq_def : swap_eq ={Π A : U. Π B : U. Π C : U. (A → B → C) ={U} (B → A → C)} (λ A : U. λ B : U. λ C : U. swapd_eq {_} {_} (const A {_ → U} (const B {U} C)))»):
[INFO] [stdout] unfilled placeholder of type «U»
[INFO] [stdout] 
[INFO] [stdout] unable to fill placeholder in type of constant «trans_def_Pair»
[INFO] [stdout] («trans_def_Pair : (Π A : U. Π B : U. trans {A × B} ={Π {a : A × B}. Π {b : A × B}. Π {c : A × B}. a ={A × B} b → b ={A × B} c → a ={A × B} c} (λ {p : A × B}. λ {q : A × B}. λ {r : A × B}. λ epq : p ={A × B} q. λ eqr : q ={A × B} r. Pair_intro (Pair_fst {A} {B} p ={A} Pair_fst {A} {B} r) (Pair_snd {A} {B} p ={B} Pair_snd {A} {B} r) (trans {A} {Pair_fst {A} {B} p} {_} {Pair_fst {A} {B} r} (Pair_fst {_ ={_} _} {Pair_snd {A} {B} p ={B} Pair_snd {A} {B} q} epq) (Pair_fst {_ ={_} _} {Pair_snd {A} {B} q ={B} Pair_snd {A} {B} r} eqr)) (trans {B} {Pair_snd {A} {B} p} {_} {Pair_snd {A} {B} r} (Pair_snd {Pair_fst {A} {B} p ={A} Pair_fst {A} {B} q} {_ ={_} _} epq) (Pair_snd {Pair_fst {A} {B} q ={A} Pair_fst {A} {B} r} {_ ={_} _} eqr))))»):
[INFO] [stdout] unfilled placeholder of type «_»
[INFO] [stdout] 
[INFO] [stdout] unable to fill placeholder in type of constant «trans_def_Sigma»
[INFO] [stdout] («trans_def_Sigma : (Π {A : U}. Π P : A → U. trans {Sigma {A} P} ={Π {a : Sigma {A} P}. Π {b : Sigma {A} P}. Π {c : Sigma {A} P}. a ={Sigma {A} P} b → b ={Sigma {A} P} c → a ={Sigma {A} P} c} (λ {p : Sigma {A} P}. λ {q : Sigma {A} P}. λ {r : Sigma {A} P}. λ epq : p ={Sigma {A} P} q. λ eqr : q ={Sigma {A} P} r. Sigma_intro {Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} r} (λ e_fst : Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} r. Sigma_snd {A} {P} p ={P (Sigma_fst {A} {P} p)}[ap {A} {U} P {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} r} e_fst]{P (Sigma_fst {A} {P} r)} Sigma_snd {A} {P} r) (trans {A} {Sigma_fst {A} {P} p} {_} {Sigma_fst {A} {P} r} (Sigma_fst {_ ={_} _} {λ e_fst : Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} q. Sigma_snd {A} {P} p ={P (Sigma_fst {A} {P} p)}[ap {A} {U} P {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} q} e_fst]{P (Sigma_fst {A} {P} q)} Sigma_snd {A} {P} q} epq) (Sigma_fst {_ ={_} _} {λ e_fst : Sigma_fst {A} {P} q ={A} Sigma_fst {A} {P} r. Sigma_snd {A} {P} q ={P (Sigma_fst {A} {P} q)}[ap {A} {U} P {Sigma_fst {A} {P} q} {Sigma_fst {A} {P} r} e_fst]{P (Sigma_fst {A} {P} r)} Sigma_snd {A} {P} r} eqr)) (transd {P (Sigma_fst {A} {P} p)} {P (Sigma_fst {A} {P} q)} {P (Sigma_fst {A} {P} r)} {ap {A} {U} P {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} q} (Sigma_fst {_ ={_} _} {λ e_fst : Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} q. Sigma_snd {A} {P} p ={P (Sigma_fst {A} {P} p)}[ap {A} {U} P {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} q} e_fst]{P (Sigma_fst {A} {P} q)} Sigma_snd {A} {P} q} epq)} {ap {A} {U} P {Sigma_fst {A} {P} q} {Sigma_fst {A} {P} r} (Sigma_fst {_ ={_} _} {λ e_fst : Sigma_fst {A} {P} q ={A} Sigma_fst {A} {P} r. Sigma_snd {A} {P} q ={P (Sigma_fst {A} {P} q)}[ap {A} {U} P {Sigma_fst {A} {P} q} {Sigma_fst {A} {P} r} e_fst]{P (Sigma_fst {A} {P} r)} Sigma_snd {A} {P} r} eqr)} {Sigma_snd {A} {P} p} {Sigma_snd {A} {P} q} {Sigma_snd {A} {P} r} (Sigma_snd {Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} q} {λ e_fst : Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} q. Sigma_snd {A} {P} p ={P (Sigma_fst {A} {P} p)}[ap {A} {U} P {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} q} e_fst]{P (Sigma_fst {A} {P} q)} Sigma_snd {A} {P} q} epq) (Sigma_snd {Sigma_fst {A} {P} q ={A} Sigma_fst {A} {P} r} {λ e_fst : Sigma_fst {A} {P} q ={A} Sigma_fst {A} {P} r. Sigma_snd {A} {P} q ={P (Sigma_fst {A} {P} q)}[ap {A} {U} P {Sigma_fst {A} {P} q} {Sigma_fst {A} {P} r} e_fst]{P (Sigma_fst {A} {P} r)} Sigma_snd {A} {P} r} eqr))))»):
[INFO] [stdout] unfilled placeholder of type «_»
[INFO] [stdout] 
[INFO] [stdout] unable to fill placeholder in type of constant «symm_def_Pair»
[INFO] [stdout] («symm_def_Pair : (Π A : U. Π B : U. symm {A × B} ={Π {a : A × B}. Π {b : A × B}. a ={A × B} b → b ={A × B} a} (λ {p : A × B}. λ {q : A × B}. λ e : p ={A × B} q. Pair_intro (Pair_fst {A} {B} q ={A} Pair_fst {A} {B} p) (Pair_snd {A} {B} q ={B} Pair_snd {A} {B} p) (symm {A} {Pair_fst {A} {B} p} {Pair_fst {A} {B} q} (Pair_fst {_ ={_} _} {Pair_snd {A} {B} p ={B} Pair_snd {A} {B} q} e)) (symm {B} {Pair_snd {A} {B} p} {Pair_snd {A} {B} q} (Pair_snd {Pair_fst {A} {B} p ={A} Pair_fst {A} {B} q} {_ ={_} _} e))))»):
[INFO] [stdout] unfilled placeholder of type «_»
[INFO] [stdout] 
[INFO] [stdout] unable to fill placeholder in type of constant «symm_def_Sigma»
[INFO] [stdout] («symm_def_Sigma : (Π {A : U}. Π P : A → U. symm {Sigma {A} P} ={Π {a : Sigma {A} P}. Π {b : Sigma {A} P}. a ={Sigma {A} P} b → b ={Sigma {A} P} a} (λ {p : Sigma {A} P}. λ {q : Sigma {A} P}. λ e : p ={Sigma {A} P} q. Sigma_intro {Sigma_fst {A} {P} q ={A} Sigma_fst {A} {P} p} (λ e_fst : Sigma_fst {A} {P} q ={A} Sigma_fst {A} {P} p. Sigma_snd {A} {P} q ={P (Sigma_fst {A} {P} q)}[ap {A} {U} P {Sigma_fst {A} {P} q} {Sigma_fst {A} {P} p} e_fst]{P (Sigma_fst {A} {P} p)} Sigma_snd {A} {P} p) (symm {A} {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} q} (Sigma_fst {_ ={_} _} {λ e_fst : Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} q. Sigma_snd {A} {P} p ={P (Sigma_fst {A} {P} p)}[ap {A} {U} P {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} q} e_fst]{P (Sigma_fst {A} {P} q)} Sigma_snd {A} {P} q} e)) (symmd {P (Sigma_fst {A} {P} p)} {P (Sigma_fst {A} {P} q)} {ap {A} {U} P {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} q} (Sigma_fst {_ ={_} _} {λ e_fst : Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} q. Sigma_snd {A} {P} p ={P (Sigma_fst {A} {P} p)}[ap {A} {U} P {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} q} e_fst]{P (Sigma_fst {A} {P} q)} Sigma_snd {A} {P} q} e)} {Sigma_snd {A} {P} p} {Sigma_snd {A} {P} q} (Sigma_snd {Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} q} {λ e_fst : Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} q. Sigma_snd {A} {P} p ={P (Sigma_fst {A} {P} p)}[ap {A} {U} P {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} q} e_fst]{P (Sigma_fst {A} {P} q)} Sigma_snd {A} {P} q} e))))»):
[INFO] [stdout] unfilled placeholder of type «_»
[INFO] [stdout] 
[INFO] [stdout] unable to fill placeholder in type of constant «trans_1_shift_lr_def»
[INFO] [stdout] («trans_1_shift_lr_def : trans_1_shift_lr ={Π {A : U}. Π {a : A}. Π {b : A}. Π {c : A}. Π {e : a ={A} b}. Π {f : b ={A} c}. Π {g : a ={A} c}. trans {A} {a} {b} {c} e f ={a ={A} c} g → f ={b ={A} c} trans {A} {b} {a} {c} (symm {A} {a} {b} e) g} (λ {A : U}. λ {a : A}. λ {b : A}. λ {c : A}. λ {e : a ={A} b}. λ {f : b ={A} c}. λ {g : a ={A} c}. λ h : trans {A} {a} {b} {c} e f ={a ={A} c} g. symm {b ={A} c} {trans {A} {b} {a} {c} (symm {A} {a} {b} e) g} {f} (trans_1_shift_rl {A} {a} {b} {c} {g} {e} {f} (symm {a ={A} c} {trans {A} {a} {_} {c} _ _} {g} h)))»):
[INFO] [stdout] unfilled placeholder of type «_»
[INFO] [stdout] 
[INFO] [stdout] unable to fill placeholder in type of constant «trans_2_shift_lr_def»
[INFO] [stdout] («trans_2_shift_lr_def : trans_2_shift_lr ={Π {A : U}. Π {a : A}. Π {b : A}. Π {c : A}. Π {e : a ={A} b}. Π {f : b ={A} c}. Π {g : a ={A} c}. trans {A} {a} {b} {c} e f ={a ={A} c} g → e ={a ={A} b} trans {A} {a} {c} {b} g (symm {A} {b} {c} f)} (λ {A : U}. λ {a : A}. λ {b : A}. λ {c : A}. λ {e : a ={A} b}. λ {f : b ={A} c}. λ {g : a ={A} c}. λ h : trans {A} {a} {b} {c} e f ={a ={A} c} g. symm {a ={A} b} {trans {A} {a} {c} {b} g (symm {A} {b} {c} f)} {e} (trans_2_shift_rl {A} {a} {b} {c} {g} {e} {f} (symm {a ={A} c} {trans {A} {a} {_} {c} _ _} {g} h)))»):
[INFO] [stdout] unfilled placeholder of type «_»
[INFO] [stdout] 
[INFO] [stdout] unable to fill placeholder in type of constant «Eqd_def_trans_symm_trans_1_eq»
[INFO] [stdout] («Eqd_def_trans_symm_trans_1_eq : _»):
[INFO] [stdout] unfilled placeholder of type «U»
[INFO] [stdout] 
[INFO] [stdout] unable to fill placeholder in type of constant «Eqd_def_trans_trans_2_eq»
[INFO] [stdout] («Eqd_def_trans_trans_2_eq : _»):
[INFO] [stdout] unfilled placeholder of type «U»
[INFO] [stdout] 
[INFO] [stdout] Stack backtrace:
[INFO] [stdout]    0: anyhow::error::<impl anyhow::Error>::msg
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/anyhow-1.0.81/src/backtrace.rs:27:14
[INFO] [stdout]    1: <alloc::vec::Vec<anyhow::Error> as slate_kernel_util::anyhow::CombineErrors>::combine
[INFO] [stdout]              at /opt/rustwide/workdir/kernel/util/src/anyhow.rs:19:9
[INFO] [stdout]    2: slate_kernel_metalogic::metalogic::MetaLogic::manipulate_constants
[INFO] [stdout]              at /opt/rustwide/workdir/kernel/metalogic/src/metalogic.rs:292:17
[INFO] [stdout]    3: slate_kernel_metalogic::metalogic::MetaLogic::manipulate_exprs
[INFO] [stdout]              at /opt/rustwide/workdir/kernel/metalogic/src/metalogic.rs:242:26
[INFO] [stdout]    4: slate_kernel_metalogic::metalogic::MetaLogic::fill_placeholders
[INFO] [stdout]              at /opt/rustwide/workdir/kernel/metalogic/src/metalogic.rs:321:13
[INFO] [stdout]    5: slate_kernel_metalogic::metalogic::MetaLogic::construct
[INFO] [stdout]              at /opt/rustwide/workdir/kernel/metalogic/src/metalogic.rs:151:9
[INFO] [stdout]    6: slate_kernel_metalogic::helpers::<impl slate_kernel_metalogic::metalogic::MetaLogic>::construct_semantically
[INFO] [stdout]              at /opt/rustwide/workdir/kernel/metalogic/src/helpers.rs:24:9
[INFO] [stdout]    7: slate_kernel_metalogic_mltt::metalogic_mltt::get_mltt
[INFO] [stdout]              at ./src/metalogic_mltt.rs:12:5
[INFO] [stdout]    8: slate_kernel_metalogic_mltt::metalogic_mltt::tests::test_example_reductions
[INFO] [stdout]              at ./src/metalogic_mltt.rs:1765:24
[INFO] [stdout]    9: slate_kernel_metalogic_mltt::metalogic_mltt::tests::test_example_reductions::{{closure}}
[INFO] [stdout]              at ./src/metalogic_mltt.rs:1764:37
[INFO] [stdout]   10: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   11: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   12: test::__rust_begin_short_backtrace
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:625:18
[INFO] [stdout]   13: test::run_test_in_process::{{closure}}
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:60
[INFO] [stdout]   14: <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   15: std::panicking::try::do_call
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stdout]   16: std::panicking::try
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stdout]   17: std::panic::catch_unwind
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stdout]   18: test::run_test_in_process
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:27
[INFO] [stdout]   19: test::run_test::{{closure}}
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:569:43
[INFO] [stdout]   20: test::run_test::{{closure}}
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:599:41
[INFO] [stdout]   21: std::sys_common::backtrace::__rust_begin_short_backtrace
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   22: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:542:17
[INFO] [stdout]   23: <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   24: std::panicking::try::do_call
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stdout]   25: std::panicking::try
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stdout]   26: std::panic::catch_unwind
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stdout]   27: std::thread::Builder::spawn_unchecked_::{{closure}}
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:541:30
[INFO] [stdout]   28: core::ops::function::FnOnce::call_once{{vtable.shim}}
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   29: <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   30: <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   31: std::sys::pal::unix::thread::Thread::new::thread_start
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys/pal/unix/thread.rs:108:17
[INFO] [stdout]   32: <unknown>
[INFO] [stdout]   33: __clone
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x559567bddbb5 - std::backtrace_rs::backtrace::libunwind::trace::he49dc9a9e3164223
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
[INFO] [stdout]    1:     0x559567bddbb5 - std::backtrace_rs::backtrace::trace_unsynchronized::h3a3e77c68030aa6b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x559567bddbb5 - std::sys_common::backtrace::_print_fmt::h9479ad2f99afd5d4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stdout]    3:     0x559567bddbb5 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hfb01aa1fa3fb1821
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x559567c051ab - core::fmt::rt::Argument::fmt::h125e56152abbc1c3
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/fmt/rt.rs:165:63
[INFO] [stdout]    5:     0x559567c051ab - core::fmt::write::hb0ab4ff05ccfe741
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/fmt/mod.rs:1169:21
[INFO] [stdout]    6:     0x559567bdb42f - std::io::Write::write_fmt::hea6336dbf2fa00b8
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/io/mod.rs:1835:15
[INFO] [stdout]    7:     0x559567bdd98e - std::sys_common::backtrace::_print::h79ca548f3a2adf4b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    8:     0x559567bdd98e - std::sys_common::backtrace::print::h9aebf997b2fea2d3
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    9:     0x559567bdf169 - std::panicking::default_hook::{{closure}}::h68a0954af2694526
[INFO] [stdout]   10:     0x559567bdeebc - std::panicking::default_hook::h5be50cc6849ffb00
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:295:9
[INFO] [stdout]   11:     0x559567a9a84f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hd874405dcbd1d3ed
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   12:     0x559567a9a84f - test::test_main::{{closure}}::h4f26a9df34a84b94
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:137:21
[INFO] [stdout]   13:     0x559567bdf76b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h00e96d9c62aa9a12
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   14:     0x559567bdf76b - std::panicking::rust_panic_with_hook::h3c0df6036729334c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:799:13
[INFO] [stdout]   15:     0x559567bdf4e4 - std::panicking::begin_panic_handler::{{closure}}::ha3a21e93c4cfd807
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:664:13
[INFO] [stdout]   16:     0x559567bde079 - std::sys_common::backtrace::__rust_end_short_backtrace::h19508a8f8ae71dc9
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stdout]   17:     0x559567bdf217 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:652:5
[INFO] [stdout]   18:     0x5595677a31f3 - core::panicking::panic_fmt::h2ba8af99174d83ea
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panicking.rs:72:14
[INFO] [stdout]   19:     0x5595677a3786 - core::result::unwrap_failed::h52f3bbb78b59f71d
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/result.rs:1654:5
[INFO] [stdout]   20:     0x5595677a8f56 - core::result::Result<T,E>::unwrap::hc014bed94ca7751b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/result.rs:1077:23
[INFO] [stdout]   21:     0x5595677a8f56 - slate_kernel_metalogic_mltt::metalogic_mltt::get_mltt::h5d1e924d4a38e53b
[INFO] [stdout]                                at /opt/rustwide/workdir/kernel/metalogic/mltt/src/metalogic_mltt.rs:12:5
[INFO] [stdout]   22:     0x5595677addfc - slate_kernel_metalogic_mltt::metalogic_mltt::tests::test_example_reductions::hc50a93de4f32bd19
[INFO] [stdout]                                at /opt/rustwide/workdir/kernel/metalogic/mltt/src/metalogic_mltt.rs:1765:24
[INFO] [stdout]   23:     0x5595677addc7 - slate_kernel_metalogic_mltt::metalogic_mltt::tests::test_example_reductions::{{closure}}::he5a00b5bee84a6f6
[INFO] [stdout]                                at /opt/rustwide/workdir/kernel/metalogic/mltt/src/metalogic_mltt.rs:1764:37
[INFO] [stdout]   24:     0x5595677a5a06 - core::ops::function::FnOnce::call_once::h87bbff9dc01d3e10
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x559567a9f16b - core::ops::function::FnOnce::call_once::h18c6bf92212b87a4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x559567a9f16b - test::__rust_begin_short_backtrace::hdcf0edcfa9080086
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:625:18
[INFO] [stdout]   27:     0x559567a9e831 - test::run_test_in_process::{{closure}}::heac2c4eb375d2d10
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:60
[INFO] [stdout]   28:     0x559567a9e831 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h0289bafc8a1cc004
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   29:     0x559567a9e831 - std::panicking::try::do_call::h5e158f1ad8a5f983
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stdout]   30:     0x559567a9e831 - std::panicking::try::hea3411d60321c4de
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stdout]   31:     0x559567a9e831 - std::panic::catch_unwind::hafb7bb18bc47bbc7
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stdout]   32:     0x559567a9e831 - test::run_test_in_process::h74dd138dc7762d99
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:27
[INFO] [stdout]   33:     0x559567a9e831 - test::run_test::{{closure}}::h6b390822e63606cf
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:569:43
[INFO] [stdout]   34:     0x559567a67204 - test::run_test::{{closure}}::h6e11dba8131d354b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:599:41
[INFO] [stdout]   35:     0x559567a67204 - std::sys_common::backtrace::__rust_begin_short_backtrace::ha71b3541b59bdbbb
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   36:     0x559567a6bcd2 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hef92127c5ef9e53c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:542:17
[INFO] [stdout]   37:     0x559567a6bcd2 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h859c109f9d11c92b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   38:     0x559567a6bcd2 - std::panicking::try::do_call::hbf534c458cd858f0
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stdout]   39:     0x559567a6bcd2 - std::panicking::try::h65c18365a7b9ad90
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stdout]   40:     0x559567a6bcd2 - std::panic::catch_unwind::h21b25d4c69478c39
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stdout]   41:     0x559567a6bcd2 - std::thread::Builder::spawn_unchecked_::{{closure}}::h23335f620275a9bf
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:541:30
[INFO] [stdout]   42:     0x559567a6bcd2 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hb491dc55513e9b7c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x559567be3b2b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h41b39260afcffdc9
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   44:     0x559567be3b2b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h6694c8dc6dd010c4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   45:     0x559567be3b2b - std::sys::pal::unix::thread::Thread::new::thread_start::hf16038e1c8e19c99
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys/pal/unix/thread.rs:108:17
[INFO] [stdout]   46:     0x7f8af81b3ac3 - <unknown>
[INFO] [stdout]   47:     0x7f8af8244a04 - __clone
[INFO] [stdout]   48:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- metalogic_mltt::tests::test_mltt stdout ----
[INFO] [stdout] thread 'metalogic_mltt::tests::test_mltt' panicked at kernel/metalogic/mltt/src/metalogic_mltt.rs:1518:6:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: unable to fill placeholder in type of constant «swap_eq_def»
[INFO] [stdout] («swap_eq_def : swap_eq ={Π A : U. Π B : U. Π C : U. (A → B → C) ={U} (B → A → C)} (λ A : U. λ B : U. λ C : U. swapd_eq {_} {_} (const A {_ → U} (const B {U} C)))»):
[INFO] [stdout] unfilled placeholder of type «U»
[INFO] [stdout] 
[INFO] [stdout] unable to fill placeholder in type of constant «trans_def_Pair»
[INFO] [stdout] («trans_def_Pair : (Π A : U. Π B : U. trans {A × B} ={Π {a : A × B}. Π {b : A × B}. Π {c : A × B}. a ={A × B} b → b ={A × B} c → a ={A × B} c} (λ {p : A × B}. λ {q : A × B}. λ {r : A × B}. λ epq : p ={A × B} q. λ eqr : q ={A × B} r. Pair_intro (Pair_fst {A} {B} p ={A} Pair_fst {A} {B} r) (Pair_snd {A} {B} p ={B} Pair_snd {A} {B} r) (trans {A} {Pair_fst {A} {B} p} {_} {Pair_fst {A} {B} r} (Pair_fst {_ ={_} _} {Pair_snd {A} {B} p ={B} Pair_snd {A} {B} q} epq) (Pair_fst {_ ={_} _} {Pair_snd {A} {B} q ={B} Pair_snd {A} {B} r} eqr)) (trans {B} {Pair_snd {A} {B} p} {_} {Pair_snd {A} {B} r} (Pair_snd {Pair_fst {A} {B} p ={A} Pair_fst {A} {B} q} {_ ={_} _} epq) (Pair_snd {Pair_fst {A} {B} q ={A} Pair_fst {A} {B} r} {_ ={_} _} eqr))))»):
[INFO] [stdout] unfilled placeholder of type «_»
[INFO] [stdout] 
[INFO] [stdout] unable to fill placeholder in type of constant «trans_def_Sigma»
[INFO] [stdout] («trans_def_Sigma : (Π {A : U}. Π P : A → U. trans {Sigma {A} P} ={Π {a : Sigma {A} P}. Π {b : Sigma {A} P}. Π {c : Sigma {A} P}. a ={Sigma {A} P} b → b ={Sigma {A} P} c → a ={Sigma {A} P} c} (λ {p : Sigma {A} P}. λ {q : Sigma {A} P}. λ {r : Sigma {A} P}. λ epq : p ={Sigma {A} P} q. λ eqr : q ={Sigma {A} P} r. Sigma_intro {Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} r} (λ e_fst : Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} r. Sigma_snd {A} {P} p ={P (Sigma_fst {A} {P} p)}[ap {A} {U} P {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} r} e_fst]{P (Sigma_fst {A} {P} r)} Sigma_snd {A} {P} r) (trans {A} {Sigma_fst {A} {P} p} {_} {Sigma_fst {A} {P} r} (Sigma_fst {_ ={_} _} {λ e_fst : Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} q. Sigma_snd {A} {P} p ={P (Sigma_fst {A} {P} p)}[ap {A} {U} P {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} q} e_fst]{P (Sigma_fst {A} {P} q)} Sigma_snd {A} {P} q} epq) (Sigma_fst {_ ={_} _} {λ e_fst : Sigma_fst {A} {P} q ={A} Sigma_fst {A} {P} r. Sigma_snd {A} {P} q ={P (Sigma_fst {A} {P} q)}[ap {A} {U} P {Sigma_fst {A} {P} q} {Sigma_fst {A} {P} r} e_fst]{P (Sigma_fst {A} {P} r)} Sigma_snd {A} {P} r} eqr)) (transd {P (Sigma_fst {A} {P} p)} {P (Sigma_fst {A} {P} q)} {P (Sigma_fst {A} {P} r)} {ap {A} {U} P {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} q} (Sigma_fst {_ ={_} _} {λ e_fst : Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} q. Sigma_snd {A} {P} p ={P (Sigma_fst {A} {P} p)}[ap {A} {U} P {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} q} e_fst]{P (Sigma_fst {A} {P} q)} Sigma_snd {A} {P} q} epq)} {ap {A} {U} P {Sigma_fst {A} {P} q} {Sigma_fst {A} {P} r} (Sigma_fst {_ ={_} _} {λ e_fst : Sigma_fst {A} {P} q ={A} Sigma_fst {A} {P} r. Sigma_snd {A} {P} q ={P (Sigma_fst {A} {P} q)}[ap {A} {U} P {Sigma_fst {A} {P} q} {Sigma_fst {A} {P} r} e_fst]{P (Sigma_fst {A} {P} r)} Sigma_snd {A} {P} r} eqr)} {Sigma_snd {A} {P} p} {Sigma_snd {A} {P} q} {Sigma_snd {A} {P} r} (Sigma_snd {Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} q} {λ e_fst : Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} q. Sigma_snd {A} {P} p ={P (Sigma_fst {A} {P} p)}[ap {A} {U} P {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} q} e_fst]{P (Sigma_fst {A} {P} q)} Sigma_snd {A} {P} q} epq) (Sigma_snd {Sigma_fst {A} {P} q ={A} Sigma_fst {A} {P} r} {λ e_fst : Sigma_fst {A} {P} q ={A} Sigma_fst {A} {P} r. Sigma_snd {A} {P} q ={P (Sigma_fst {A} {P} q)}[ap {A} {U} P {Sigma_fst {A} {P} q} {Sigma_fst {A} {P} r} e_fst]{P (Sigma_fst {A} {P} r)} Sigma_snd {A} {P} r} eqr))))»):
[INFO] [stdout] unfilled placeholder of type «_»
[INFO] [stdout] 
[INFO] [stdout] unable to fill placeholder in type of constant «symm_def_Pair»
[INFO] [stdout] («symm_def_Pair : (Π A : U. Π B : U. symm {A × B} ={Π {a : A × B}. Π {b : A × B}. a ={A × B} b → b ={A × B} a} (λ {p : A × B}. λ {q : A × B}. λ e : p ={A × B} q. Pair_intro (Pair_fst {A} {B} q ={A} Pair_fst {A} {B} p) (Pair_snd {A} {B} q ={B} Pair_snd {A} {B} p) (symm {A} {Pair_fst {A} {B} p} {Pair_fst {A} {B} q} (Pair_fst {_ ={_} _} {Pair_snd {A} {B} p ={B} Pair_snd {A} {B} q} e)) (symm {B} {Pair_snd {A} {B} p} {Pair_snd {A} {B} q} (Pair_snd {Pair_fst {A} {B} p ={A} Pair_fst {A} {B} q} {_ ={_} _} e))))»):
[INFO] [stdout] unfilled placeholder of type «_»
[INFO] [stdout] 
[INFO] [stdout] unable to fill placeholder in type of constant «symm_def_Sigma»
[INFO] [stdout] («symm_def_Sigma : (Π {A : U}. Π P : A → U. symm {Sigma {A} P} ={Π {a : Sigma {A} P}. Π {b : Sigma {A} P}. a ={Sigma {A} P} b → b ={Sigma {A} P} a} (λ {p : Sigma {A} P}. λ {q : Sigma {A} P}. λ e : p ={Sigma {A} P} q. Sigma_intro {Sigma_fst {A} {P} q ={A} Sigma_fst {A} {P} p} (λ e_fst : Sigma_fst {A} {P} q ={A} Sigma_fst {A} {P} p. Sigma_snd {A} {P} q ={P (Sigma_fst {A} {P} q)}[ap {A} {U} P {Sigma_fst {A} {P} q} {Sigma_fst {A} {P} p} e_fst]{P (Sigma_fst {A} {P} p)} Sigma_snd {A} {P} p) (symm {A} {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} q} (Sigma_fst {_ ={_} _} {λ e_fst : Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} q. Sigma_snd {A} {P} p ={P (Sigma_fst {A} {P} p)}[ap {A} {U} P {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} q} e_fst]{P (Sigma_fst {A} {P} q)} Sigma_snd {A} {P} q} e)) (symmd {P (Sigma_fst {A} {P} p)} {P (Sigma_fst {A} {P} q)} {ap {A} {U} P {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} q} (Sigma_fst {_ ={_} _} {λ e_fst : Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} q. Sigma_snd {A} {P} p ={P (Sigma_fst {A} {P} p)}[ap {A} {U} P {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} q} e_fst]{P (Sigma_fst {A} {P} q)} Sigma_snd {A} {P} q} e)} {Sigma_snd {A} {P} p} {Sigma_snd {A} {P} q} (Sigma_snd {Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} q} {λ e_fst : Sigma_fst {A} {P} p ={A} Sigma_fst {A} {P} q. Sigma_snd {A} {P} p ={P (Sigma_fst {A} {P} p)}[ap {A} {U} P {Sigma_fst {A} {P} p} {Sigma_fst {A} {P} q} e_fst]{P (Sigma_fst {A} {P} q)} Sigma_snd {A} {P} q} e))))»):
[INFO] [stdout] unfilled placeholder of type «_»
[INFO] [stdout] 
[INFO] [stdout] unable to fill placeholder in type of constant «trans_1_shift_lr_def»
[INFO] [stdout] («trans_1_shift_lr_def : trans_1_shift_lr ={Π {A : U}. Π {a : A}. Π {b : A}. Π {c : A}. Π {e : a ={A} b}. Π {f : b ={A} c}. Π {g : a ={A} c}. trans {A} {a} {b} {c} e f ={a ={A} c} g → f ={b ={A} c} trans {A} {b} {a} {c} (symm {A} {a} {b} e) g} (λ {A : U}. λ {a : A}. λ {b : A}. λ {c : A}. λ {e : a ={A} b}. λ {f : b ={A} c}. λ {g : a ={A} c}. λ h : trans {A} {a} {b} {c} e f ={a ={A} c} g. symm {b ={A} c} {trans {A} {b} {a} {c} (symm {A} {a} {b} e) g} {f} (trans_1_shift_rl {A} {a} {b} {c} {g} {e} {f} (symm {a ={A} c} {trans {A} {a} {_} {c} _ _} {g} h)))»):
[INFO] [stdout] unfilled placeholder of type «_»
[INFO] [stdout] 
[INFO] [stdout] unable to fill placeholder in type of constant «trans_2_shift_lr_def»
[INFO] [stdout] («trans_2_shift_lr_def : trans_2_shift_lr ={Π {A : U}. Π {a : A}. Π {b : A}. Π {c : A}. Π {e : a ={A} b}. Π {f : b ={A} c}. Π {g : a ={A} c}. trans {A} {a} {b} {c} e f ={a ={A} c} g → e ={a ={A} b} trans {A} {a} {c} {b} g (symm {A} {b} {c} f)} (λ {A : U}. λ {a : A}. λ {b : A}. λ {c : A}. λ {e : a ={A} b}. λ {f : b ={A} c}. λ {g : a ={A} c}. λ h : trans {A} {a} {b} {c} e f ={a ={A} c} g. symm {a ={A} b} {trans {A} {a} {c} {b} g (symm {A} {b} {c} f)} {e} (trans_2_shift_rl {A} {a} {b} {c} {g} {e} {f} (symm {a ={A} c} {trans {A} {a} {_} {c} _ _} {g} h)))»):
[INFO] [stdout] unfilled placeholder of type «_»
[INFO] [stdout] 
[INFO] [stdout] unable to fill placeholder in type of constant «Eqd_def_trans_symm_trans_1_eq»
[INFO] [stdout] («Eqd_def_trans_symm_trans_1_eq : _»):
[INFO] [stdout] unfilled placeholder of type «U»
[INFO] [stdout] 
[INFO] [stdout] unable to fill placeholder in type of constant «Eqd_def_trans_trans_2_eq»
[INFO] [stdout] («Eqd_def_trans_trans_2_eq : _»):
[INFO] [stdout] unfilled placeholder of type «U»
[INFO] [stdout] 
[INFO] [stdout] Stack backtrace:
[INFO] [stdout]    0: anyhow::error::<impl anyhow::Error>::msg
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/anyhow-1.0.81/src/backtrace.rs:27:14
[INFO] [stdout]    1: <alloc::vec::Vec<anyhow::Error> as slate_kernel_util::anyhow::CombineErrors>::combine
[INFO] [stdout]              at /opt/rustwide/workdir/kernel/util/src/anyhow.rs:19:9
[INFO] [stdout]    2: slate_kernel_metalogic::metalogic::MetaLogic::manipulate_constants
[INFO] [stdout]              at /opt/rustwide/workdir/kernel/metalogic/src/metalogic.rs:292:17
[INFO] [stdout]    3: slate_kernel_metalogic::metalogic::MetaLogic::manipulate_exprs
[INFO] [stdout]              at /opt/rustwide/workdir/kernel/metalogic/src/metalogic.rs:242:26
[INFO] [stdout]    4: slate_kernel_metalogic::metalogic::MetaLogic::fill_placeholders
[INFO] [stdout]              at /opt/rustwide/workdir/kernel/metalogic/src/metalogic.rs:321:13
[INFO] [stdout]    5: slate_kernel_metalogic::metalogic::MetaLogic::construct
[INFO] [stdout]              at /opt/rustwide/workdir/kernel/metalogic/src/metalogic.rs:151:9
[INFO] [stdout]    6: slate_kernel_metalogic::helpers::<impl slate_kernel_metalogic::metalogic::MetaLogic>::construct_semantically
[INFO] [stdout]              at /opt/rustwide/workdir/kernel/metalogic/src/helpers.rs:24:9
[INFO] [stdout]    7: slate_kernel_metalogic_mltt::metalogic_mltt::get_mltt
[INFO] [stdout]              at ./src/metalogic_mltt.rs:12:5
[INFO] [stdout]    8: slate_kernel_metalogic_mltt::metalogic_mltt::tests::test_mltt
[INFO] [stdout]              at ./src/metalogic_mltt.rs:1562:20
[INFO] [stdout]    9: slate_kernel_metalogic_mltt::metalogic_mltt::tests::test_mltt::{{closure}}
[INFO] [stdout]              at ./src/metalogic_mltt.rs:1557:23
[INFO] [stdout]   10: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   11: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   12: test::__rust_begin_short_backtrace
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:625:18
[INFO] [stdout]   13: test::run_test_in_process::{{closure}}
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:60
[INFO] [stdout]   14: <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   15: std::panicking::try::do_call
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stdout]   16: std::panicking::try
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stdout]   17: std::panic::catch_unwind
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stdout]   18: test::run_test_in_process
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:27
[INFO] [stdout]   19: test::run_test::{{closure}}
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:569:43
[INFO] [stdout]   20: test::run_test::{{closure}}
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:599:41
[INFO] [stdout]   21: std::sys_common::backtrace::__rust_begin_short_backtrace
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   22: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:542:17
[INFO] [stdout]   23: <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   24: std::panicking::try::do_call
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stdout]   25: std::panicking::try
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stdout]   26: std::panic::catch_unwind
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stdout]   27: std::thread::Builder::spawn_unchecked_::{{closure}}
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:541:30
[INFO] [stdout]   28: core::ops::function::FnOnce::call_once{{vtable.shim}}
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   29: <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   30: <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   31: std::sys::pal::unix::thread::Thread::new::thread_start
[INFO] [stdout]              at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys/pal/unix/thread.rs:108:17
[INFO] [stdout]   32: <unknown>
[INFO] [stdout]   33: __clone
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x559567bddbb5 - std::backtrace_rs::backtrace::libunwind::trace::he49dc9a9e3164223
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
[INFO] [stdout]    1:     0x559567bddbb5 - std::backtrace_rs::backtrace::trace_unsynchronized::h3a3e77c68030aa6b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x559567bddbb5 - std::sys_common::backtrace::_print_fmt::h9479ad2f99afd5d4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stdout]    3:     0x559567bddbb5 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hfb01aa1fa3fb1821
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x559567c051ab - core::fmt::rt::Argument::fmt::h125e56152abbc1c3
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/fmt/rt.rs:165:63
[INFO] [stdout]    5:     0x559567c051ab - core::fmt::write::hb0ab4ff05ccfe741
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/fmt/mod.rs:1169:21
[INFO] [stdout]    6:     0x559567bdb42f - std::io::Write::write_fmt::hea6336dbf2fa00b8
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/io/mod.rs:1835:15
[INFO] [stdout]    7:     0x559567bdd98e - std::sys_common::backtrace::_print::h79ca548f3a2adf4b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    8:     0x559567bdd98e - std::sys_common::backtrace::print::h9aebf997b2fea2d3
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    9:     0x559567bdf169 - std::panicking::default_hook::{{closure}}::h68a0954af2694526
[INFO] [stdout]   10:     0x559567bdeebc - std::panicking::default_hook::h5be50cc6849ffb00
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:295:9
[INFO] [stdout]   11:     0x559567a9a84f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hd874405dcbd1d3ed
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   12:     0x559567a9a84f - test::test_main::{{closure}}::h4f26a9df34a84b94
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:137:21
[INFO] [stdout]   13:     0x559567bdf76b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h00e96d9c62aa9a12
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   14:     0x559567bdf76b - std::panicking::rust_panic_with_hook::h3c0df6036729334c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:799:13
[INFO] [stdout]   15:     0x559567bdf4e4 - std::panicking::begin_panic_handler::{{closure}}::ha3a21e93c4cfd807
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:664:13
[INFO] [stdout]   16:     0x559567bde079 - std::sys_common::backtrace::__rust_end_short_backtrace::h19508a8f8ae71dc9
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stdout]   17:     0x559567bdf217 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:652:5
[INFO] [stdout]   18:     0x5595677a31f3 - core::panicking::panic_fmt::h2ba8af99174d83ea
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panicking.rs:72:14
[INFO] [stdout]   19:     0x5595677a3786 - core::result::unwrap_failed::h52f3bbb78b59f71d
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/result.rs:1654:5
[INFO] [stdout]   20:     0x5595677a8f56 - core::result::Result<T,E>::unwrap::hc014bed94ca7751b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/result.rs:1077:23
[INFO] [stdout]   21:     0x5595677a8f56 - slate_kernel_metalogic_mltt::metalogic_mltt::get_mltt::h5d1e924d4a38e53b
[INFO] [stdout]                                at /opt/rustwide/workdir/kernel/metalogic/mltt/src/metalogic_mltt.rs:12:5
[INFO] [stdout]   22:     0x5595677adb22 - slate_kernel_metalogic_mltt::metalogic_mltt::tests::test_mltt::he4552c9f0afab9b1
[INFO] [stdout]                                at /opt/rustwide/workdir/kernel/metalogic/mltt/src/metalogic_mltt.rs:1562:20
[INFO] [stdout]   23:     0x5595677adae7 - slate_kernel_metalogic_mltt::metalogic_mltt::tests::test_mltt::{{closure}}::hdefa15e358c8781f
[INFO] [stdout]                                at /opt/rustwide/workdir/kernel/metalogic/mltt/src/metalogic_mltt.rs:1557:23
[INFO] [stdout]   24:     0x5595677a58c6 - core::ops::function::FnOnce::call_once::h3a974fe442faefb9
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x559567a9f16b - core::ops::function::FnOnce::call_once::h18c6bf92212b87a4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x559567a9f16b - test::__rust_begin_short_backtrace::hdcf0edcfa9080086
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:625:18
[INFO] [stdout]   27:     0x559567a9e831 - test::run_test_in_process::{{closure}}::heac2c4eb375d2d10
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:60
[INFO] [stdout]   28:     0x559567a9e831 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h0289bafc8a1cc004
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   29:     0x559567a9e831 - std::panicking::try::do_call::h5e158f1ad8a5f983
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stdout]   30:     0x559567a9e831 - std::panicking::try::hea3411d60321c4de
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stdout]   31:     0x559567a9e831 - std::panic::catch_unwind::hafb7bb18bc47bbc7
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stdout]   32:     0x559567a9e831 - test::run_test_in_process::h74dd138dc7762d99
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:27
[INFO] [stdout]   33:     0x559567a9e831 - test::run_test::{{closure}}::h6b390822e63606cf
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:569:43
[INFO] [stdout]   34:     0x559567a67204 - test::run_test::{{closure}}::h6e11dba8131d354b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:599:41
[INFO] [stdout]   35:     0x559567a67204 - std::sys_common::backtrace::__rust_begin_short_backtrace::ha71b3541b59bdbbb
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   36:     0x559567a6bcd2 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hef92127c5ef9e53c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:542:17
[INFO] [stdout]   37:     0x559567a6bcd2 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h859c109f9d11c92b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   38:     0x559567a6bcd2 - std::panicking::try::do_call::hbf534c458cd858f0
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stdout]   39:     0x559567a6bcd2 - std::panicking::try::h65c18365a7b9ad90
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stdout]   40:     0x559567a6bcd2 - std::panic::catch_unwind::h21b25d4c69478c39
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stdout]   41:     0x559567a6bcd2 - std::thread::Builder::spawn_unchecked_::{{closure}}::h23335f620275a9bf
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:541:30
[INFO] [stdout]   42:     0x559567a6bcd2 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hb491dc55513e9b7c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x559567be3b2b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h41b39260afcffdc9
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   44:     0x559567be3b2b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h6694c8dc6dd010c4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   45:     0x559567be3b2b - std::sys::pal::unix::thread::Thread::new::thread_start::hf16038e1c8e19c99
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys/pal/unix/thread.rs:108:17
[INFO] [stdout]   46:     0x7f8af81b3ac3 - <unknown>
[INFO] [stdout]   47:     0x7f8af8244a04 - __clone
[INFO] [stdout]   48:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     metalogic_mltt::tests::test_example_reductions
[INFO] [stdout]     metalogic_mltt::tests::test_mltt
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 427.86s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p slate-kernel-metalogic-mltt --bin slate-kernel-metalogic-mltt`
[INFO] running `Command { std: "docker" "inspect" "fd2c7549c31b9d1d8eda76b96b217bbea0b680118ff7532aa82c74b85da190e5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fd2c7549c31b9d1d8eda76b96b217bbea0b680118ff7532aa82c74b85da190e5", kill_on_drop: false }`
[INFO] [stdout] fd2c7549c31b9d1d8eda76b96b217bbea0b680118ff7532aa82c74b85da190e5
