[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 try#9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869 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-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 9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869" "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" "+9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869" "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" "+9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c6a6210ef5335fa2c08f6603a0089bc32e4888cbfbe981aaf75c79c155262492
[INFO] running `Command { std: "docker" "start" "-a" "c6a6210ef5335fa2c08f6603a0089bc32e4888cbfbe981aaf75c79c155262492", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c6a6210ef5335fa2c08f6603a0089bc32e4888cbfbe981aaf75c79c155262492", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c6a6210ef5335fa2c08f6603a0089bc32e4888cbfbe981aaf75c79c155262492", kill_on_drop: false }`
[INFO] [stdout] c6a6210ef5335fa2c08f6603a0089bc32e4888cbfbe981aaf75c79c155262492
[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=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" "+9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1f21b310e32b3396563b57ff92c9fa137186182bdde0d5b33f89680ca8fde08b
[INFO] running `Command { std: "docker" "start" "-a" "1f21b310e32b3396563b57ff92c9fa137186182bdde0d5b33f89680ca8fde08b", 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]     Checking once_cell v1.18.0
[INFO] [stderr]    Compiling serde v1.0.192
[INFO] [stderr]     Checking memchr v2.6.4
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]    Compiling rustix v0.38.24
[INFO] [stderr]     Checking adler v1.0.2
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]     Checking gimli v0.28.0
[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]    Compiling quote v1.0.33
[INFO] [stderr]     Checking owo-colors v3.5.0
[INFO] [stderr]     Checking object v0.32.1
[INFO] [stderr]    Compiling syn v2.0.43
[INFO] [stderr]    Compiling cc v1.0.83
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]     Checking signal-hook-registry v1.4.2
[INFO] [stderr]     Checking mio v0.8.11
[INFO] [stderr]     Checking equivalent v1.0.1
[INFO] [stderr]     Checking bytes v1.6.0
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]     Checking is-terminal v0.4.9
[INFO] [stderr]     Checking hashbrown v0.14.2
[INFO] [stderr]    Compiling thiserror v1.0.50
[INFO] [stderr]    Compiling backtrace v0.3.69
[INFO] [stderr]    Compiling beef v0.5.2
[INFO] [stderr]     Checking either v1.9.0
[INFO] [stderr]     Checking addr2line v0.21.0
[INFO] [stderr]    Compiling fnv v1.0.7
[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]     Checking smawk v0.3.2
[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 supports-color v2.1.0
[INFO] [stderr]     Checking supports-hyperlinks v2.1.0
[INFO] [stderr]     Checking supports-unicode v2.0.0
[INFO] [stderr]     Checking terminal_size v0.1.17
[INFO] [stderr]     Checking futures-sink v0.3.29
[INFO] [stderr]     Checking textwrap v0.15.2
[INFO] [stderr]    Compiling futures-util v0.3.29
[INFO] [stderr]     Checking futures-io v0.3.29
[INFO] [stderr]     Checking base64 v0.13.1
[INFO] [stderr]     Checking linked-hash-map v0.5.6
[INFO] [stderr]     Checking pin-utils v0.1.0
[INFO] [stderr]     Checking bitflags v1.3.2
[INFO] [stderr]     Checking console v0.15.7
[INFO] [stderr]     Checking tracing-core v0.1.32
[INFO] [stderr]     Checking yaml-rust v0.4.5
[INFO] [stderr]     Checking similar v2.3.0
[INFO] [stderr]     Checking sharded-slab v0.1.7
[INFO] [stderr]     Checking thread_local v1.1.7
[INFO] [stderr]     Checking backtrace-ext v0.2.1
[INFO] [stderr]     Checking tracing v0.1.40
[INFO] [stderr]    Compiling eyre v0.6.11
[INFO] [stderr]     Checking winnow v0.5.19
[INFO] [stderr]     Checking indenter v0.3.3
[INFO] [stderr]    Compiling prettyplease v0.2.15
[INFO] [stderr]    Compiling logos-codegen v0.13.0
[INFO] [stderr]     Checking tracing-subscriber v0.3.18
[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 xflags v0.3.2
[INFO] [stderr]     Checking tokio-stream v0.1.15
[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]    Compiling serde_derive v1.0.192
[INFO] [stderr]    Compiling thiserror-impl v1.0.50
[INFO] [stderr]    Compiling logos-derive v0.13.0
[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]     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 ron v0.7.1
[INFO] [stderr]     Checking smtlib-lowlevel v0.2.0 (/opt/rustwide/workdir/lowlevel)
[INFO] [stderr]     Checking serde_spanned v0.6.4
[INFO] [stderr]     Checking toml_datetime v0.6.5
[INFO] [stderr]     Checking insta v1.34.0
[INFO] [stderr]     Checking toml_edit v0.21.0
[INFO] [stdout] error: this conversion is useless `std::string::String` to `std::string::String`
[INFO] [stdout]   --> lowlevel/src/ast.rs:46:73
[INFO] [stdout]    |
[INFO] [stdout] 46 |             #[allow(clippy::useless_conversion)] return Ok(Self::String(m0.into()));
[INFO] [stdout]    |                                                                         ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[deny(self_type_conversion)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Binary` to `lexicon::Binary`
[INFO] [stdout]   --> lowlevel/src/ast.rs:50:73
[INFO] [stdout]    |
[INFO] [stdout] 50 |             #[allow(clippy::useless_conversion)] return Ok(Self::Binary(m0.into()));
[INFO] [stdout]    |                                                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Hexadecimal` to `lexicon::Hexadecimal`
[INFO] [stdout]   --> lowlevel/src/ast.rs:54:78
[INFO] [stdout]    |
[INFO] [stdout] 54 |             #[allow(clippy::useless_conversion)] return Ok(Self::Hexadecimal(m0.into()));
[INFO] [stdout]    |                                                                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Decimal` to `lexicon::Decimal`
[INFO] [stdout]   --> lowlevel/src/ast.rs:58:74
[INFO] [stdout]    |
[INFO] [stdout] 58 |             #[allow(clippy::useless_conversion)] return Ok(Self::Decimal(m0.into()));
[INFO] [stdout]    |                                                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Numeral` to `lexicon::Numeral`
[INFO] [stdout]   --> lowlevel/src/ast.rs:62:74
[INFO] [stdout]    |
[INFO] [stdout] 62 |             #[allow(clippy::useless_conversion)] return Ok(Self::Numeral(m0.into()));
[INFO] [stdout]    |                                                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<SExpr>` to `Vec<SExpr>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:109:72
[INFO] [stdout]     |
[INFO] [stdout] 109 |             #[allow(clippy::useless_conversion)] return Ok(Self::Paren(m0.into()));
[INFO] [stdout]     |                                                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Keyword` to `lexicon::Keyword`
[INFO] [stdout]    --> lowlevel/src/ast.rs:113:74
[INFO] [stdout]     |
[INFO] [stdout] 113 |             #[allow(clippy::useless_conversion)] return Ok(Self::Keyword(m0.into()));
[INFO] [stdout]     |                                                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Reserved` to `lexicon::Reserved`
[INFO] [stdout]    --> lowlevel/src/ast.rs:117:75
[INFO] [stdout]     |
[INFO] [stdout] 117 |             #[allow(clippy::useless_conversion)] return Ok(Self::Reserved(m0.into()));
[INFO] [stdout]     |                                                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Symbol` to `lexicon::Symbol`
[INFO] [stdout]    --> lowlevel/src/ast.rs:121:73
[INFO] [stdout]     |
[INFO] [stdout] 121 |             #[allow(clippy::useless_conversion)] return Ok(Self::Symbol(m0.into()));
[INFO] [stdout]     |                                                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `SpecConstant` to `SpecConstant`
[INFO] [stdout]    --> lowlevel/src/ast.rs:126:42
[INFO] [stdout]     |
[INFO] [stdout] 126 |             return Ok(Self::SpecConstant(m0.into()));
[INFO] [stdout]     |                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Symbol` to `lexicon::Symbol`
[INFO] [stdout]    --> lowlevel/src/ast.rs:160:73
[INFO] [stdout]     |
[INFO] [stdout] 160 |             #[allow(clippy::useless_conversion)] return Ok(Self::Symbol(m0.into()));
[INFO] [stdout]     |                                                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Numeral` to `lexicon::Numeral`
[INFO] [stdout]    --> lowlevel/src/ast.rs:164:74
[INFO] [stdout]     |
[INFO] [stdout] 164 |             #[allow(clippy::useless_conversion)] return Ok(Self::Numeral(m0.into()));
[INFO] [stdout]     |                                                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Symbol` to `lexicon::Symbol`
[INFO] [stdout]    --> lowlevel/src/ast.rs:207:37
[INFO] [stdout]     |
[INFO] [stdout] 207 |             return Ok(Self::Indexed(m0.into(), m1.into()));
[INFO] [stdout]     |                                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<ast::Index>` to `Vec<ast::Index>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:207:48
[INFO] [stdout]     |
[INFO] [stdout] 207 |             return Ok(Self::Indexed(m0.into(), m1.into()));
[INFO] [stdout]     |                                                ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Symbol` to `lexicon::Symbol`
[INFO] [stdout]    --> lowlevel/src/ast.rs:211:73
[INFO] [stdout]     |
[INFO] [stdout] 211 |             #[allow(clippy::useless_conversion)] return Ok(Self::Simple(m0.into()));
[INFO] [stdout]     |                                                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `SExpr` to `SExpr`
[INFO] [stdout]    --> lowlevel/src/ast.rs:251:71
[INFO] [stdout]     |
[INFO] [stdout] 251 |             #[allow(clippy::useless_conversion)] return Ok(Self::Expr(m0.into()));
[INFO] [stdout]     |                                                                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Symbol` to `lexicon::Symbol`
[INFO] [stdout]    --> lowlevel/src/ast.rs:255:73
[INFO] [stdout]     |
[INFO] [stdout] 255 |             #[allow(clippy::useless_conversion)] return Ok(Self::Symbol(m0.into()));
[INFO] [stdout]     |                                                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `SpecConstant` to `SpecConstant`
[INFO] [stdout]    --> lowlevel/src/ast.rs:260:42
[INFO] [stdout]     |
[INFO] [stdout] 260 |             return Ok(Self::SpecConstant(m0.into()));
[INFO] [stdout]     |                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Keyword` to `lexicon::Keyword`
[INFO] [stdout]    --> lowlevel/src/ast.rs:298:39
[INFO] [stdout]     |
[INFO] [stdout] 298 |             return Ok(Self::WithValue(m0.into(), m1.into()));
[INFO] [stdout]     |                                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `AttributeValue` to `AttributeValue`
[INFO] [stdout]    --> lowlevel/src/ast.rs:298:50
[INFO] [stdout]     |
[INFO] [stdout] 298 |             return Ok(Self::WithValue(m0.into(), m1.into()));
[INFO] [stdout]     |                                                  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Keyword` to `lexicon::Keyword`
[INFO] [stdout]    --> lowlevel/src/ast.rs:302:74
[INFO] [stdout]     |
[INFO] [stdout] 302 |             #[allow(clippy::useless_conversion)] return Ok(Self::Keyword(m0.into()));
[INFO] [stdout]     |                                                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Identifier` to `Identifier`
[INFO] [stdout]    --> lowlevel/src/ast.rs:336:71
[INFO] [stdout]     |
[INFO] [stdout] 336 |             #[allow(clippy::useless_conversion)] return Ok(Self::Sort(m0.into()));
[INFO] [stdout]     |                                                                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Identifier` to `Identifier`
[INFO] [stdout]    --> lowlevel/src/ast.rs:344:40
[INFO] [stdout]     |
[INFO] [stdout] 344 |             return Ok(Self::Parametric(m0.into(), m1.into()));
[INFO] [stdout]     |                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<Sort>` to `Vec<Sort>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:344:51
[INFO] [stdout]     |
[INFO] [stdout] 344 |             return Ok(Self::Parametric(m0.into(), m1.into()));
[INFO] [stdout]     |                                                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Identifier` to `Identifier`
[INFO] [stdout]    --> lowlevel/src/ast.rs:387:36
[INFO] [stdout]     |
[INFO] [stdout] 387 |             return Ok(Self::Sorted(m0.into(), m1.into()));
[INFO] [stdout]     |                                    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Sort` to `Sort`
[INFO] [stdout]    --> lowlevel/src/ast.rs:387:47
[INFO] [stdout]     |
[INFO] [stdout] 387 |             return Ok(Self::Sorted(m0.into(), m1.into()));
[INFO] [stdout]     |                                               ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Identifier` to `Identifier`
[INFO] [stdout]    --> lowlevel/src/ast.rs:391:77
[INFO] [stdout]     |
[INFO] [stdout] 391 |             #[allow(clippy::useless_conversion)] return Ok(Self::Identifier(m0.into()));
[INFO] [stdout]     |                                                                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Symbol` to `lexicon::Symbol`
[INFO] [stdout]    --> lowlevel/src/ast.rs:481:41
[INFO] [stdout]     |
[INFO] [stdout] 481 |             return Ok(Self::Application(m0.into(), m1.into()));
[INFO] [stdout]     |                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<lexicon::Symbol>` to `Vec<lexicon::Symbol>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:481:52
[INFO] [stdout]     |
[INFO] [stdout] 481 |             return Ok(Self::Application(m0.into(), m1.into()));
[INFO] [stdout]     |                                                    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Symbol` to `lexicon::Symbol`
[INFO] [stdout]    --> lowlevel/src/ast.rs:485:73
[INFO] [stdout]     |
[INFO] [stdout] 485 |             #[allow(clippy::useless_conversion)] return Ok(Self::Symbol(m0.into()));
[INFO] [stdout]     |                                                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<MatchCase>` to `Vec<MatchCase>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:593:46
[INFO] [stdout]     |
[INFO] [stdout] 593 |             return Ok(Self::Match(m0.into(), m1.into()));
[INFO] [stdout]     |                                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<SortedVar>` to `Vec<SortedVar>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:607:36
[INFO] [stdout]     |
[INFO] [stdout] 607 |             return Ok(Self::Exists(m0.into(), m1.into()));
[INFO] [stdout]     |                                    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<SortedVar>` to `Vec<SortedVar>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:621:36
[INFO] [stdout]     |
[INFO] [stdout] 621 |             return Ok(Self::Forall(m0.into(), m1.into()));
[INFO] [stdout]     |                                    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<VarBinding>` to `Vec<VarBinding>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:635:33
[INFO] [stdout]     |
[INFO] [stdout] 635 |             return Ok(Self::Let(m0.into(), m1.into()));
[INFO] [stdout]     |                                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<Attribute>` to `Vec<Attribute>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:646:51
[INFO] [stdout]     |
[INFO] [stdout] 646 |             return Ok(Self::Annotation(m0.into(), m1.into()));
[INFO] [stdout]     |                                                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `QualIdentifier` to `QualIdentifier`
[INFO] [stdout]    --> lowlevel/src/ast.rs:654:41
[INFO] [stdout]     |
[INFO] [stdout] 654 |             return Ok(Self::Application(m0.into(), m1.into()));
[INFO] [stdout]     |                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<Term>` to `Vec<Term>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:654:52
[INFO] [stdout]     |
[INFO] [stdout] 654 |             return Ok(Self::Application(m0.into(), m1.into()));
[INFO] [stdout]     |                                                    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `QualIdentifier` to `QualIdentifier`
[INFO] [stdout]    --> lowlevel/src/ast.rs:658:77
[INFO] [stdout]     |
[INFO] [stdout] 658 |             #[allow(clippy::useless_conversion)] return Ok(Self::Identifier(m0.into()));
[INFO] [stdout]     |                                                                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `SpecConstant` to `SpecConstant`
[INFO] [stdout]    --> lowlevel/src/ast.rs:663:42
[INFO] [stdout]     |
[INFO] [stdout] 663 |             return Ok(Self::SpecConstant(m0.into()));
[INFO] [stdout]     |                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Identifier` to `Identifier`
[INFO] [stdout]    --> lowlevel/src/ast.rs:786:40
[INFO] [stdout]     |
[INFO] [stdout] 786 |             return Ok(Self::Identifier(m0.into(), m1.into(), m2.into()));
[INFO] [stdout]     |                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<Sort>` to `Vec<Sort>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:786:51
[INFO] [stdout]     |
[INFO] [stdout] 786 |             return Ok(Self::Identifier(m0.into(), m1.into(), m2.into()));
[INFO] [stdout]     |                                                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<Attribute>` to `Vec<Attribute>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:786:62
[INFO] [stdout]     |
[INFO] [stdout] 786 |             return Ok(Self::Identifier(m0.into(), m1.into(), m2.into()));
[INFO] [stdout]     |                                                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `MetaSpecConstant` to `MetaSpecConstant`
[INFO] [stdout]    --> lowlevel/src/ast.rs:795:46
[INFO] [stdout]     |
[INFO] [stdout] 795 |             return Ok(Self::MetaSpecConstant(m0.into(), m1.into(), m2.into()));
[INFO] [stdout]     |                                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Sort` to `Sort`
[INFO] [stdout]    --> lowlevel/src/ast.rs:795:57
[INFO] [stdout]     |
[INFO] [stdout] 795 |             return Ok(Self::MetaSpecConstant(m0.into(), m1.into(), m2.into()));
[INFO] [stdout]     |                                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<Attribute>` to `Vec<Attribute>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:795:68
[INFO] [stdout]     |
[INFO] [stdout] 795 |             return Ok(Self::MetaSpecConstant(m0.into(), m1.into(), m2.into()));
[INFO] [stdout]     |                                                                    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `SpecConstant` to `SpecConstant`
[INFO] [stdout]    --> lowlevel/src/ast.rs:804:42
[INFO] [stdout]     |
[INFO] [stdout] 804 |             return Ok(Self::SpecConstant(m0.into(), m1.into(), m2.into()));
[INFO] [stdout]     |                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Sort` to `Sort`
[INFO] [stdout]    --> lowlevel/src/ast.rs:804:53
[INFO] [stdout]     |
[INFO] [stdout] 804 |             return Ok(Self::SpecConstant(m0.into(), m1.into(), m2.into()));
[INFO] [stdout]     |                                                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<Attribute>` to `Vec<Attribute>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:804:64
[INFO] [stdout]     |
[INFO] [stdout] 804 |             return Ok(Self::SpecConstant(m0.into(), m1.into(), m2.into()));
[INFO] [stdout]     |                                                                ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<lexicon::Symbol>` to `Vec<lexicon::Symbol>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:860:33
[INFO] [stdout]     |
[INFO] [stdout] 860 |             return Ok(Self::Par(m0.into(), m1.into(), m2.into(), m3.into()));
[INFO] [stdout]     |                                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Identifier` to `Identifier`
[INFO] [stdout]    --> lowlevel/src/ast.rs:860:44
[INFO] [stdout]     |
[INFO] [stdout] 860 |             return Ok(Self::Par(m0.into(), m1.into(), m2.into(), m3.into()));
[INFO] [stdout]     |                                            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<Sort>` to `Vec<Sort>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:860:55
[INFO] [stdout]     |
[INFO] [stdout] 860 |             return Ok(Self::Par(m0.into(), m1.into(), m2.into(), m3.into()));
[INFO] [stdout]     |                                                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<Attribute>` to `Vec<Attribute>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:860:66
[INFO] [stdout]     |
[INFO] [stdout] 860 |             return Ok(Self::Par(m0.into(), m1.into(), m2.into(), m3.into()));
[INFO] [stdout]     |                                                                  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `FunSymbolDecl` to `FunSymbolDecl`
[INFO] [stdout]    --> lowlevel/src/ast.rs:865:43
[INFO] [stdout]     |
[INFO] [stdout] 865 |             return Ok(Self::FunSymbolDecl(m0.into()));
[INFO] [stdout]     |                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<ParFunSymbolDecl>` to `Vec<ParFunSymbolDecl>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:931:71
[INFO] [stdout]     |
[INFO] [stdout] 931 |             #[allow(clippy::useless_conversion)] return Ok(Self::Funs(m0.into()));
[INFO] [stdout]     |                                                                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<SortSymbolDecl>` to `Vec<SortSymbolDecl>`
[INFO] [stdout]    --> lowlevel/src/ast.rs:940:72
[INFO] [stdout]     |
[INFO] [stdout] 940 |             #[allow(clippy::useless_conversion)] return Ok(Self::Sorts(m0.into()));
[INFO] [stdout]     |                                                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `std::string::String` to `std::string::String`
[INFO] [stdout]    --> lowlevel/src/ast.rs:945:72
[INFO] [stdout]     |
[INFO] [stdout] 945 |             #[allow(clippy::useless_conversion)] return Ok(Self::Notes(m0.into()));
[INFO] [stdout]     |                                                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `std::string::String` to `std::string::String`
[INFO] [stdout]    --> lowlevel/src/ast.rs:950:73
[INFO] [stdout]     |
[INFO] [stdout] 950 |             #[allow(clippy::useless_conversion)] return Ok(Self::Values(m0.into()));
[INFO] [stdout]     |                                                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `std::string::String` to `std::string::String`
[INFO] [stdout]    --> lowlevel/src/ast.rs:955:77
[INFO] [stdout]     |
[INFO] [stdout] 955 |             #[allow(clippy::useless_conversion)] return Ok(Self::Definition(m0.into()));
[INFO] [stdout]     |                                                                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `std::string::String` to `std::string::String`
[INFO] [stdout]    --> lowlevel/src/ast.rs:961:45
[INFO] [stdout]     |
[INFO] [stdout] 961 |             return Ok(Self::FunsDescription(m0.into()));
[INFO] [stdout]     |                                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `std::string::String` to `std::string::String`
[INFO] [stdout]    --> lowlevel/src/ast.rs:967:46
[INFO] [stdout]     |
[INFO] [stdout] 967 |             return Ok(Self::SortsDescription(m0.into()));
[INFO] [stdout]     |                                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Attribute` to `Attribute`
[INFO] [stdout]    --> lowlevel/src/ast.rs:971:76
[INFO] [stdout]     |
[INFO] [stdout] 971 |             #[allow(clippy::useless_conversion)] return Ok(Self::Attribute(m0.into()));
[INFO] [stdout]     |                                                                            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<lexicon::Symbol>` to `Vec<lexicon::Symbol>`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1056:75
[INFO] [stdout]      |
[INFO] [stdout] 1056 |             #[allow(clippy::useless_conversion)] return Ok(Self::Theories(m0.into()));
[INFO] [stdout]      |                                                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `std::string::String` to `std::string::String`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1061:72
[INFO] [stdout]      |
[INFO] [stdout] 1061 |             #[allow(clippy::useless_conversion)] return Ok(Self::Notes(m0.into()));
[INFO] [stdout]      |                                                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `std::string::String` to `std::string::String`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1066:73
[INFO] [stdout]      |
[INFO] [stdout] 1066 |             #[allow(clippy::useless_conversion)] return Ok(Self::Values(m0.into()));
[INFO] [stdout]      |                                                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `std::string::String` to `std::string::String`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1071:77
[INFO] [stdout]      |
[INFO] [stdout] 1071 |             #[allow(clippy::useless_conversion)] return Ok(Self::Extensions(m0.into()));
[INFO] [stdout]      |                                                                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `std::string::String` to `std::string::String`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1076:75
[INFO] [stdout]      |
[INFO] [stdout] 1076 |             #[allow(clippy::useless_conversion)] return Ok(Self::Language(m0.into()));
[INFO] [stdout]      |                                                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Attribute` to `Attribute`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1080:76
[INFO] [stdout]      |
[INFO] [stdout] 1080 |             #[allow(clippy::useless_conversion)] return Ok(Self::Attribute(m0.into()));
[INFO] [stdout]      |                                                                            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<lexicon::Symbol>` to `Vec<lexicon::Symbol>`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1238:33
[INFO] [stdout]      |
[INFO] [stdout] 1238 |             return Ok(Self::Par(m0.into(), m1.into()));
[INFO] [stdout]      |                                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<ConstructorDec>` to `Vec<ConstructorDec>`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1238:44
[INFO] [stdout]      |
[INFO] [stdout] 1238 |             return Ok(Self::Par(m0.into(), m1.into()));
[INFO] [stdout]      |                                            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<ConstructorDec>` to `Vec<ConstructorDec>`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1244:78
[INFO] [stdout]      |
[INFO] [stdout] 1244 |             #[allow(clippy::useless_conversion)] return Ok(Self::DatatypeDec(m0.into()));
[INFO] [stdout]      |                                                                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Symbol` to `lexicon::Symbol`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1335:70
[INFO] [stdout]      |
[INFO] [stdout] 1335 |             #[allow(clippy::useless_conversion)] return Ok(Self::Not(m0.into()));
[INFO] [stdout]      |                                                                      ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Symbol` to `lexicon::Symbol`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1339:73
[INFO] [stdout]      |
[INFO] [stdout] 1339 |             #[allow(clippy::useless_conversion)] return Ok(Self::Symbol(m0.into()));
[INFO] [stdout]      |                                                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<FunctionDec>` to `Vec<FunctionDec>`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1565:43
[INFO] [stdout]      |
[INFO] [stdout] 1565 |             return Ok(Self::DefineFunsRec(m0.into(), m1.into()));
[INFO] [stdout]      |                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<Term>` to `Vec<Term>`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1565:54
[INFO] [stdout]      |
[INFO] [stdout] 1565 |             return Ok(Self::DefineFunsRec(m0.into(), m1.into()));
[INFO] [stdout]      |                                                      ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<SortDec>` to `Vec<SortDec>`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1581:46
[INFO] [stdout]      |
[INFO] [stdout] 1581 |             return Ok(Self::DeclareDatatypes(m0.into(), m1.into()));
[INFO] [stdout]      |                                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<DatatypeDec>` to `Vec<DatatypeDec>`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1581:57
[INFO] [stdout]      |
[INFO] [stdout] 1581 |             return Ok(Self::DeclareDatatypes(m0.into(), m1.into()));
[INFO] [stdout]      |                                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<Term>` to `Vec<Term>`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1593:75
[INFO] [stdout]      |
[INFO] [stdout] 1593 |             #[allow(clippy::useless_conversion)] return Ok(Self::GetValue(m0.into()));
[INFO] [stdout]      |                                                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Symbol` to `lexicon::Symbol`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1607:40
[INFO] [stdout]      |
[INFO] [stdout] 1607 |             return Ok(Self::DefineSort(m0.into(), m1.into(), m2.into()));
[INFO] [stdout]      |                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<lexicon::Symbol>` to `Vec<lexicon::Symbol>`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1607:51
[INFO] [stdout]      |
[INFO] [stdout] 1607 |             return Ok(Self::DefineSort(m0.into(), m1.into(), m2.into()));
[INFO] [stdout]      |                                                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Sort` to `Sort`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1607:62
[INFO] [stdout]      |
[INFO] [stdout] 1607 |             return Ok(Self::DefineSort(m0.into(), m1.into(), m2.into()));
[INFO] [stdout]      |                                                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Symbol` to `lexicon::Symbol`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1621:40
[INFO] [stdout]      |
[INFO] [stdout] 1621 |             return Ok(Self::DeclareFun(m0.into(), m1.into(), m2.into()));
[INFO] [stdout]      |                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<Sort>` to `Vec<Sort>`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1621:51
[INFO] [stdout]      |
[INFO] [stdout] 1621 |             return Ok(Self::DeclareFun(m0.into(), m1.into(), m2.into()));
[INFO] [stdout]      |                                                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Sort` to `Sort`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1621:62
[INFO] [stdout]      |
[INFO] [stdout] 1621 |             return Ok(Self::DeclareFun(m0.into(), m1.into(), m2.into()));
[INFO] [stdout]      |                                                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<PropLiteral>` to `Vec<PropLiteral>`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1634:46
[INFO] [stdout]      |
[INFO] [stdout] 1634 |             return Ok(Self::CheckSatAssuming(m0.into()));
[INFO] [stdout]      |                                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Term` to `Term`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1643:75
[INFO] [stdout]      |
[INFO] [stdout] 1643 |             #[allow(clippy::useless_conversion)] return Ok(Self::Simplify(m0.into()));
[INFO] [stdout]      |                                                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `ast::Option` to `ast::Option`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1652:76
[INFO] [stdout]      |
[INFO] [stdout] 1652 |             #[allow(clippy::useless_conversion)] return Ok(Self::SetOption(m0.into()));
[INFO] [stdout]      |                                                                            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Symbol` to `lexicon::Symbol`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1661:75
[INFO] [stdout]      |
[INFO] [stdout] 1661 |             #[allow(clippy::useless_conversion)] return Ok(Self::SetLogic(m0.into()));
[INFO] [stdout]      |                                                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Attribute` to `Attribute`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1670:74
[INFO] [stdout]      |
[INFO] [stdout] 1670 |             #[allow(clippy::useless_conversion)] return Ok(Self::SetInfo(m0.into()));
[INFO] [stdout]      |                                                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Numeral` to `lexicon::Numeral`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1697:71
[INFO] [stdout]      |
[INFO] [stdout] 1697 |             #[allow(clippy::useless_conversion)] return Ok(Self::Push(m0.into()));
[INFO] [stdout]      |                                                                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Numeral` to `lexicon::Numeral`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1706:70
[INFO] [stdout]      |
[INFO] [stdout] 1706 |             #[allow(clippy::useless_conversion)] return Ok(Self::Pop(m0.into()));
[INFO] [stdout]      |                                                                      ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Keyword` to `lexicon::Keyword`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1742:76
[INFO] [stdout]      |
[INFO] [stdout] 1742 |             #[allow(clippy::useless_conversion)] return Ok(Self::GetOption(m0.into()));
[INFO] [stdout]      |                                                                            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `InfoFlag` to `InfoFlag`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1760:74
[INFO] [stdout]      |
[INFO] [stdout] 1760 |             #[allow(clippy::useless_conversion)] return Ok(Self::GetInfo(m0.into()));
[INFO] [stdout]      |                                                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `std::string::String` to `std::string::String`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1796:71
[INFO] [stdout]      |
[INFO] [stdout] 1796 |             #[allow(clippy::useless_conversion)] return Ok(Self::Echo(m0.into()));
[INFO] [stdout]      |                                                                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `FunctionDef` to `FunctionDef`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1806:42
[INFO] [stdout]      |
[INFO] [stdout] 1806 |             return Ok(Self::DefineFunRec(m0.into()));
[INFO] [stdout]      |                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `FunctionDef` to `FunctionDef`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1815:76
[INFO] [stdout]      |
[INFO] [stdout] 1815 |             #[allow(clippy::useless_conversion)] return Ok(Self::DefineFun(m0.into()));
[INFO] [stdout]      |                                                                            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Symbol` to `lexicon::Symbol`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1826:41
[INFO] [stdout]      |
[INFO] [stdout] 1826 |             return Ok(Self::DeclareSort(m0.into(), m1.into()));
[INFO] [stdout]      |                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Numeral` to `lexicon::Numeral`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1826:52
[INFO] [stdout]      |
[INFO] [stdout] 1826 |             return Ok(Self::DeclareSort(m0.into(), m1.into()));
[INFO] [stdout]      |                                                    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Symbol` to `lexicon::Symbol`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1837:45
[INFO] [stdout]      |
[INFO] [stdout] 1837 |             return Ok(Self::DeclareDatatype(m0.into(), m1.into()));
[INFO] [stdout]      |                                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `DatatypeDec` to `DatatypeDec`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1837:56
[INFO] [stdout]      |
[INFO] [stdout] 1837 |             return Ok(Self::DeclareDatatype(m0.into(), m1.into()));
[INFO] [stdout]      |                                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Symbol` to `lexicon::Symbol`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1848:42
[INFO] [stdout]      |
[INFO] [stdout] 1848 |             return Ok(Self::DeclareConst(m0.into(), m1.into()));
[INFO] [stdout]      |                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Sort` to `Sort`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1848:53
[INFO] [stdout]      |
[INFO] [stdout] 1848 |             return Ok(Self::DeclareConst(m0.into(), m1.into()));
[INFO] [stdout]      |                                                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Term` to `Term`
[INFO] [stdout]     --> lowlevel/src/ast.rs:1866:73
[INFO] [stdout]      |
[INFO] [stdout] 1866 |             #[allow(clippy::useless_conversion)] return Ok(Self::Assert(m0.into()));
[INFO] [stdout]      |                                                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Numeral` to `lexicon::Numeral`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2162:76
[INFO] [stdout]      |
[INFO] [stdout] 2162 |             #[allow(clippy::useless_conversion)] return Ok(Self::Verbosity(m0.into()));
[INFO] [stdout]      |                                                                            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Numeral` to `lexicon::Numeral`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2168:55
[INFO] [stdout]      |
[INFO] [stdout] 2168 |             return Ok(Self::ReproducibleResourceLimit(m0.into()));
[INFO] [stdout]      |                                                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `std::string::String` to `std::string::String`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2174:50
[INFO] [stdout]      |
[INFO] [stdout] 2174 |             return Ok(Self::RegularOutputChannel(m0.into()));
[INFO] [stdout]      |                                                  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Numeral` to `lexicon::Numeral`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2179:77
[INFO] [stdout]      |
[INFO] [stdout] 2179 |             #[allow(clippy::useless_conversion)] return Ok(Self::RandomSeed(m0.into()));
[INFO] [stdout]      |                                                                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `bool` to `bool`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2185:47
[INFO] [stdout]      |
[INFO] [stdout] 2185 |             return Ok(Self::ProduceUnsatCores(m0.into()));
[INFO] [stdout]      |                                               ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `bool` to `bool`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2191:53
[INFO] [stdout]      |
[INFO] [stdout] 2191 |             return Ok(Self::ProduceUnsatAssumptions(m0.into()));
[INFO] [stdout]      |                                                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `bool` to `bool`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2197:43
[INFO] [stdout]      |
[INFO] [stdout] 2197 |             return Ok(Self::ProduceProofs(m0.into()));
[INFO] [stdout]      |                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `bool` to `bool`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2203:43
[INFO] [stdout]      |
[INFO] [stdout] 2203 |             return Ok(Self::ProduceModels(m0.into()));
[INFO] [stdout]      |                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `bool` to `bool`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2209:48
[INFO] [stdout]      |
[INFO] [stdout] 2209 |             return Ok(Self::ProduceAssignments(m0.into()));
[INFO] [stdout]      |                                                ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `bool` to `bool`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2215:47
[INFO] [stdout]      |
[INFO] [stdout] 2215 |             return Ok(Self::ProduceAssertions(m0.into()));
[INFO] [stdout]      |                                               ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `bool` to `bool`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2221:42
[INFO] [stdout]      |
[INFO] [stdout] 2221 |             return Ok(Self::PrintSuccess(m0.into()));
[INFO] [stdout]      |                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `bool` to `bool`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2227:45
[INFO] [stdout]      |
[INFO] [stdout] 2227 |             return Ok(Self::InteractiveMode(m0.into()));
[INFO] [stdout]      |                                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `bool` to `bool`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2233:48
[INFO] [stdout]      |
[INFO] [stdout] 2233 |             return Ok(Self::GlobalDeclarations(m0.into()));
[INFO] [stdout]      |                                                ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `std::string::String` to `std::string::String`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2239:53
[INFO] [stdout]      |
[INFO] [stdout] 2239 |             return Ok(Self::DiagnosticOutputChannel(m0.into()));
[INFO] [stdout]      |                                                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Attribute` to `Attribute`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2243:76
[INFO] [stdout]      |
[INFO] [stdout] 2243 |             #[allow(clippy::useless_conversion)] return Ok(Self::Attribute(m0.into()));
[INFO] [stdout]      |                                                                            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Keyword` to `lexicon::Keyword`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2330:74
[INFO] [stdout]      |
[INFO] [stdout] 2330 |             #[allow(clippy::useless_conversion)] return Ok(Self::Keyword(m0.into()));
[INFO] [stdout]      |                                                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `SExpr` to `SExpr`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2416:72
[INFO] [stdout]      |
[INFO] [stdout] 2416 |             #[allow(clippy::useless_conversion)] return Ok(Self::SExpr(m0.into()));
[INFO] [stdout]      |                                                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<FunctionDec>` to `Vec<FunctionDec>`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2476:43
[INFO] [stdout]      |
[INFO] [stdout] 2476 |             return Ok(Self::DefineFunsRec(m0.into(), m1.into()));
[INFO] [stdout]      |                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Vec<Term>` to `Vec<Term>`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2476:54
[INFO] [stdout]      |
[INFO] [stdout] 2476 |             return Ok(Self::DefineFunsRec(m0.into(), m1.into()));
[INFO] [stdout]      |                                                      ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `FunctionDef` to `FunctionDef`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2486:42
[INFO] [stdout]      |
[INFO] [stdout] 2486 |             return Ok(Self::DefineFunRec(m0.into()));
[INFO] [stdout]      |                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `FunctionDef` to `FunctionDef`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2495:76
[INFO] [stdout]      |
[INFO] [stdout] 2495 |             #[allow(clippy::useless_conversion)] return Ok(Self::DefineFun(m0.into()));
[INFO] [stdout]      |                                                                            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `std::string::String` to `std::string::String`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2551:74
[INFO] [stdout]      |
[INFO] [stdout] 2551 |             #[allow(clippy::useless_conversion)] return Ok(Self::Version(m0.into()));
[INFO] [stdout]      |                                                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `ReasonUnknown` to `ReasonUnknown`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2557:43
[INFO] [stdout]      |
[INFO] [stdout] 2557 |             return Ok(Self::ReasonUnknown(m0.into()));
[INFO] [stdout]      |                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `std::string::String` to `std::string::String`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2562:71
[INFO] [stdout]      |
[INFO] [stdout] 2562 |             #[allow(clippy::useless_conversion)] return Ok(Self::Name(m0.into()));
[INFO] [stdout]      |                                                                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `ErrorBehavior` to `ErrorBehavior`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2568:43
[INFO] [stdout]      |
[INFO] [stdout] 2568 |             return Ok(Self::ErrorBehavior(m0.into()));
[INFO] [stdout]      |                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `std::string::String` to `std::string::String`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2573:74
[INFO] [stdout]      |
[INFO] [stdout] 2573 |             #[allow(clippy::useless_conversion)] return Ok(Self::Authors(m0.into()));
[INFO] [stdout]      |                                                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `lexicon::Numeral` to `lexicon::Numeral`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2579:50
[INFO] [stdout]      |
[INFO] [stdout] 2579 |             return Ok(Self::AssertionStackLevels(m0.into()));
[INFO] [stdout]      |                                                  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `Attribute` to `Attribute`
[INFO] [stdout]     --> lowlevel/src/ast.rs:2583:76
[INFO] [stdout]      |
[INFO] [stdout] 2583 |             #[allow(clippy::useless_conversion)] return Ok(Self::Attribute(m0.into()));
[INFO] [stdout]      |                                                                            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `SimplifyResponse` to `SimplifyResponse`
[INFO] [stdout]     --> lowlevel/src/ast.rs:3025:46
[INFO] [stdout]      |
[INFO] [stdout] 3025 |             return Ok(Self::SimplifyResponse(m0.into()));
[INFO] [stdout]      |                                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `GetValueResponse` to `GetValueResponse`
[INFO] [stdout]     --> lowlevel/src/ast.rs:3030:46
[INFO] [stdout]      |
[INFO] [stdout] 3030 |             return Ok(Self::GetValueResponse(m0.into()));
[INFO] [stdout]      |                                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `GetUnsatCoreResponse` to `GetUnsatCoreResponse`
[INFO] [stdout]     --> lowlevel/src/ast.rs:3035:50
[INFO] [stdout]      |
[INFO] [stdout] 3035 |             return Ok(Self::GetUnsatCoreResponse(m0.into()));
[INFO] [stdout]      |                                                  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `GetProofResponse` to `GetProofResponse`
[INFO] [stdout]     --> lowlevel/src/ast.rs:3040:46
[INFO] [stdout]      |
[INFO] [stdout] 3040 |             return Ok(Self::GetProofResponse(m0.into()));
[INFO] [stdout]      |                                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `GetOptionResponse` to `GetOptionResponse`
[INFO] [stdout]     --> lowlevel/src/ast.rs:3045:47
[INFO] [stdout]      |
[INFO] [stdout] 3045 |             return Ok(Self::GetOptionResponse(m0.into()));
[INFO] [stdout]      |                                               ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `GetModelResponse` to `GetModelResponse`
[INFO] [stdout]     --> lowlevel/src/ast.rs:3050:46
[INFO] [stdout]      |
[INFO] [stdout] 3050 |             return Ok(Self::GetModelResponse(m0.into()));
[INFO] [stdout]      |                                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `GetInfoResponse` to `GetInfoResponse`
[INFO] [stdout]     --> lowlevel/src/ast.rs:3055:45
[INFO] [stdout]      |
[INFO] [stdout] 3055 |             return Ok(Self::GetInfoResponse(m0.into()));
[INFO] [stdout]      |                                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `GetAssignmentResponse` to `GetAssignmentResponse`
[INFO] [stdout]     --> lowlevel/src/ast.rs:3060:51
[INFO] [stdout]      |
[INFO] [stdout] 3060 |             return Ok(Self::GetAssignmentResponse(m0.into()));
[INFO] [stdout]      |                                                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `GetAssertionsResponse` to `GetAssertionsResponse`
[INFO] [stdout]     --> lowlevel/src/ast.rs:3065:51
[INFO] [stdout]      |
[INFO] [stdout] 3065 |             return Ok(Self::GetAssertionsResponse(m0.into()));
[INFO] [stdout]      |                                                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `EchoResponse` to `EchoResponse`
[INFO] [stdout]     --> lowlevel/src/ast.rs:3070:42
[INFO] [stdout]      |
[INFO] [stdout] 3070 |             return Ok(Self::EchoResponse(m0.into()));
[INFO] [stdout]      |                                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `CheckSatResponse` to `CheckSatResponse`
[INFO] [stdout]     --> lowlevel/src/ast.rs:3075:46
[INFO] [stdout]      |
[INFO] [stdout] 3075 |             return Ok(Self::CheckSatResponse(m0.into()));
[INFO] [stdout]      |                                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `GetUnsatAssumptionsResponse` to `GetUnsatAssumptionsResponse`
[INFO] [stdout]     --> lowlevel/src/ast.rs:3080:57
[INFO] [stdout]      |
[INFO] [stdout] 3080 |             return Ok(Self::GetUnsatAssumptionsResponse(m0.into()));
[INFO] [stdout]      |                                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `std::string::String` to `std::string::String`
[INFO] [stdout]     --> lowlevel/src/ast.rs:3129:72
[INFO] [stdout]      |
[INFO] [stdout] 3129 |             #[allow(clippy::useless_conversion)] return Ok(Self::Error(m0.into()));
[INFO] [stdout]      |                                                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this conversion is useless `SpecificSuccessResponse` to `SpecificSuccessResponse`
[INFO] [stdout]     --> lowlevel/src/ast.rs:3142:53
[INFO] [stdout]      |
[INFO] [stdout] 3142 |             return Ok(Self::SpecificSuccessResponse(m0.into()));
[INFO] [stdout]      |                                                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `smtlib-lowlevel` (lib) due to 144 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "1f21b310e32b3396563b57ff92c9fa137186182bdde0d5b33f89680ca8fde08b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1f21b310e32b3396563b57ff92c9fa137186182bdde0d5b33f89680ca8fde08b", kill_on_drop: false }`
[INFO] [stdout] 1f21b310e32b3396563b57ff92c9fa137186182bdde0d5b33f89680ca8fde08b