[INFO] cloning repository https://github.com/Bram-Hub/aris [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Bram-Hub/aris" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBram-Hub%2Faris", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBram-Hub%2Faris'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] ec5823e2ba1e42375d5c22c8c20fff915ad0039c [INFO] checking Bram-Hub/aris against try#7b3565da729099dbe807466fcd118fb2815986e0 for pr-81789 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBram-Hub%2Faris" "/workspace/builds/worker-1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Bram-Hub/aris on toolchain 7b3565da729099dbe807466fcd118fb2815986e0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+7b3565da729099dbe807466fcd118fb2815986e0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/Bram-Hub/aris [INFO] finished tweaking git repo https://github.com/Bram-Hub/aris [INFO] tweaked toml for git repo https://github.com/Bram-Hub/aris written to /workspace/builds/worker-1/source/Cargo.toml [INFO] crate git repo https://github.com/Bram-Hub/aris already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+7b3565da729099dbe807466fcd118fb2815986e0" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded partial_ref_derive v0.3.2 [INFO] [stderr] Downloaded partial_ref v0.3.2 [INFO] [stderr] Downloaded leb128 v0.2.4 [INFO] [stderr] Downloaded varisat-dimacs v0.2.2 [INFO] [stderr] Downloaded petgraph v0.4.13 [INFO] [stderr] Downloaded miniz_oxide v0.4.1 [INFO] [stderr] Downloaded yew v0.17.3 [INFO] [stderr] Downloaded wee_alloc v0.4.5 [INFO] [stderr] Downloaded gloo-console-timer v0.1.0 [INFO] [stderr] Downloaded yew-macro v0.17.0 [INFO] [stderr] Downloaded varisat-internal-macros v0.2.2 [INFO] [stderr] Downloaded cbindgen v0.14.4 [INFO] [stderr] Downloaded varisat-formula v0.2.2 [INFO] [stderr] Downloaded gloo-events v0.1.1 [INFO] [stderr] Downloaded ordered-float v2.0.0 [INFO] [stderr] Downloaded jni v0.10.2 [INFO] [stderr] Downloaded gloo-file v0.1.0 [INFO] [stderr] Downloaded syn v1.0.40 [INFO] [stderr] Downloaded gloo v0.2.1 [INFO] [stderr] Downloaded frunk_core v0.2.4 [INFO] [stderr] Downloaded yew-octicons v0.1.1 [INFO] [stderr] Downloaded varisat v0.2.2 [INFO] [stderr] Downloaded serde-wasm-bindgen v0.1.3 [INFO] [stderr] Downloaded varisat-internal-proof v0.2.2 [INFO] [stderr] Downloaded vec_mut_scan v0.3.0 [INFO] [stderr] Downloaded boolinator v2.4.0 [INFO] [stderr] Downloaded synstructure v0.12.4 [INFO] [stderr] Downloaded varisat-checker v0.2.2 [INFO] [stderr] Downloaded either v1.6.0 [INFO] [stderr] Downloaded cfg-match v0.2.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+7b3565da729099dbe807466fcd118fb2815986e0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 4e9cdf0d2cf8e905aaa9c9e4a41016f74eb4f6ce6e63060fa107f9d89076bb7c [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "4e9cdf0d2cf8e905aaa9c9e4a41016f74eb4f6ce6e63060fa107f9d89076bb7c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4e9cdf0d2cf8e905aaa9c9e4a41016f74eb4f6ce6e63060fa107f9d89076bb7c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4e9cdf0d2cf8e905aaa9c9e4a41016f74eb4f6ce6e63060fa107f9d89076bb7c", kill_on_drop: false }` [INFO] [stdout] 4e9cdf0d2cf8e905aaa9c9e4a41016f74eb4f6ce6e63060fa107f9d89076bb7c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+7b3565da729099dbe807466fcd118fb2815986e0" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] c9c43da8ff0157daee27e79c86bce12a8d25f5d430cfade8680334109d43e9aa [INFO] running `Command { std: "docker" "start" "-a" "c9c43da8ff0157daee27e79c86bce12a8d25f5d430cfade8680334109d43e9aa", kill_on_drop: false }` [INFO] [stderr] Compiling unicode-xid v0.2.1 [INFO] [stderr] Compiling syn v1.0.40 [INFO] [stderr] Compiling cfg-if v0.1.10 [INFO] [stderr] Compiling log v0.4.11 [INFO] [stderr] Compiling libc v0.2.76 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling serde_json v1.0.57 [INFO] [stderr] Compiling getrandom v0.1.14 [INFO] [stderr] Checking itoa v0.4.6 [INFO] [stderr] Compiling byteorder v1.3.4 [INFO] [stderr] Compiling wasm-bindgen-shared v0.2.68 [INFO] [stderr] Compiling siphasher v0.3.3 [INFO] [stderr] Compiling typenum v1.12.0 [INFO] [stderr] Compiling wasm-bindgen v0.2.68 [INFO] [stderr] Checking varisat-formula v0.2.2 [INFO] [stderr] Checking either v1.6.0 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling regex-syntax v0.6.18 [INFO] [stderr] Checking byte-tools v0.3.1 [INFO] [stderr] Compiling version_check v0.1.5 [INFO] [stderr] Checking rustc-hash v1.1.0 [INFO] [stderr] Checking fixedbitset v0.1.9 [INFO] [stderr] Checking opaque-debug v0.2.3 [INFO] [stderr] Checking ordermap v0.3.5 [INFO] [stderr] Checking leb128 v0.2.4 [INFO] [stderr] Checking vec_mut_scan v0.3.0 [INFO] [stderr] Checking fake-simd v0.1.2 [INFO] [stderr] Checking strum v0.18.0 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Checking maplit v1.0.2 [INFO] [stderr] Checking xml-rs v0.8.3 [INFO] [stderr] Checking frunk_core v0.2.4 [INFO] [stderr] Compiling new_debug_unreachable v1.0.4 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Compiling mac v0.1.1 [INFO] [stderr] Compiling utf-8 v0.7.5 [INFO] [stderr] Compiling dtoa v0.4.6 [INFO] [stderr] Checking fnv v1.0.7 [INFO] [stderr] Checking once_cell v1.4.1 [INFO] [stderr] Compiling stable_deref_trait v1.2.0 [INFO] [stderr] Compiling nodrop v0.1.14 [INFO] [stderr] Checking futures-core v0.3.5 [INFO] [stderr] Compiling smallvec v1.4.2 [INFO] [stderr] Checking slab v0.4.2 [INFO] [stderr] Checking futures-io v0.3.5 [INFO] [stderr] Compiling thin-slice v0.1.1 [INFO] [stderr] Checking gimli v0.22.0 [INFO] [stderr] Compiling ansi_term v0.11.0 [INFO] [stderr] Compiling cbindgen v0.14.4 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Compiling remove_dir_all v0.5.3 [INFO] [stderr] Checking adler v0.2.3 [INFO] [stderr] Compiling vec_map v0.8.2 [INFO] [stderr] Compiling ego-tree v0.6.2 [INFO] [stderr] Compiling version_check v0.9.2 [INFO] [stderr] Compiling strsim v0.8.0 [INFO] [stderr] Checking rustc-demangle v0.1.16 [INFO] [stderr] Checking object v0.20.0 [INFO] [stderr] Compiling boolinator v2.4.0 [INFO] [stderr] Checking void v1.0.2 [INFO] [stderr] Compiling yew v0.17.3 [INFO] [stderr] Compiling wee_alloc v0.4.5 [INFO] [stderr] Checking ascii v0.9.3 [INFO] [stderr] Checking anymap v0.12.1 [INFO] [stderr] Checking cfg-match v0.2.1 [INFO] [stderr] Checking jni-sys v0.3.0 [INFO] [stderr] Checking memory_units v0.4.0 [INFO] [stderr] Checking cesu8 v1.1.0 [INFO] [stderr] Compiling num-traits v0.2.12 [INFO] [stderr] Compiling indexmap v1.6.0 [INFO] [stderr] Compiling phf_shared v0.8.0 [INFO] [stderr] Compiling getopts v0.2.21 [INFO] [stderr] Checking block-padding v0.1.5 [INFO] [stderr] Checking itertools v0.9.0 [INFO] [stderr] Compiling futf v0.1.4 [INFO] [stderr] Compiling servo_arc v0.1.1 [INFO] [stderr] Checking petgraph v0.4.13 [INFO] [stderr] Checking futures-task v0.3.5 [INFO] [stderr] Compiling dtoa-short v0.3.2 [INFO] [stderr] Checking futures-channel v0.3.5 [INFO] [stderr] Compiling nom v4.2.3 [INFO] [stderr] Compiling walkdir v2.3.1 [INFO] [stderr] Checking miniz_oxide v0.4.1 [INFO] [stderr] Checking http v0.2.1 [INFO] [stderr] Checking unreachable v1.0.0 [INFO] [stderr] Compiling proc-macro2 v1.0.21 [INFO] [stderr] Compiling memchr v2.3.3 [INFO] [stderr] Compiling anyhow v1.0.32 [INFO] [stderr] Compiling tendril v0.4.1 [INFO] [stderr] Compiling error-chain v0.12.4 [INFO] [stderr] Checking varisat-internal-proof v0.2.2 [INFO] [stderr] Compiling aho-corasick v0.7.13 [INFO] [stderr] Compiling quote v1.0.7 [INFO] [stderr] Compiling jni v0.10.2 [INFO] [stderr] Compiling varisat v0.2.2 [INFO] [stderr] Checking combine v3.8.1 [INFO] [stderr] Compiling fxhash v0.2.1 [INFO] [stderr] Checking addr2line v0.13.0 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling clap v2.33.3 [INFO] [stderr] Compiling rand_core v0.5.1 [INFO] [stderr] Checking generic-array v0.12.3 [INFO] [stderr] Compiling rand_pcg v0.2.1 [INFO] [stderr] Compiling rand_chacha v0.2.2 [INFO] [stderr] Compiling regex v1.3.9 [INFO] [stderr] Checking digest v0.8.1 [INFO] [stderr] Checking block-buffer v0.7.3 [INFO] [stderr] Checking backtrace v0.3.50 [INFO] [stderr] Checking sha2 v0.8.2 [INFO] [stderr] Compiling rand v0.7.3 [INFO] [stderr] Checking ordered-float v2.0.0 [INFO] [stderr] Compiling phf_generator v0.8.0 [INFO] [stderr] Compiling tempfile v3.1.0 [INFO] [stderr] Compiling phf_codegen v0.8.0 [INFO] [stderr] Compiling string_cache_codegen v0.5.1 [INFO] [stderr] Compiling selectors v0.22.0 [INFO] [stderr] Compiling wasm-bindgen-backend v0.2.68 [INFO] [stderr] Compiling synstructure v0.12.4 [INFO] [stderr] Compiling wasm-bindgen-macro-support v0.2.68 [INFO] [stderr] Compiling serde_derive v1.0.115 [INFO] [stderr] Compiling thiserror-impl v1.0.20 [INFO] [stderr] Compiling partial_ref_derive v0.3.2 [INFO] [stderr] Compiling varisat-internal-macros v0.2.2 [INFO] [stderr] Compiling strum_macros v0.18.0 [INFO] [stderr] Compiling phf_macros v0.8.0 [INFO] [stderr] Compiling cssparser v0.27.2 [INFO] [stderr] Compiling html5ever v0.25.1 [INFO] [stderr] Compiling cssparser-macros v0.6.0 [INFO] [stderr] Compiling pin-project-internal v0.4.23 [INFO] [stderr] Compiling derive_more v0.99.9 [INFO] [stderr] Compiling futures-macro v0.3.5 [INFO] [stderr] Compiling yew-macro v0.17.0 [INFO] [stderr] Compiling wasm-bindgen-macro v0.2.68 [INFO] [stderr] Checking partial_ref v0.3.2 [INFO] [stderr] Compiling phf v0.8.0 [INFO] [stderr] Checking thiserror v1.0.20 [INFO] [stderr] Checking varisat-dimacs v0.2.2 [INFO] [stderr] Checking varisat-checker v0.2.2 [INFO] [stderr] Checking pin-project v0.4.23 [INFO] [stderr] Checking futures-util v0.3.5 [INFO] [stderr] Checking serde v1.0.115 [INFO] [stderr] Checking futures-executor v0.3.5 [INFO] [stderr] Checking futures v0.3.5 [INFO] [stderr] Checking bincode v1.3.1 [INFO] [stderr] Compiling string_cache v0.8.0 [INFO] [stderr] Compiling toml v0.5.6 [INFO] [stderr] Checking js-sys v0.3.45 [INFO] [stderr] Checking console_error_panic_hook v0.1.6 [INFO] [stderr] Compiling markup5ever v0.10.0 [INFO] [stderr] Checking aris v0.1.0 (/opt/rustwide/workdir/aris) [INFO] [stdout] warning: unnecessary braces around function argument [INFO] [stdout] --> aris/src/rules.rs:646:51 [INFO] [stdout] | [INFO] [stdout] 646 | Err(ConclusionOfWrongForm({ Expr::not(Expr::not(Expr::var("_"))) })) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove these braces [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_braces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary braces around function argument [INFO] [stdout] --> aris/src/rules.rs:646:51 [INFO] [stdout] | [INFO] [stdout] 646 | Err(ConclusionOfWrongForm({ Expr::not(Expr::not(Expr::var("_"))) })) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove these braces [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_braces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking web-sys v0.3.45 [INFO] [stderr] Checking wasm-bindgen-futures v0.4.18 [INFO] [stderr] Checking serde-wasm-bindgen v0.1.3 [INFO] [stdout] warning: missing documentation for the crate [INFO] [stdout] --> aris/src/lib.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | / #![warn(missing_docs)] [INFO] [stdout] 2 | | [INFO] [stdout] 3 | | #[macro_use] [INFO] [stdout] 4 | | extern crate lazy_static; [INFO] [stdout] ... | [INFO] [stdout] 12 | | pub mod rules; [INFO] [stdout] 13 | | mod zipper_vec; [INFO] [stdout] | |_______________^ [INFO] [stdout] | [INFO] [stdout] note: the lint level is defined here [INFO] [stdout] --> aris/src/lib.rs:1:9 [INFO] [stdout] | [INFO] [stdout] 1 | #![warn(missing_docs)] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a function [INFO] [stdout] --> aris/src/expr.rs:1472:1 [INFO] [stdout] | [INFO] [stdout] 1472 | pub fn expressions_for_depth(depth: usize, max_assoc: usize, mut vars: BTreeSet) -> BTreeSet { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct [INFO] [stdout] --> aris/src/proofs/pooledproof.rs:129:1 [INFO] [stdout] | [INFO] [stdout] 129 | pub struct PremKey(usize); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct [INFO] [stdout] --> aris/src/proofs/pooledproof.rs:132:1 [INFO] [stdout] | [INFO] [stdout] 132 | pub struct JustKey(usize); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct [INFO] [stdout] --> aris/src/proofs/pooledproof.rs:135:1 [INFO] [stdout] | [INFO] [stdout] 135 | pub struct SubKey(usize); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct [INFO] [stdout] --> aris/src/proofs/pooledproof.rs:140:1 [INFO] [stdout] | [INFO] [stdout] 140 | pub struct Pools { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct [INFO] [stdout] --> aris/src/proofs/pooledproof.rs:243:1 [INFO] [stdout] | [INFO] [stdout] 243 | pub struct PooledProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct [INFO] [stdout] --> aris/src/proofs/pooledproof.rs:249:1 [INFO] [stdout] | [INFO] [stdout] 249 | pub struct PooledSubproof { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct [INFO] [stdout] --> aris/src/proofs/java_shallow_proof.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | pub struct JavaShallowProof(pub Vec); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct [INFO] [stdout] --> aris/src/proofs/lined_proof.rs:12:1 [INFO] [stdout] | [INFO] [stdout] 12 | pub struct Line { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> aris/src/proofs/lined_proof.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | pub raw_expr: String, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> aris/src/proofs/lined_proof.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | pub is_premise: bool, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> aris/src/proofs/lined_proof.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | pub reference: PJRef

, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> aris/src/proofs/lined_proof.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | pub subreference: Option, // None for toplevel lines [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct [INFO] [stdout] --> aris/src/proofs/lined_proof.rs:48:1 [INFO] [stdout] | [INFO] [stdout] 48 | pub struct LinedProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> aris/src/proofs/lined_proof.rs:49:5 [INFO] [stdout] | [INFO] [stdout] 49 | pub proof: P, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> aris/src/proofs/lined_proof.rs:50:5 [INFO] [stdout] | [INFO] [stdout] 50 | pub lines: ZipperVec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs/lined_proof.rs:78:5 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn new() -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs/lined_proof.rs:81:5 [INFO] [stdout] | [INFO] [stdout] 81 | pub fn len(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs/lined_proof.rs:84:5 [INFO] [stdout] | [INFO] [stdout] 84 | pub fn is_empty(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs/lined_proof.rs:87:5 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn from_proof(p: P) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs/lined_proof.rs:113:5 [INFO] [stdout] | [INFO] [stdout] 113 | pub fn add_line(&mut self, i: usize, is_premise: bool, subproof_level: usize) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs/lined_proof.rs:136:5 [INFO] [stdout] | [INFO] [stdout] 136 | pub fn set_expr(&mut self, i: usize, text: String) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs/lined_proof.rs:139:5 [INFO] [stdout] | [INFO] [stdout] 139 | pub fn move_cursor(&mut self, i: usize) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs/lined_proof.rs:143:5 [INFO] [stdout] | [INFO] [stdout] 143 | pub fn delete(&mut self, i: usize) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct [INFO] [stdout] --> aris/src/proofs/xml_interop.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | pub struct ProofMetaData { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> aris/src/proofs/xml_interop.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | pub author: Option, // TODO: it seems like the java SaveManager might treat this as a Vec [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> aris/src/proofs/xml_interop.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | pub hash: Option, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> aris/src/proofs/xml_interop.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | pub goals: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a function [INFO] [stdout] --> aris/src/proofs/xml_interop.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub fn proof_from_xml(r: R) -> Result<(P, ProofMetaData), String> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a function [INFO] [stdout] --> aris/src/proofs/xml_interop.rs:158:1 [INFO] [stdout] | [INFO] [stdout] 158 | pub fn xml_from_proof_and_metadata(prf: &P, meta: &ProofMetaData, out: W) -> xml::writer::Result<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a function [INFO] [stdout] --> aris/src/proofs/xml_interop.rs:266:1 [INFO] [stdout] | [INFO] [stdout] 266 | pub fn xml_from_proof_and_metadata_with_hash(prf: &P, meta: &ProofMetaData, out: W) -> xml::writer::Result<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:182:5 [INFO] [stdout] | [INFO] [stdout] 182 | fn display_indented(&self, fmt: &mut std::fmt::Formatter, indent: usize, linecount: &mut usize) -> Result<(), std::fmt::Error>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a type alias [INFO] [stdout] --> aris/src/proofs.rs:185:1 [INFO] [stdout] | [INFO] [stdout] 185 | pub type PJRef

