[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] testing oeb25/smtlib-rs against beta-2024-12-08 for beta-1.84.0-4-retry
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Foeb25%2Fsmtlib-rs" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/oeb25/smtlib-rs on toolchain beta-2024-12-08
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-12-08" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-3-tc2/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-tc2/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" "+beta-2024-12-08" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 149dabe3c510d4152024d696b3109456e6352e201d72c6ea0af38b2f2d5cb47b
[INFO] running `Command { std: "docker" "start" "-a" "149dabe3c510d4152024d696b3109456e6352e201d72c6ea0af38b2f2d5cb47b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "149dabe3c510d4152024d696b3109456e6352e201d72c6ea0af38b2f2d5cb47b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "149dabe3c510d4152024d696b3109456e6352e201d72c6ea0af38b2f2d5cb47b", kill_on_drop: false }`
[INFO] [stdout] 149dabe3c510d4152024d696b3109456e6352e201d72c6ea0af38b2f2d5cb47b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2024-12-08" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ec25a834e94190791cb8d4c9c6ff131cd910f6d95f6d8d6a331d65b72e5a651e
[INFO] running `Command { std: "docker" "start" "-a" "ec25a834e94190791cb8d4c9c6ff131cd910f6d95f6d8d6a331d65b72e5a651e", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.71
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling once_cell v1.18.0
[INFO] [stderr]    Compiling serde v1.0.192
[INFO] [stderr]    Compiling libc v0.2.150
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling beef v0.5.2
[INFO] [stderr]    Compiling hashbrown v0.14.2
[INFO] [stderr]    Compiling thiserror v1.0.50
[INFO] [stderr]    Compiling either v1.9.0
[INFO] [stderr]    Compiling gimli v0.28.0
[INFO] [stderr]    Compiling memchr v2.6.4
[INFO] [stderr]    Compiling eyre v0.6.11
[INFO] [stderr]    Compiling miniz_oxide v0.7.1
[INFO] [stderr]    Compiling owo-colors v3.5.0
[INFO] [stderr]    Compiling indenter v0.3.3
[INFO] [stderr]    Compiling winnow v0.5.19
[INFO] [stderr]    Compiling prettyplease v0.2.15
[INFO] [stderr]    Compiling xshell-macros v0.2.5
[INFO] [stderr]    Compiling tracing-core v0.1.32
[INFO] [stderr]    Compiling thread_local v1.1.7
[INFO] [stderr]    Compiling itertools v0.12.0
[INFO] [stderr]    Compiling xflags-macros v0.3.2
[INFO] [stderr]    Compiling heck v0.4.1
[INFO] [stderr]    Compiling xshell v0.2.5
[INFO] [stderr]    Compiling tracing-subscriber v0.3.18
[INFO] [stderr]    Compiling tracing v0.1.40
[INFO] [stderr]    Compiling object v0.32.1
[INFO] [stderr]    Compiling quote v1.0.33
[INFO] [stderr]    Compiling cc v1.0.83
[INFO] [stderr]    Compiling syn v2.0.43
[INFO] [stderr]    Compiling xflags v0.3.2
[INFO] [stderr]    Compiling backtrace v0.3.69
[INFO] [stderr]    Compiling tracing-error v0.2.0
[INFO] [stderr]    Compiling color-spantrace v0.2.1
[INFO] [stderr]    Compiling addr2line v0.21.0
[INFO] [stderr]    Compiling logos-codegen v0.13.0
[INFO] [stderr]    Compiling color-eyre v0.6.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 logos v0.13.0
[INFO] [stderr]    Compiling miette v5.10.0
[INFO] [stderr]    Compiling smtlib-lowlevel v0.2.0 (/opt/rustwide/workdir/lowlevel)
[INFO] [stderr]    Compiling indexmap v2.2.6
[INFO] [stderr]    Compiling toml_datetime v0.6.5
[INFO] [stderr]    Compiling serde_spanned v0.6.4
[INFO] [stderr]    Compiling toml_edit v0.21.0
[INFO] [stderr]    Compiling 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] [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<Sort>,
[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<String>, vars: Vec<Sort>, 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<Dynamic, crate::Error> {
[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<T>(
[INFO] [stdout] 198 | |         &mut self,
[INFO] [stdout] 199 | |         f: impl FnOnce(&mut Solver<B>) -> Result<T, Error>,
[INFO] [stdout] 200 | |     ) -> Result<T, Error> {
[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<Index>,
[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<Index>,
[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<Sort>,
[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<Sort>) -> Result<Sort, crate::Error> {
[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<String>) -> 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<String>, parameters: Vec<Sort>) -> 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<String>, index: Vec<Index>) -> 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<String>) -> terms::Const<terms::Dynamic> {
[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<Term> + From<Term> {
[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<String>) -> Const<Self> {
[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<crate::Int, crate::Error> {
[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<crate::Bool, crate::Error> {
[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]    Compiling toml v0.8.8
[INFO] [stderr]    Compiling xtask v0.2.0 (/opt/rustwide/workdir/xtask)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 39.18s
[INFO] running `Command { std: "docker" "inspect" "ec25a834e94190791cb8d4c9c6ff131cd910f6d95f6d8d6a331d65b72e5a651e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ec25a834e94190791cb8d4c9c6ff131cd910f6d95f6d8d6a331d65b72e5a651e", kill_on_drop: false }`
[INFO] [stdout] ec25a834e94190791cb8d4c9c6ff131cd910f6d95f6d8d6a331d65b72e5a651e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2024-12-08" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d0ccab27e127f00890e99c4db55947d04a747cb38b238f4304538603334b4743
[INFO] running `Command { std: "docker" "start" "-a" "d0ccab27e127f00890e99c4db55947d04a747cb38b238f4304538603334b4743", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.43
[INFO] [stderr]    Compiling libc v0.2.150
[INFO] [stderr]    Compiling memchr v2.6.4
[INFO] [stderr]    Compiling rustix v0.38.24
[INFO] [stderr]    Compiling bitflags v2.4.1
[INFO] [stderr]    Compiling linux-raw-sys v0.4.11
[INFO] [stderr]    Compiling futures-core v0.3.29
[INFO] [stderr]    Compiling bytes v1.6.0
[INFO] [stderr]    Compiling is_ci v1.1.1
[INFO] [stderr]    Compiling textwrap v0.15.2
[INFO] [stderr]    Compiling futures-channel v0.3.29
[INFO] [stderr]    Compiling futures-task v0.3.29
[INFO] [stderr]    Compiling futures-util v0.3.29
[INFO] [stderr]    Compiling futures-sink v0.3.29
[INFO] [stderr]    Compiling base64 v0.13.1
[INFO] [stderr]    Compiling futures-io v0.3.29
[INFO] [stderr]    Compiling similar v2.3.0
[INFO] [stderr]    Compiling cc v1.0.83
[INFO] [stderr]    Compiling object v0.32.1
[INFO] [stderr]    Compiling mio v0.8.11
[INFO] [stderr]    Compiling signal-hook-registry v1.4.2
[INFO] [stderr]    Compiling terminal_size v0.1.17
[INFO] [stderr]    Compiling console v0.15.7
[INFO] [stderr]    Compiling backtrace v0.3.69
[INFO] [stderr]    Compiling is-terminal v0.4.9
[INFO] [stderr]    Compiling supports-hyperlinks v2.1.0
[INFO] [stderr]    Compiling supports-color v2.1.0
[INFO] [stderr]    Compiling supports-unicode v2.0.0
[INFO] [stderr]    Compiling tokio v1.37.0
[INFO] [stderr]    Compiling logos-codegen v0.13.0
[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 futures-macro v0.3.29
[INFO] [stderr]    Compiling async-stream-impl v0.3.5
[INFO] [stderr]    Compiling logos-derive v0.13.0
[INFO] [stderr]    Compiling backtrace-ext v0.2.1
[INFO] [stderr]    Compiling color-eyre v0.6.2
[INFO] [stderr]    Compiling async-stream v0.3.5
[INFO] [stderr]    Compiling thiserror v1.0.50
[INFO] [stderr]    Compiling logos v0.13.0
[INFO] [stderr]    Compiling miette v5.10.0
[INFO] [stderr]    Compiling tokio-stream v0.1.15
[INFO] [stderr]    Compiling tokio-test v0.4.4
[INFO] [stderr]    Compiling serde v1.0.192
[INFO] [stderr]    Compiling futures-executor v0.3.29
[INFO] [stderr]    Compiling futures v0.3.29
[INFO] [stderr]    Compiling indexmap v2.2.6
[INFO] [stderr]    Compiling ron v0.7.1
[INFO] [stderr]    Compiling smtlib-lowlevel v0.2.0 (/opt/rustwide/workdir/lowlevel)
[INFO] [stderr]    Compiling toml_datetime v0.6.5
[INFO] [stderr]    Compiling serde_spanned v0.6.4
[INFO] [stderr]    Compiling toml_edit v0.21.0
[INFO] [stderr]    Compiling insta v1.34.0
[INFO] [stderr]    Compiling 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]    Compiling 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<Sort>,
[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<String>, vars: Vec<Sort>, 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<Dynamic, crate::Error> {
[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<T>(
[INFO] [stdout] 198 | |         &mut self,
[INFO] [stdout] 199 | |         f: impl FnOnce(&mut Solver<B>) -> Result<T, Error>,
[INFO] [stdout] 200 | |     ) -> Result<T, Error> {
[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<Index>,
[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<Index>,
[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<Sort>,
[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<Sort>) -> Result<Sort, crate::Error> {
[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<String>) -> 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<String>, parameters: Vec<Sort>) -> 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<String>, index: Vec<Index>) -> 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<String>) -> terms::Const<terms::Dynamic> {
[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<Term> + From<Term> {
[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<String>) -> Const<Self> {
[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<crate::Int, crate::Error> {
[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<crate::Bool, crate::Error> {
[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] [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]    Compiling xtask v0.2.0 (/opt/rustwide/workdir/xtask)
[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<Sort>,
[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<String>, vars: Vec<Sort>, 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<Dynamic, crate::Error> {
[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<T>(
[INFO] [stdout] 198 | |         &mut self,
[INFO] [stdout] 199 | |         f: impl FnOnce(&mut Solver<B>) -> Result<T, Error>,
[INFO] [stdout] 200 | |     ) -> Result<T, Error> {
[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<Index>,
[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<Index>,
[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<Sort>,
[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<Sort>) -> Result<Sort, crate::Error> {
[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<String>) -> 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<String>, parameters: Vec<Sort>) -> 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<String>, index: Vec<Index>) -> 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<String>) -> terms::Const<terms::Dynamic> {
[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<Term> + From<Term> {
[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<String>) -> Const<Self> {
[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<crate::Int, crate::Error> {
[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<crate::Bool, crate::Error> {
[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 `test` profile [unoptimized + debuginfo] target(s) in 30.22s
[INFO] running `Command { std: "docker" "inspect" "d0ccab27e127f00890e99c4db55947d04a747cb38b238f4304538603334b4743", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d0ccab27e127f00890e99c4db55947d04a747cb38b238f4304538603334b4743", kill_on_drop: false }`
[INFO] [stdout] d0ccab27e127f00890e99c4db55947d04a747cb38b238f4304538603334b4743
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2024-12-08" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] f8d0c997a2bdcaeb74c19e020f79caa27efd64ecc232c93f027b489588e2e17d
[INFO] running `Command { std: "docker" "start" "-a" "f8d0c997a2bdcaeb74c19e020f79caa27efd64ecc232c93f027b489588e2e17d", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `qual_ident`
[INFO] [stderr]  --> smtlib/src/theories/ints.rs:8:18
[INFO] [stderr]   |
[INFO] [stderr] 8 |     terms::{fun, qual_ident, Const, Dynamic, Sorted, StaticSorted},
[INFO] [stderr]   |                  ^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unreachable call
[INFO] [stderr]   --> smtlib/src/sorts.rs:36:20
[INFO] [stderr]    |
[INFO] [stderr] 36 |             return Err(todo!());
[INFO] [stderr]    |                    ^^^ ------- any code following this expression is unreachable
[INFO] [stderr]    |                    |
[INFO] [stderr]    |                    unreachable call
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unreachable_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a module
[INFO] [stderr]   --> smtlib/src/lib.rs:21:1
[INFO] [stderr]    |
[INFO] [stderr] 21 | pub mod funs;
[INFO] [stderr]    | ^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] note: the lint level is defined here
[INFO] [stderr]   --> smtlib/src/lib.rs:4:9
[INFO] [stderr]    |
[INFO] [stderr] 4  | #![warn(missing_docs)]
[INFO] [stderr]    |         ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a module
[INFO] [stderr]   --> smtlib/src/lib.rs:23:1
[INFO] [stderr]    |
[INFO] [stderr] 23 | pub mod sorts;
[INFO] [stderr]    | ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a module
[INFO] [stderr]   --> smtlib/src/lib.rs:34:1
[INFO] [stderr]    |
[INFO] [stderr] 34 | pub mod prelude {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a variant
[INFO] [stderr]    --> smtlib/src/lib.rs:118:5
[INFO] [stderr]     |
[INFO] [stderr] 118 |     DynamicCastSortMismatch {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a struct field
[INFO] [stderr]    --> smtlib/src/lib.rs:119:9
[INFO] [stderr]     |
[INFO] [stderr] 119 |         expected: sorts::Sort,
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a struct field
[INFO] [stderr]    --> smtlib/src/lib.rs:120:9
[INFO] [stderr]     |
[INFO] [stderr] 120 |         actual: sorts::Sort,
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a struct
[INFO] [stderr]  --> smtlib/src/funs.rs:9:1
[INFO] [stderr]   |
[INFO] [stderr] 9 | pub struct Fun {
[INFO] [stderr]   | ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a struct field
[INFO] [stderr]   --> smtlib/src/funs.rs:10:5
[INFO] [stderr]    |
[INFO] [stderr] 10 |     pub name: String,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a struct field
[INFO] [stderr]   --> smtlib/src/funs.rs:11:5
[INFO] [stderr]    |
[INFO] [stderr] 11 |     pub vars: Vec<Sort>,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a struct field
[INFO] [stderr]   --> smtlib/src/funs.rs:12:5
[INFO] [stderr]    |
[INFO] [stderr] 12 |     pub return_sort: Sort,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for an associated function
[INFO] [stderr]   --> smtlib/src/funs.rs:16:5
[INFO] [stderr]    |
[INFO] [stderr] 16 |     pub fn new(name: impl Into<String>, vars: Vec<Sort>, return_ty: Sort) -> Self {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a method
[INFO] [stderr]   --> smtlib/src/funs.rs:24:5
[INFO] [stderr]    |
[INFO] [stderr] 24 |     pub fn call(&self, args: &[Dynamic]) -> Result<Dynamic, crate::Error> {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a method
[INFO] [stderr]   --> smtlib/src/funs.rs:44:5
[INFO] [stderr]    |
[INFO] [stderr] 44 |     pub fn ast(&self) -> ast::FunctionDec {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a method
[INFO] [stderr]   --> smtlib/src/solver.rs:71:5
[INFO] [stderr]    |
[INFO] [stderr] 71 |     pub fn set_logger(&mut self, logger: impl Logger) {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a method
[INFO] [stderr]   --> smtlib/src/solver.rs:74:5
[INFO] [stderr]    |
[INFO] [stderr] 74 |     pub fn set_timeout(&mut self, ms: usize) -> Result<(), Error> {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a method
[INFO] [stderr]    --> smtlib/src/solver.rs:162:5
[INFO] [stderr]     |
[INFO] [stderr] 162 |     pub fn declare_fun(&mut self, fun: &funs::Fun) -> Result<(), Error> {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a method
[INFO] [stderr]    --> smtlib/src/solver.rs:197:5
[INFO] [stderr]     |
[INFO] [stderr] 197 | /     pub fn scope<T>(
[INFO] [stderr] 198 | |         &mut self,
[INFO] [stderr] 199 | |         f: impl FnOnce(&mut Solver<B>) -> Result<T, Error>,
[INFO] [stderr] 200 | |     ) -> Result<T, Error> {
[INFO] [stderr]     | |_________________________^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a struct
[INFO] [stderr]  --> smtlib/src/sorts.rs:8:1
[INFO] [stderr]   |
[INFO] [stderr] 8 | pub struct SortTemplate {
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a struct field
[INFO] [stderr]  --> smtlib/src/sorts.rs:9:5
[INFO] [stderr]   |
[INFO] [stderr] 9 |     pub name: String,
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a struct field
[INFO] [stderr]   --> smtlib/src/sorts.rs:10:5
[INFO] [stderr]    |
[INFO] [stderr] 10 |     pub index: Vec<Index>,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a struct field
[INFO] [stderr]   --> smtlib/src/sorts.rs:11:5
[INFO] [stderr]    |
[INFO] [stderr] 11 |     pub arity: usize,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a struct
[INFO] [stderr]   --> smtlib/src/sorts.rs:15:1
[INFO] [stderr]    |
[INFO] [stderr] 15 | pub struct Sort {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a struct field
[INFO] [stderr]   --> smtlib/src/sorts.rs:16:5
[INFO] [stderr]    |
[INFO] [stderr] 16 |     pub name: String,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a struct field
[INFO] [stderr]   --> smtlib/src/sorts.rs:17:5
[INFO] [stderr]    |
[INFO] [stderr] 17 |     pub index: Vec<Index>,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a struct field
[INFO] [stderr]   --> smtlib/src/sorts.rs:18:5
[INFO] [stderr]    |
[INFO] [stderr] 18 |     pub parameters: Vec<Sort>,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for an enum
[INFO] [stderr]   --> smtlib/src/sorts.rs:28:1
[INFO] [stderr]    |
[INFO] [stderr] 28 | pub enum Index {
[INFO] [stderr]    | ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a variant
[INFO] [stderr]   --> smtlib/src/sorts.rs:29:5
[INFO] [stderr]    |
[INFO] [stderr] 29 |     Numeral(usize),
[INFO] [stderr]    |     ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a variant
[INFO] [stderr]   --> smtlib/src/sorts.rs:30:5
[INFO] [stderr]    |
[INFO] [stderr] 30 |     Symbol(String),
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a method
[INFO] [stderr]   --> smtlib/src/sorts.rs:34:5
[INFO] [stderr]    |
[INFO] [stderr] 34 |     pub fn instantiate(&self, parameters: Vec<Sort>) -> Result<Sort, crate::Error> {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for an associated function
[INFO] [stderr]   --> smtlib/src/sorts.rs:64:5
[INFO] [stderr]    |
[INFO] [stderr] 64 |     pub fn new(name: impl Into<String>) -> Self {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for an associated function
[INFO] [stderr]   --> smtlib/src/sorts.rs:76:5
[INFO] [stderr]    |
[INFO] [stderr] 76 |     pub fn new_parametric(name: impl Into<String>, parameters: Vec<Sort>) -> Self {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for an associated function
[INFO] [stderr]   --> smtlib/src/sorts.rs:83:5
[INFO] [stderr]    |
[INFO] [stderr] 83 |     pub fn new_indexed(name: impl Into<String>, index: Vec<Index>) -> Self {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a method
[INFO] [stderr]   --> smtlib/src/sorts.rs:91:5
[INFO] [stderr]    |
[INFO] [stderr] 91 |     pub fn ast(&self) -> ast::Sort {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a method
[INFO] [stderr]    --> smtlib/src/sorts.rs:110:5
[INFO] [stderr]     |
[INFO] [stderr] 110 |     pub fn new_const(&self, name: impl Into<String>) -> terms::Const<terms::Dynamic> {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a trait
[INFO] [stderr]   --> smtlib/src/terms.rs:60:1
[INFO] [stderr]    |
[INFO] [stderr] 60 | pub trait StaticSorted: Into<Term> + From<Term> {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for an associated type
[INFO] [stderr]   --> smtlib/src/terms.rs:61:5
[INFO] [stderr]    |
[INFO] [stderr] 61 |     type Inner: StaticSorted;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for an associated function
[INFO] [stderr]   --> smtlib/src/terms.rs:62:5
[INFO] [stderr]    |
[INFO] [stderr] 62 |     fn static_sort() -> Sort;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for an associated function
[INFO] [stderr]   --> smtlib/src/terms.rs:63:5
[INFO] [stderr]    |
[INFO] [stderr] 63 |     fn new_const(name: impl Into<String>) -> Const<Self> {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a method
[INFO] [stderr]    --> smtlib/src/terms.rs:115:5
[INFO] [stderr]     |
[INFO] [stderr] 115 |     fn into_dynamic(self) -> Dynamic {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for an associated function
[INFO] [stderr]    --> smtlib/src/terms.rs:215:5
[INFO] [stderr]     |
[INFO] [stderr] 215 |     pub fn from_term_sort(t: Term, sort: Sort) -> Self {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a method
[INFO] [stderr]    --> smtlib/src/terms.rs:219:5
[INFO] [stderr]     |
[INFO] [stderr] 219 |     pub fn sort(&self) -> &Sort {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a method
[INFO] [stderr]    --> smtlib/src/terms.rs:223:5
[INFO] [stderr]     |
[INFO] [stderr] 223 |     pub fn as_int(&self) -> Result<crate::Int, crate::Error> {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a method
[INFO] [stderr]    --> smtlib/src/terms.rs:232:5
[INFO] [stderr]     |
[INFO] [stderr] 232 |     pub fn as_bool(&self) -> Result<crate::Bool, crate::Error> {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for an associated function
[INFO] [stderr]   --> smtlib/src/theories/core.rs:18:5
[INFO] [stderr]    |
[INFO] [stderr] 18 |     pub fn new(value: bool) -> Bool {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for an associated function
[INFO] [stderr]   --> smtlib/src/theories/core.rs:89:5
[INFO] [stderr]    |
[INFO] [stderr] 89 |     pub fn sort() -> Sort {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for an associated function
[INFO] [stderr]   --> smtlib/src/theories/ints.rs:64:5
[INFO] [stderr]    |
[INFO] [stderr] 64 |     pub fn sort() -> Sort {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for an associated function
[INFO] [stderr]   --> smtlib/src/theories/reals.rs:66:5
[INFO] [stderr]    |
[INFO] [stderr] 66 |     pub fn sort() -> Sort {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `smtlib` (lib) generated 49 warnings (run `cargo fix --lib -p smtlib` to apply 1 suggestion)
[INFO] [stderr] warning: `smtlib` (lib test) generated 49 warnings (49 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.18s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/smtlib-ccb6a660ca3fe532)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test tests::int_math ... ok
[INFO] [stdout] test tests::quantifiers ... ok
[INFO] [stdout] test tests::negative_numbers ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- tests::negative_numbers stdout ----
[INFO] [stdout] thread 'tests::negative_numbers' panicked at smtlib/src/tests.rs:29:81:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5e122a44fc0a - std::backtrace_rs::backtrace::libunwind::trace::h8810477743020387
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
[INFO] [stdout]    1:     0x5e122a44fc0a - std::backtrace_rs::backtrace::trace_unsynchronized::h3aa55355dd6c54a6
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5e122a44fc0a - std::sys::backtrace::_print_fmt::h8588b0f62410823f
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5e122a44fc0a - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h98c26ac25ffe89bb
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5e122a4757f3 - core::fmt::rt::Argument::fmt::hf95377f4aebd453b
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/fmt/rt.rs:177:76
[INFO] [stdout]    5:     0x5e122a4757f3 - core::fmt::write::h0dd5f6e2238c7982
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/fmt/mod.rs:1189:21
[INFO] [stdout]    6:     0x5e122a44ccd3 - std::io::Write::write_fmt::h03bb0ca26e6faf8c
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/io/mod.rs:1884:15
[INFO] [stdout]    7:     0x5e122a44fa52 - std::sys::backtrace::BacktraceLock::print::h5c19c1c038ee186d
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    8:     0x5e122a45108d - std::panicking::default_hook::{{closure}}::h77172f079a1fcb13
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:268:22
[INFO] [stdout]    9:     0x5e122a450e97 - std::panicking::default_hook::he5f8e3b203ccddba
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:292:9
[INFO] [stdout]   10:     0x5e122a3c1b67 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h7a3c7b4a1ae77f2f
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/alloc/src/boxed.rs:1986:9
[INFO] [stdout]   11:     0x5e122a3c1b67 - test::test_main::{{closure}}::hf0d3b69ae9b353d1
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/test/src/lib.rs:134:21
[INFO] [stdout]   12:     0x5e122a451738 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h6332e82e7b189abd
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/alloc/src/boxed.rs:1986:9
[INFO] [stdout]   13:     0x5e122a451738 - std::panicking::rust_panic_with_hook::h53863d4e9018df39
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:809:13
[INFO] [stdout]   14:     0x5e122a4514fa - std::panicking::begin_panic_handler::{{closure}}::h67280e6fa0757873
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:674:13
[INFO] [stdout]   15:     0x5e122a4500e9 - std::sys::backtrace::__rust_end_short_backtrace::h1dac3f54d6fbbeb2
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:170:18
[INFO] [stdout]   16:     0x5e122a45118c - rust_begin_unwind
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:665:5
[INFO] [stdout]   17:     0x5e122a35faa0 - core::panicking::panic_fmt::h6792bd1b2bf01041
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/panicking.rs:76:14
[INFO] [stdout]   18:     0x5e122a35fee6 - core::result::unwrap_failed::h05e0602ed34287c5
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/result.rs:1699:5
[INFO] [stdout]   19:     0x5e122a378f32 - core::result::Result<T,E>::unwrap::hf3f726351c394330
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/result.rs:1104:23
[INFO] [stdout]   20:     0x5e122a378f32 - smtlib::tests::negative_numbers::hfb32a0798827ca42
[INFO] [stdout]                                at /opt/rustwide/workdir/smtlib/src/tests.rs:29:34
[INFO] [stdout]   21:     0x5e122a378e97 - smtlib::tests::negative_numbers::{{closure}}::hbf0204f79f61f6d7
[INFO] [stdout]                                at /opt/rustwide/workdir/smtlib/src/tests.rs:28:22
[INFO] [stdout]   22:     0x5e122a371366 - core::ops::function::FnOnce::call_once::h5618f4da4d67aaf3
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x5e122a3c668b - core::ops::function::FnOnce::call_once::h871bf86719ec9aa4
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5e122a3c668b - test::__rust_begin_short_backtrace::h2167df1e2b7d76fd
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/test/src/lib.rs:632:18
[INFO] [stdout]   25:     0x5e122a3c6078 - test::run_test_in_process::{{closure}}::h15d92f75a3adfb79
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/test/src/lib.rs:655:60
[INFO] [stdout]   26:     0x5e122a3c6078 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hb6c8955835a8dbbb
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   27:     0x5e122a3c6078 - std::panicking::try::do_call::hc79d0fc888a0bd30
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:557:40
[INFO] [stdout]   28:     0x5e122a3c6078 - std::panicking::try::hb8a7878e3a8589d6
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:520:19
[INFO] [stdout]   29:     0x5e122a3c6078 - std::panic::catch_unwind::hb8e4600ff0ff5cfa
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panic.rs:358:14
[INFO] [stdout]   30:     0x5e122a3c6078 - test::run_test_in_process::hc2900b0b18688dd6
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/test/src/lib.rs:655:27
[INFO] [stdout]   31:     0x5e122a3c6078 - test::run_test::{{closure}}::hac2a9cb07be3d48d
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/test/src/lib.rs:576:43
[INFO] [stdout]   32:     0x5e122a389b1a - test::run_test::{{closure}}::h4a5b729e66a38cd8
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/test/src/lib.rs:606:41
[INFO] [stdout]   33:     0x5e122a389b1a - std::sys::backtrace::__rust_begin_short_backtrace::h0496fb742492f573
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:154:18
[INFO] [stdout]   34:     0x5e122a38d494 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hbb6d257c550a54bd
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/thread/mod.rs:561:17
[INFO] [stdout]   35:     0x5e122a38d494 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h46696fe4a6832328
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   36:     0x5e122a38d494 - std::panicking::try::do_call::h2625a51b667bfb64
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:557:40
[INFO] [stdout]   37:     0x5e122a38d494 - std::panicking::try::hb956a59a1973aa4c
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:520:19
[INFO] [stdout]   38:     0x5e122a38d494 - std::panic::catch_unwind::h64f3b9d1067ef6a0
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panic.rs:358:14
[INFO] [stdout]   39:     0x5e122a38d494 - std::thread::Builder::spawn_unchecked_::{{closure}}::h42b2841295b6c0b2
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/thread/mod.rs:559:30
[INFO] [stdout]   40:     0x5e122a38d494 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6127de71b8124639
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x5e122a4557bb - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h42f0ba71002a1b2c
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/alloc/src/boxed.rs:1972:9
[INFO] [stdout]   42:     0x5e122a4557bb - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::had9e47d7a3dcecb8
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/alloc/src/boxed.rs:1972:9
[INFO] [stdout]   43:     0x5e122a4557bb - std::sys::pal::unix::thread::Thread::new::thread_start::h48cf765408f6f5f2
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/pal/unix/thread.rs:105:17
[INFO] [stdout]   44:     0x71259c1e9ac3 - <unknown>
[INFO] [stdout]   45:     0x71259c27aa04 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     tests::negative_numbers
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 2 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p smtlib --lib`
[INFO] running `Command { std: "docker" "inspect" "f8d0c997a2bdcaeb74c19e020f79caa27efd64ecc232c93f027b489588e2e17d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f8d0c997a2bdcaeb74c19e020f79caa27efd64ecc232c93f027b489588e2e17d", kill_on_drop: false }`
[INFO] [stdout] f8d0c997a2bdcaeb74c19e020f79caa27efd64ecc232c93f027b489588e2e17d
