[INFO] cloning repository https://github.com/oeb25/smtlib-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/oeb25/smtlib-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Foeb25%2Fsmtlib-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Foeb25%2Fsmtlib-rs'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 787a671cd88f93253fbfdb4be70b35cd838f19ef [INFO] checking oeb25/smtlib-rs against master#336209eef13882bd1e211b24779584cb7ef911eb for pr-129249 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Foeb25%2Fsmtlib-rs" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/oeb25/smtlib-rs on toolchain 336209eef13882bd1e211b24779584cb7ef911eb [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+336209eef13882bd1e211b24779584cb7ef911eb" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-3-tc1/source/.cargo/config.toml [INFO] started tweaking git repo https://github.com/oeb25/smtlib-rs [INFO] finished tweaking git repo https://github.com/oeb25/smtlib-rs [INFO] tweaked toml for git repo https://github.com/oeb25/smtlib-rs written to /workspace/builds/worker-3-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/oeb25/smtlib-rs 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" "+336209eef13882bd1e211b24779584cb7ef911eb" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+336209eef13882bd1e211b24779584cb7ef911eb" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 08efee71b30402a27ec6872a248117edc97b03ba35ce31f5b882a00dd3a8af6a [INFO] running `Command { std: "docker" "start" "-a" "08efee71b30402a27ec6872a248117edc97b03ba35ce31f5b882a00dd3a8af6a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "08efee71b30402a27ec6872a248117edc97b03ba35ce31f5b882a00dd3a8af6a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "08efee71b30402a27ec6872a248117edc97b03ba35ce31f5b882a00dd3a8af6a", kill_on_drop: false }` [INFO] [stdout] 08efee71b30402a27ec6872a248117edc97b03ba35ce31f5b882a00dd3a8af6a [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+336209eef13882bd1e211b24779584cb7ef911eb" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 69bbfc1ae69f5e2c1b9c08788f5d0cb9588f6855982e5e5a0ddc4d74f302fd02 [INFO] running `Command { std: "docker" "start" "-a" "69bbfc1ae69f5e2c1b9c08788f5d0cb9588f6855982e5e5a0ddc4d74f302fd02", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.71 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling libc v0.2.150 [INFO] [stderr] Checking pin-project-lite v0.2.13 [INFO] [stderr] Compiling serde v1.0.192 [INFO] [stderr] Checking once_cell v1.18.0 [INFO] [stderr] Checking memchr v2.6.4 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Checking adler v1.0.2 [INFO] [stderr] Checking gimli v0.28.0 [INFO] [stderr] Compiling rustix v0.38.24 [INFO] [stderr] Checking miniz_oxide v0.7.1 [INFO] [stderr] Checking linux-raw-sys v0.4.11 [INFO] [stderr] Compiling futures-core v0.3.29 [INFO] [stderr] Checking rustc-demangle v0.1.23 [INFO] [stderr] Checking bitflags v2.4.1 [INFO] [stderr] Checking object v0.32.1 [INFO] [stderr] Checking owo-colors v3.5.0 [INFO] [stderr] Compiling beef v0.5.2 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Compiling cc v1.0.83 [INFO] [stderr] Checking signal-hook-registry v1.4.2 [INFO] [stderr] Compiling syn v2.0.43 [INFO] [stderr] Checking mio v0.8.11 [INFO] [stderr] Compiling autocfg v1.1.0 [INFO] [stderr] Compiling thiserror v1.0.50 [INFO] [stderr] Checking equivalent v1.0.1 [INFO] [stderr] Compiling regex-syntax v0.6.29 [INFO] [stderr] Checking is-terminal v0.4.9 [INFO] [stderr] Checking bytes v1.6.0 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Checking addr2line v0.21.0 [INFO] [stderr] Checking either v1.9.0 [INFO] [stderr] Checking hashbrown v0.14.2 [INFO] [stderr] Checking itertools v0.12.0 [INFO] [stderr] Checking tokio v1.37.0 [INFO] [stderr] Compiling slab v0.4.9 [INFO] [stderr] Checking is_ci v1.1.1 [INFO] [stderr] Compiling futures-channel v0.3.29 [INFO] [stderr] Compiling backtrace v0.3.69 [INFO] [stderr] Checking unicode-linebreak v0.1.5 [INFO] [stderr] Compiling futures-task v0.3.29 [INFO] [stderr] Checking unicode-width v0.1.11 [INFO] [stderr] Checking smawk v0.3.2 [INFO] [stderr] Checking supports-color v2.1.0 [INFO] [stderr] Checking textwrap v0.15.2 [INFO] [stderr] Checking supports-unicode v2.0.0 [INFO] [stderr] Checking supports-hyperlinks v2.1.0 [INFO] [stderr] Checking terminal_size v0.1.17 [INFO] [stderr] Checking futures-sink v0.3.29 [INFO] [stderr] Compiling futures-util v0.3.29 [INFO] [stderr] Checking pin-utils v0.1.0 [INFO] [stderr] Checking base64 v0.13.1 [INFO] [stderr] Checking linked-hash-map v0.5.6 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Checking futures-io v0.3.29 [INFO] [stderr] Checking console v0.15.7 [INFO] [stderr] Checking yaml-rust v0.4.5 [INFO] [stderr] Checking tracing-core v0.1.32 [INFO] [stderr] Checking similar v2.3.0 [INFO] [stderr] Checking thread_local v1.1.7 [INFO] [stderr] Checking sharded-slab v0.1.7 [INFO] [stderr] Checking tracing v0.1.40 [INFO] [stderr] Compiling eyre v0.6.11 [INFO] [stderr] Compiling prettyplease v0.2.15 [INFO] [stderr] Checking indenter v0.3.3 [INFO] [stderr] Checking winnow v0.5.19 [INFO] [stderr] Checking tracing-subscriber v0.3.18 [INFO] [stderr] Compiling logos-codegen v0.13.0 [INFO] [stderr] Checking backtrace-ext v0.2.1 [INFO] [stderr] Compiling xshell-macros v0.2.5 [INFO] [stderr] Compiling xflags-macros v0.3.2 [INFO] [stderr] Checking xshell v0.2.5 [INFO] [stderr] Checking heck v0.4.1 [INFO] [stderr] Checking tracing-error v0.2.0 [INFO] [stderr] Checking color-spantrace v0.2.1 [INFO] [stderr] Checking color-eyre v0.6.2 [INFO] [stderr] Checking tokio-stream v0.1.15 [INFO] [stderr] Checking xflags v0.3.2 [INFO] [stderr] Compiling serde_derive v1.0.192 [INFO] [stderr] Compiling thiserror-impl v1.0.50 [INFO] [stderr] Compiling miette-derive v5.10.0 [INFO] [stderr] Compiling logos-derive v0.13.0 [INFO] [stderr] Compiling futures-macro v0.3.29 [INFO] [stderr] Compiling async-stream-impl v0.3.5 [INFO] [stderr] Checking logos v0.13.0 [INFO] [stderr] Checking async-stream v0.3.5 [INFO] [stderr] Checking tokio-test v0.4.4 [INFO] [stderr] Checking miette v5.10.0 [INFO] [stderr] Checking futures-executor v0.3.29 [INFO] [stderr] Checking futures v0.3.29 [INFO] [stderr] Checking indexmap v2.2.6 [INFO] [stderr] Checking smtlib-lowlevel v0.2.0 (/opt/rustwide/workdir/lowlevel) [INFO] [stderr] Checking ron v0.7.1 [INFO] [stderr] Checking toml_datetime v0.6.5 [INFO] [stderr] Checking serde_spanned v0.6.4 [INFO] [stderr] Checking toml_edit v0.21.0 [INFO] [stderr] Checking insta v1.34.0 [INFO] [stderr] Checking smtlib v0.2.0 (/opt/rustwide/workdir/smtlib) [INFO] [stdout] warning: unused import: `qual_ident` [INFO] [stdout] --> smtlib/src/theories/ints.rs:8:18 [INFO] [stdout] | [INFO] [stdout] 8 | terms::{fun, qual_ident, Const, Dynamic, Sorted, StaticSorted}, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking toml v0.8.8 [INFO] [stdout] warning: unreachable call [INFO] [stdout] --> smtlib/src/sorts.rs:36:20 [INFO] [stdout] | [INFO] [stdout] 36 | return Err(todo!()); [INFO] [stdout] | ^^^ ------- any code following this expression is unreachable [INFO] [stdout] | | [INFO] [stdout] | unreachable call [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a module [INFO] [stdout] --> smtlib/src/lib.rs:21:1 [INFO] [stdout] | [INFO] [stdout] 21 | pub mod funs; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: the lint level is defined here [INFO] [stdout] --> smtlib/src/lib.rs:4:9 [INFO] [stdout] | [INFO] [stdout] 4 | #![warn(missing_docs)] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a module [INFO] [stdout] --> smtlib/src/lib.rs:23:1 [INFO] [stdout] | [INFO] [stdout] 23 | pub mod sorts; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a module [INFO] [stdout] --> smtlib/src/lib.rs:34:1 [INFO] [stdout] | [INFO] [stdout] 34 | pub mod prelude { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a variant [INFO] [stdout] --> smtlib/src/lib.rs:118:5 [INFO] [stdout] | [INFO] [stdout] 118 | DynamicCastSortMismatch { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/lib.rs:119:9 [INFO] [stdout] | [INFO] [stdout] 119 | expected: sorts::Sort, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/lib.rs:120:9 [INFO] [stdout] | [INFO] [stdout] 120 | actual: sorts::Sort, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct [INFO] [stdout] --> smtlib/src/funs.rs:9:1 [INFO] [stdout] | [INFO] [stdout] 9 | pub struct Fun { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/funs.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | pub name: String, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/funs.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | pub vars: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/funs.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | pub return_sort: Sort, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/funs.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | pub fn new(name: impl Into, vars: Vec, return_ty: Sort) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/funs.rs:24:5 [INFO] [stdout] | [INFO] [stdout] 24 | pub fn call(&self, args: &[Dynamic]) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/funs.rs:44:5 [INFO] [stdout] | [INFO] [stdout] 44 | pub fn ast(&self) -> ast::FunctionDec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/solver.rs:71:5 [INFO] [stdout] | [INFO] [stdout] 71 | pub fn set_logger(&mut self, logger: impl Logger) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/solver.rs:74:5 [INFO] [stdout] | [INFO] [stdout] 74 | pub fn set_timeout(&mut self, ms: usize) -> Result<(), Error> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/solver.rs:162:5 [INFO] [stdout] | [INFO] [stdout] 162 | pub fn declare_fun(&mut self, fun: &funs::Fun) -> Result<(), Error> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/solver.rs:197:5 [INFO] [stdout] | [INFO] [stdout] 197 | / pub fn scope( [INFO] [stdout] 198 | | &mut self, [INFO] [stdout] 199 | | f: impl FnOnce(&mut Solver) -> Result, [INFO] [stdout] 200 | | ) -> Result { [INFO] [stdout] | |_________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct [INFO] [stdout] --> smtlib/src/sorts.rs:8:1 [INFO] [stdout] | [INFO] [stdout] 8 | pub struct SortTemplate { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/sorts.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | pub name: String, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/sorts.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | pub index: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/sorts.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | pub arity: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct [INFO] [stdout] --> smtlib/src/sorts.rs:15:1 [INFO] [stdout] | [INFO] [stdout] 15 | pub struct Sort { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/sorts.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | pub name: String, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/sorts.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | pub index: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/sorts.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | pub parameters: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an enum [INFO] [stdout] --> smtlib/src/sorts.rs:28:1 [INFO] [stdout] | [INFO] [stdout] 28 | pub enum Index { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a variant [INFO] [stdout] --> smtlib/src/sorts.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | Numeral(usize), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a variant [INFO] [stdout] --> smtlib/src/sorts.rs:30:5 [INFO] [stdout] | [INFO] [stdout] 30 | Symbol(String), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/sorts.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 34 | pub fn instantiate(&self, parameters: Vec) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/sorts.rs:64:5 [INFO] [stdout] | [INFO] [stdout] 64 | pub fn new(name: impl Into) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/sorts.rs:76:5 [INFO] [stdout] | [INFO] [stdout] 76 | pub fn new_parametric(name: impl Into, parameters: Vec) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/sorts.rs:83:5 [INFO] [stdout] | [INFO] [stdout] 83 | pub fn new_indexed(name: impl Into, index: Vec) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/sorts.rs:91:5 [INFO] [stdout] | [INFO] [stdout] 91 | pub fn ast(&self) -> ast::Sort { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/sorts.rs:110:5 [INFO] [stdout] | [INFO] [stdout] 110 | pub fn new_const(&self, name: impl Into) -> terms::Const { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a trait [INFO] [stdout] --> smtlib/src/terms.rs:60:1 [INFO] [stdout] | [INFO] [stdout] 60 | pub trait StaticSorted: Into + From { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated type [INFO] [stdout] --> smtlib/src/terms.rs:61:5 [INFO] [stdout] | [INFO] [stdout] 61 | type Inner: StaticSorted; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/terms.rs:62:5 [INFO] [stdout] | [INFO] [stdout] 62 | fn static_sort() -> Sort; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/terms.rs:63:5 [INFO] [stdout] | [INFO] [stdout] 63 | fn new_const(name: impl Into) -> Const { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/terms.rs:115:5 [INFO] [stdout] | [INFO] [stdout] 115 | fn into_dynamic(self) -> Dynamic { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/terms.rs:215:5 [INFO] [stdout] | [INFO] [stdout] 215 | pub fn from_term_sort(t: Term, sort: Sort) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/terms.rs:219:5 [INFO] [stdout] | [INFO] [stdout] 219 | pub fn sort(&self) -> &Sort { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/terms.rs:223:5 [INFO] [stdout] | [INFO] [stdout] 223 | pub fn as_int(&self) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/terms.rs:232:5 [INFO] [stdout] | [INFO] [stdout] 232 | pub fn as_bool(&self) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/theories/core.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn new(value: bool) -> Bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/theories/core.rs:89:5 [INFO] [stdout] | [INFO] [stdout] 89 | pub fn sort() -> Sort { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/theories/ints.rs:64:5 [INFO] [stdout] | [INFO] [stdout] 64 | pub fn sort() -> Sort { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/theories/reals.rs:66:5 [INFO] [stdout] | [INFO] [stdout] 66 | pub fn sort() -> Sort { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking xtask v0.2.0 (/opt/rustwide/workdir/xtask) [INFO] [stdout] warning: unused import: `qual_ident` [INFO] [stdout] --> smtlib/src/theories/ints.rs:8:18 [INFO] [stdout] | [INFO] [stdout] 8 | terms::{fun, qual_ident, Const, Dynamic, Sorted, StaticSorted}, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable call [INFO] [stdout] --> smtlib/src/sorts.rs:36:20 [INFO] [stdout] | [INFO] [stdout] 36 | return Err(todo!()); [INFO] [stdout] | ^^^ ------- any code following this expression is unreachable [INFO] [stdout] | | [INFO] [stdout] | unreachable call [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a module [INFO] [stdout] --> smtlib/src/lib.rs:21:1 [INFO] [stdout] | [INFO] [stdout] 21 | pub mod funs; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: the lint level is defined here [INFO] [stdout] --> smtlib/src/lib.rs:4:9 [INFO] [stdout] | [INFO] [stdout] 4 | #![warn(missing_docs)] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a module [INFO] [stdout] --> smtlib/src/lib.rs:23:1 [INFO] [stdout] | [INFO] [stdout] 23 | pub mod sorts; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a module [INFO] [stdout] --> smtlib/src/lib.rs:34:1 [INFO] [stdout] | [INFO] [stdout] 34 | pub mod prelude { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a variant [INFO] [stdout] --> smtlib/src/lib.rs:118:5 [INFO] [stdout] | [INFO] [stdout] 118 | DynamicCastSortMismatch { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/lib.rs:119:9 [INFO] [stdout] | [INFO] [stdout] 119 | expected: sorts::Sort, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/lib.rs:120:9 [INFO] [stdout] | [INFO] [stdout] 120 | actual: sorts::Sort, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct [INFO] [stdout] --> smtlib/src/funs.rs:9:1 [INFO] [stdout] | [INFO] [stdout] 9 | pub struct Fun { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/funs.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | pub name: String, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/funs.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | pub vars: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/funs.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | pub return_sort: Sort, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/funs.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | pub fn new(name: impl Into, vars: Vec, return_ty: Sort) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/funs.rs:24:5 [INFO] [stdout] | [INFO] [stdout] 24 | pub fn call(&self, args: &[Dynamic]) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/funs.rs:44:5 [INFO] [stdout] | [INFO] [stdout] 44 | pub fn ast(&self) -> ast::FunctionDec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/solver.rs:71:5 [INFO] [stdout] | [INFO] [stdout] 71 | pub fn set_logger(&mut self, logger: impl Logger) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/solver.rs:74:5 [INFO] [stdout] | [INFO] [stdout] 74 | pub fn set_timeout(&mut self, ms: usize) -> Result<(), Error> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/solver.rs:162:5 [INFO] [stdout] | [INFO] [stdout] 162 | pub fn declare_fun(&mut self, fun: &funs::Fun) -> Result<(), Error> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/solver.rs:197:5 [INFO] [stdout] | [INFO] [stdout] 197 | / pub fn scope( [INFO] [stdout] 198 | | &mut self, [INFO] [stdout] 199 | | f: impl FnOnce(&mut Solver) -> Result, [INFO] [stdout] 200 | | ) -> Result { [INFO] [stdout] | |_________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct [INFO] [stdout] --> smtlib/src/sorts.rs:8:1 [INFO] [stdout] | [INFO] [stdout] 8 | pub struct SortTemplate { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/sorts.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | pub name: String, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/sorts.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | pub index: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/sorts.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | pub arity: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct [INFO] [stdout] --> smtlib/src/sorts.rs:15:1 [INFO] [stdout] | [INFO] [stdout] 15 | pub struct Sort { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/sorts.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | pub name: String, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/sorts.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | pub index: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a struct field [INFO] [stdout] --> smtlib/src/sorts.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | pub parameters: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an enum [INFO] [stdout] --> smtlib/src/sorts.rs:28:1 [INFO] [stdout] | [INFO] [stdout] 28 | pub enum Index { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a variant [INFO] [stdout] --> smtlib/src/sorts.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | Numeral(usize), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a variant [INFO] [stdout] --> smtlib/src/sorts.rs:30:5 [INFO] [stdout] | [INFO] [stdout] 30 | Symbol(String), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/sorts.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 34 | pub fn instantiate(&self, parameters: Vec) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/sorts.rs:64:5 [INFO] [stdout] | [INFO] [stdout] 64 | pub fn new(name: impl Into) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/sorts.rs:76:5 [INFO] [stdout] | [INFO] [stdout] 76 | pub fn new_parametric(name: impl Into, parameters: Vec) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/sorts.rs:83:5 [INFO] [stdout] | [INFO] [stdout] 83 | pub fn new_indexed(name: impl Into, index: Vec) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/sorts.rs:91:5 [INFO] [stdout] | [INFO] [stdout] 91 | pub fn ast(&self) -> ast::Sort { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/sorts.rs:110:5 [INFO] [stdout] | [INFO] [stdout] 110 | pub fn new_const(&self, name: impl Into) -> terms::Const { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a trait [INFO] [stdout] --> smtlib/src/terms.rs:60:1 [INFO] [stdout] | [INFO] [stdout] 60 | pub trait StaticSorted: Into + From { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated type [INFO] [stdout] --> smtlib/src/terms.rs:61:5 [INFO] [stdout] | [INFO] [stdout] 61 | type Inner: StaticSorted; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/terms.rs:62:5 [INFO] [stdout] | [INFO] [stdout] 62 | fn static_sort() -> Sort; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/terms.rs:63:5 [INFO] [stdout] | [INFO] [stdout] 63 | fn new_const(name: impl Into) -> Const { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/terms.rs:115:5 [INFO] [stdout] | [INFO] [stdout] 115 | fn into_dynamic(self) -> Dynamic { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/terms.rs:215:5 [INFO] [stdout] | [INFO] [stdout] 215 | pub fn from_term_sort(t: Term, sort: Sort) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/terms.rs:219:5 [INFO] [stdout] | [INFO] [stdout] 219 | pub fn sort(&self) -> &Sort { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/terms.rs:223:5 [INFO] [stdout] | [INFO] [stdout] 223 | pub fn as_int(&self) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> smtlib/src/terms.rs:232:5 [INFO] [stdout] | [INFO] [stdout] 232 | pub fn as_bool(&self) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/theories/core.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn new(value: bool) -> Bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/theories/core.rs:89:5 [INFO] [stdout] | [INFO] [stdout] 89 | pub fn sort() -> Sort { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/theories/ints.rs:64:5 [INFO] [stdout] | [INFO] [stdout] 64 | pub fn sort() -> Sort { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for an associated function [INFO] [stdout] --> smtlib/src/theories/reals.rs:66:5 [INFO] [stdout] | [INFO] [stdout] 66 | pub fn sort() -> Sort { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 49.43s [INFO] running `Command { std: "docker" "inspect" "69bbfc1ae69f5e2c1b9c08788f5d0cb9588f6855982e5e5a0ddc4d74f302fd02", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "69bbfc1ae69f5e2c1b9c08788f5d0cb9588f6855982e5e5a0ddc4d74f302fd02", kill_on_drop: false }` [INFO] [stdout] 69bbfc1ae69f5e2c1b9c08788f5d0cb9588f6855982e5e5a0ddc4d74f302fd02