= Coprod!(

::PremiseReference,

::JustificationReference); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a type alias [INFO] [stdout] --> aris/src/proofs.rs:186:1 [INFO] [stdout] | [INFO] [stdout] 186 | pub type JSRef

= Coprod!(

::JustificationReference,

::SubproofReference); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a type alias [INFO] [stdout] --> aris/src/proofs.rs:187:1 [INFO] [stdout] | [INFO] [stdout] 187 | pub type PJSRef

= Coprod!(

::PremiseReference,

::JustificationReference,

::SubproofReference); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a function [INFO] [stdout] --> aris/src/proofs.rs:189:1 [INFO] [stdout] | [INFO] [stdout] 189 | pub fn js_to_pjs(js: JSRef

) -> PJSRef

{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a function [INFO] [stdout] --> aris/src/proofs.rs:192:1 [INFO] [stdout] | [INFO] [stdout] 192 | pub fn pj_to_pjs(pj: PJRef

) -> PJSRef

{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated type [INFO] [stdout] --> aris/src/proofs.rs:198:5 [INFO] [stdout] | [INFO] [stdout] 198 | type PremiseReference: Clone + Eq + Ord + Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated type [INFO] [stdout] --> aris/src/proofs.rs:199:5 [INFO] [stdout] | [INFO] [stdout] 199 | type JustificationReference: Clone + Eq + Ord + Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated type [INFO] [stdout] --> aris/src/proofs.rs:200:5 [INFO] [stdout] | [INFO] [stdout] 200 | type SubproofReference: Clone + Eq + Ord + Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated type [INFO] [stdout] --> aris/src/proofs.rs:201:5 [INFO] [stdout] | [INFO] [stdout] 201 | type Subproof: Proof; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:202:5 [INFO] [stdout] | [INFO] [stdout] 202 | fn new() -> Self; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:203:5 [INFO] [stdout] | [INFO] [stdout] 203 | fn top_level_proof(&self) -> &Self::Subproof; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:204:5 [INFO] [stdout] | [INFO] [stdout] 204 | fn lookup_premise(&self, r: &Self::PremiseReference) -> Option; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:205:5 [INFO] [stdout] | [INFO] [stdout] 205 | fn lookup_step(&self, r: &Self::JustificationReference) -> Option, Self::SubproofReference>>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:206:5 [INFO] [stdout] | [INFO] [stdout] 206 | fn lookup_subproof(&self, r: &Self::SubproofReference) -> Option; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:207:5 [INFO] [stdout] | [INFO] [stdout] 207 | fn with_mut_premise A>(&mut self, r: &Self::PremiseReference, f: F) -> Option; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:208:5 [INFO] [stdout] | [INFO] [stdout] 208 | fn with_mut_step, Self::SubproofReference>) -> A>(&mut self, r: &Self::JustificationReference, f: F) -> Option; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:209:5 [INFO] [stdout] | [INFO] [stdout] 209 | fn with_mut_subproof A>(&mut self, r: &Self::SubproofReference, f: F) -> Option; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:210:5 [INFO] [stdout] | [INFO] [stdout] 210 | fn add_premise(&mut self, e: Expr) -> Self::PremiseReference; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:211:5 [INFO] [stdout] | [INFO] [stdout] 211 | fn add_subproof(&mut self) -> Self::SubproofReference; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:212:5 [INFO] [stdout] | [INFO] [stdout] 212 | fn add_step(&mut self, just: Justification, Self::SubproofReference>) -> Self::JustificationReference; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:213:5 [INFO] [stdout] | [INFO] [stdout] 213 | fn prepend_step(&mut self, just: Justification, Self::SubproofReference>) -> Self::JustificationReference { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:219:5 [INFO] [stdout] | [INFO] [stdout] 219 | fn add_premise_relative(&mut self, e: Expr, r: &Self::PremiseReference, after: bool) -> Self::PremiseReference; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:220:5 [INFO] [stdout] | [INFO] [stdout] 220 | fn add_subproof_relative(&mut self, r: &JSRef, after: bool) -> Self::SubproofReference; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:221:5 [INFO] [stdout] | [INFO] [stdout] 221 | fn add_step_relative(&mut self, just: Justification, Self::SubproofReference>, r: &JSRef, after: bool) -> Self::JustificationReference; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:222:5 [INFO] [stdout] | [INFO] [stdout] 222 | fn remove_line(&mut self, r: &PJRef); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:223:5 [INFO] [stdout] | [INFO] [stdout] 223 | fn remove_subproof(&mut self, r: &Self::SubproofReference); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:224:5 [INFO] [stdout] | [INFO] [stdout] 224 | fn premises(&self) -> Vec; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:225:5 [INFO] [stdout] | [INFO] [stdout] 225 | fn lines(&self) -> Vec>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:226:5 [INFO] [stdout] | [INFO] [stdout] 226 | fn parent_of_line(&self, r: &PJSRef) -> Option; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:227:5 [INFO] [stdout] | [INFO] [stdout] 227 | fn verify_line(&self, r: &PJRef) -> Result<(), ProofCheckError, Self::SubproofReference>>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:229:5 [INFO] [stdout] | [INFO] [stdout] 229 | fn lookup_expr(&self, r: &PJRef) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:232:5 [INFO] [stdout] | [INFO] [stdout] 232 | fn lookup_expr_or_die(&self, r: &PJRef) -> Result, Self::SubproofReference>> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:235:5 [INFO] [stdout] | [INFO] [stdout] 235 | fn lookup_premise_or_die(&self, r: &Self::PremiseReference) -> Result, Self::SubproofReference>> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:238:5 [INFO] [stdout] | [INFO] [stdout] 238 | fn lookup_justification_or_die(&self, r: &Self::JustificationReference) -> Result, Self::SubproofReference>, ProofCheckError, Self::SubproofReference>... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:241:5 [INFO] [stdout] | [INFO] [stdout] 241 | fn lookup_pj(&self, r: &PJRef) -> Option, Self::SubproofReference>)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:244:5 [INFO] [stdout] | [INFO] [stdout] 244 | fn lookup_subproof_or_die(&self, r: &Self::SubproofReference) -> Result, Self::SubproofReference>... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:247:5 [INFO] [stdout] | [INFO] [stdout] 247 | fn direct_lines(&self) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:250:5 [INFO] [stdout] | [INFO] [stdout] 250 | fn exprs(&self) -> Vec> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:253:5 [INFO] [stdout] | [INFO] [stdout] 253 | fn contained_justifications(&self, include_premises: bool) -> HashSet> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:263:5 [INFO] [stdout] | [INFO] [stdout] 263 | fn transitive_dependencies(&self, line: PJRef) -> HashSet> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:290:5 [INFO] [stdout] | [INFO] [stdout] 290 | fn depth_of_line(&self, r: &PJSRef) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:300:5 [INFO] [stdout] | [INFO] [stdout] 300 | fn possible_deps_for_line(&self, r: &PJRef, deps: &mut HashSet>, sdeps: &mut HashSet) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:355:5 [INFO] [stdout] | [INFO] [stdout] 355 | fn can_reference_dep(&self, r1: &PJRef, r2: &Coprod!(PJRef, Self::SubproofReference)) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a trait [INFO] [stdout] --> aris/src/proofs.rs:379:1 [INFO] [stdout] | [INFO] [stdout] 379 | pub trait JustificationExprDisplay { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> aris/src/proofs.rs:380:5 [INFO] [stdout] | [INFO] [stdout] 380 | fn fmt_expr(&self, fmt: &mut std::fmt::Formatter) -> std::fmt::Result; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct [INFO] [stdout] --> aris/src/proofs.rs:423:1 [INFO] [stdout] | [INFO] [stdout] 423 | pub struct LineAndIndent { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> aris/src/proofs.rs:424:5 [INFO] [stdout] | [INFO] [stdout] 424 | pub line: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> aris/src/proofs.rs:425:5 [INFO] [stdout] | [INFO] [stdout] 425 | pub indent: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a type alias [INFO] [stdout] --> aris/src/rules.rs:193:1 [INFO] [stdout] | [INFO] [stdout] 193 | pub type Rule = SharedChecks; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a function [INFO] [stdout] --> aris/src/rules.rs:427:1 [INFO] [stdout] | [INFO] [stdout] 427 | pub fn do_expressions_contradict(prem1: &Expr, prem2: &Expr) -> Result<(), ProofCheckError, P::SubproofReference>> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 84 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking aris-js v0.1.0 (/opt/rustwide/workdir/bindings/js) [INFO] [stderr] Checking aris-java v0.1.0 (/opt/rustwide/workdir/bindings/java) [INFO] [stderr] Checking aris-auto-grader v0.1.0 (/opt/rustwide/workdir/auto-grader) [INFO] [stdout] error: casting pointer to `i64` [INFO] [stdout] --> bindings/java/src/java_rule.rs:29:86 [INFO] [stdout] | [INFO] [stdout] 29 | let jrule = env.new_object("edu/rpi/aris/rules/Rule", "(J)V", &[JValue::from(boxed_rule as jni::sys::jlong)]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: to cast to `i64`, cast to `usize` first: `boxed_rule as usize as i64` [INFO] [stdout] | [INFO] [stdout] = note: `#[deny(invalid_ptr_to_int_cast)]` on by default [INFO] [stdout] = help: pointers should only be cast to `usize` or `u64` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: casting pointer to `i64` [INFO] [stdout] --> bindings/java/src/java_rule.rs:29:86 [INFO] [stdout] | [INFO] [stdout] 29 | let jrule = env.new_object("edu/rpi/aris/rules/Rule", "(J)V", &[JValue::from(boxed_rule as jni::sys::jlong)]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: to cast to `i64`, cast to `usize` first: `boxed_rule as usize as i64` [INFO] [stdout] | [INFO] [stdout] = note: `#[deny(invalid_ptr_to_int_cast)]` on by default [INFO] [stdout] = help: pointers should only be cast to `usize` or `u64` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: casting pointer to `i64` [INFO] [stdout] --> bindings/java/src/java_proof.rs:25:90 [INFO] [stdout] | [INFO] [stdout] 25 | let jprf = env.new_object("edu/rpi/aris/proof/RustProof", "(J)V", &[JValue::from(prf as jni::sys::jlong)]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: to cast to `i64`, cast to `usize` first: `prf as usize as i64` [INFO] [stdout] | [INFO] [stdout] = help: pointers should only be cast to `usize` or `u64` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: casting pointer to `i64` [INFO] [stdout] --> bindings/java/src/java_proof.rs:76:94 [INFO] [stdout] | [INFO] [stdout] 76 | let jprf = env.new_object("edu/rpi/aris/proof/RustProof", "(J)V", &[JValue::from(prf as jni::sys::jlong)])?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: to cast to `i64`, cast to `usize` first: `prf as usize as i64` [INFO] [stdout] | [INFO] [stdout] = help: pointers should only be cast to `usize` or `u64` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: casting pointer to `i64` [INFO] [stdout] --> bindings/java/src/java_proof.rs:25:90 [INFO] [stdout] | [INFO] [stdout] 25 | let jprf = env.new_object("edu/rpi/aris/proof/RustProof", "(J)V", &[JValue::from(prf as jni::sys::jlong)]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: to cast to `i64`, cast to `usize` first: `prf as usize as i64` [INFO] [stdout] | [INFO] [stdout] = help: pointers should only be cast to `usize` or `u64` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 3 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: casting pointer to `i64` [INFO] [stdout] --> bindings/java/src/java_proof.rs:76:94 [INFO] [stdout] | [INFO] [stdout] 76 | let jprf = env.new_object("edu/rpi/aris/proof/RustProof", "(J)V", &[JValue::from(prf as jni::sys::jlong)])?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: to cast to `i64`, cast to `usize` first: `prf as usize as i64` [INFO] [stdout] | [INFO] [stdout] = help: pointers should only be cast to `usize` or `u64` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `aris-java` [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: aborting due to 3 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: build failed [INFO] running `Command { std: "docker" "inspect" "c9c43da8ff0157daee27e79c86bce12a8d25f5d430cfade8680334109d43e9aa", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c9c43da8ff0157daee27e79c86bce12a8d25f5d430cfade8680334109d43e9aa", kill_on_drop: false }` [INFO] [stdout] c9c43da8ff0157daee27e79c86bce12a8d25f5d430cfade8680334109d43e9aa