[INFO] fetching crate oxiz-py 0.2.4...
[INFO] checking oxiz-py-0.2.4 against 52995a223f2919dd3e2e427231db90a257350ded for pr-129249-4
[INFO] extracting crate oxiz-py 0.2.4 into /workspace/builds/worker-2-tc2/source
[INFO] removed /workspace/builds/worker-2-tc2/source/.cargo/config.toml
[INFO] started tweaking crates.io crate oxiz-py 0.2.4
[INFO] finished tweaking crates.io crate oxiz-py 0.2.4
[INFO] tweaked toml for crates.io crate oxiz-py 0.2.4 written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate oxiz-py 0.2.4 on toolchain 52995a223f2919dd3e2e427231db90a257350ded
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+52995a223f2919dd3e2e427231db90a257350ded" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate oxiz-py 0.2.4 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" "+52995a223f2919dd3e2e427231db90a257350ded" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:c0af3998e971868164375a7dfb646c9933ddd1a3bdb00fa2041266763dc1eeab" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] d04cc8beb16665d64579f834ece9414eb65942a3ceb1bf8efa5b81223735518e
[INFO] running `Command { std: "docker" "start" "d04cc8beb16665d64579f834ece9414eb65942a3ceb1bf8efa5b81223735518e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d04cc8beb16665d64579f834ece9414eb65942a3ceb1bf8efa5b81223735518e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "d04cc8beb16665d64579f834ece9414eb65942a3ceb1bf8efa5b81223735518e" "/opt/rustwide/cargo-home/bin/cargo" "+52995a223f2919dd3e2e427231db90a257350ded" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d04cc8beb16665d64579f834ece9414eb65942a3ceb1bf8efa5b81223735518e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "d04cc8beb16665d64579f834ece9414eb65942a3ceb1bf8efa5b81223735518e" "/opt/rustwide/cargo-home/bin/cargo" "+52995a223f2919dd3e2e427231db90a257350ded" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling portable-atomic v1.14.0
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]    Compiling zerocopy v0.8.54
[INFO] [stderr]    Compiling once_cell v1.21.4
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]     Checking getrandom v0.3.4
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]     Checking smallvec v1.15.2
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]    Compiling syn v3.0.0
[INFO] [stderr]    Compiling smartstring v1.0.1
[INFO] [stderr]    Compiling thiserror v2.0.19
[INFO] [stderr]     Checking chacha20 v0.10.1
[INFO] [stderr]     Checking bytemuck v1.25.1
[INFO] [stderr]     Checking rustc-hash v2.1.3
[INFO] [stderr]    Compiling portable-atomic-util v0.2.7
[INFO] [stderr]     Checking indexmap v2.14.0
[INFO] [stderr]     Checking thin-vec v0.2.18
[INFO] [stderr]     Checking bumpalo v3.20.3
[INFO] [stderr]     Checking num-bigint v0.4.8
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]    Compiling target-lexicon v0.13.5
[INFO] [stderr]     Checking rand v0.10.2
[INFO] [stderr]     Checking safe_arch v1.0.0
[INFO] [stderr]     Checking foldhash v0.1.5
[INFO] [stderr]     Checking aho-corasick v1.1.4
[INFO] [stderr]     Checking raw-cpuid v11.6.0
[INFO] [stderr]     Checking log v0.4.33
[INFO] [stderr]     Checking hashbrown v0.15.5
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]     Checking env_logger v0.9.3
[INFO] [stderr]     Checking symbolic_expressions v5.0.3
[INFO] [stderr]     Checking wide v1.5.0
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]     Checking tracing-core v0.1.36
[INFO] [stderr]    Compiling const-random-macro v0.1.16
[INFO] [stderr]    Compiling pyo3-build-config v0.29.0
[INFO] [stderr]     Checking const-random v0.1.18
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]     Checking symbol_table v0.4.0
[INFO] [stderr]     Checking regex-automata v0.4.16
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]    Compiling pyo3-ffi v0.29.0
[INFO] [stderr]    Compiling pyo3 v0.29.0
[INFO] [stderr]    Compiling thiserror-impl v2.0.19
[INFO] [stderr]     Checking quanta v0.12.6
[INFO] [stderr]     Checking oxiz-math v0.2.4
[INFO] [stderr]     Checking regex v1.13.1
[INFO] [stderr]    Compiling pyo3-macros-backend v0.29.0
[INFO] [stderr]    Compiling rhai_codegen v3.2.0
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]     Checking rhai v1.25.1
[INFO] [stderr]     Checking thiserror v1.0.69
[INFO] [stderr]     Checking egg v0.11.0
[INFO] [stderr]     Checking dashmap v6.2.1
[INFO] [stderr]     Checking lasso v0.7.3
[INFO] [stderr]    Compiling pyo3-macros v0.29.0
[INFO] [stderr]     Checking oxiz-core v0.2.4
[INFO] [stderr]     Checking oxiz-nlsat v0.2.4
[INFO] [stderr]     Checking oxiz-sat v0.2.4
[INFO] [stderr]     Checking oxiz-proof v0.2.4
[INFO] [stderr]     Checking oxiz-theories v0.2.4
[INFO] [stderr]     Checking oxiz-solver v0.2.4
[INFO] [stderr]     Checking oxiz-opt v0.2.4
[INFO] [stderr]     Checking oxiz-spacer v0.2.4
[INFO] [stderr]     Checking oxiz v0.2.4
[INFO] [stderr]     Checking oxiz-py v0.2.4 (/opt/rustwide/workdir)
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/builtins.rs:25:50
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub fn And(py: Python<'_>, args: Vec<PyTerm>) -> PyResult<PyTerm> {
[INFO] [stdout]    |                                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout]    = note: `#[deny(self_type_conversion)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/builtins.rs:48:49
[INFO] [stdout]    |
[INFO] [stdout] 48 | pub fn Or(py: Python<'_>, args: Vec<PyTerm>) -> PyResult<PyTerm> {
[INFO] [stdout]    |                                                 ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/builtins.rs:70:46
[INFO] [stdout]    |
[INFO] [stdout] 70 | pub fn Not(py: Python<'_>, term: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]    |                                              ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/builtins.rs:86:63
[INFO] [stdout]    |
[INFO] [stdout] 86 | pub fn Implies(py: Python<'_>, lhs: &PyTerm, rhs: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]    |                                                               ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/builtins.rs:102:77
[INFO] [stdout]     |
[INFO] [stdout] 102 | pub fn If(py: Python<'_>, cond: &PyTerm, then_: &PyTerm, else_: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                             ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/builtins.rs:125:73
[INFO] [stdout]     |
[INFO] [stdout] 125 | pub fn and_tm(py: Python<'_>, tm: &PyTermManager, args: Vec<PyTerm>) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                         ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/builtins.rs:143:72
[INFO] [stdout]     |
[INFO] [stdout] 143 | pub fn or_tm(py: Python<'_>, tm: &PyTermManager, args: Vec<PyTerm>) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/builtins.rs:159:70
[INFO] [stdout]     |
[INFO] [stdout] 159 | pub fn not_tm(_py: Python<'_>, tm: &PyTermManager, term: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                      ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/context.rs:62:56
[INFO] [stdout]    |
[INFO] [stdout] 62 |     fn int_const(&self, py: Python<'_>, name: &str) -> PyResult<PyTerm> {
[INFO] [stdout]    |                                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/context.rs:71:57
[INFO] [stdout]    |
[INFO] [stdout] 71 |     fn real_const(&self, py: Python<'_>, name: &str) -> PyResult<PyTerm> {
[INFO] [stdout]    |                                                         ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/context.rs:80:57
[INFO] [stdout]    |
[INFO] [stdout] 80 |     fn bool_const(&self, py: Python<'_>, name: &str) -> PyResult<PyTerm> {
[INFO] [stdout]    |                                                         ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/context.rs:89:67
[INFO] [stdout]    |
[INFO] [stdout] 89 |     fn bv_const(&self, py: Python<'_>, name: &str, width: u32) -> PyResult<PyTerm> {
[INFO] [stdout]    |                                                                   ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/context.rs:98:77
[INFO] [stdout]    |
[INFO] [stdout] 98 |     fn const_of_sort(&self, py: Python<'_>, name: &str, sort_name: &str) -> PyResult<PyTerm> {
[INFO] [stdout]    |                                                                             ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/context.rs:111:54
[INFO] [stdout]     |
[INFO] [stdout] 111 |     fn int_val(&self, py: Python<'_>, value: i64) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/context.rs:119:77
[INFO] [stdout]     |
[INFO] [stdout] 119 |     fn real_val(&self, py: Python<'_>, numerator: i64, denominator: i64) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                             ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/context.rs:131:56
[INFO] [stdout]     |
[INFO] [stdout] 131 |     fn bool_val(&self, py: Python<'_>, value: bool) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/context.rs:139:65
[INFO] [stdout]     |
[INFO] [stdout] 139 |     fn bv_val(&self, py: Python<'_>, value: i64, width: u32) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                 ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/context.rs:151:59
[INFO] [stdout]     |
[INFO] [stdout] 151 |     fn string_const(&self, py: Python<'_>, name: &str) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/context.rs:160:58
[INFO] [stdout]     |
[INFO] [stdout] 160 |     fn string_val(&self, py: Python<'_>, value: &str) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                          ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/context.rs:172:60
[INFO] [stdout]     |
[INFO] [stdout] 172 |     fn fp_sort(&self, py: Python<'_>, eb: u32, sb: u32) -> PyResult<PySort> {
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/context.rs:191:10
[INFO] [stdout]     |
[INFO] [stdout] 191 |     ) -> PyResult<PySort> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/optimizer.rs:96:70
[INFO] [stdout]    |
[INFO] [stdout] 96 |     fn get_model<'py>(&self, py: Python<'py>, tm: &PyTermManager) -> PyResult<Bound<'py, PyDict>> {
[INFO] [stdout]    |                                                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/solver_py.rs:99:68
[INFO] [stdout]    |
[INFO] [stdout] 99 |     fn assert_formula(&self, formula: &str, tm: &PyTermManager) -> PyResult<()> {
[INFO] [stdout]    |                                                                    ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/solver_py.rs:113:82
[INFO] [stdout]     |
[INFO] [stdout] 113 |     fn assert_expr(&self, expr: &str, tm: &PyTermManager, name: Option<&str>) -> PyResult<()> {
[INFO] [stdout]     |                                                                                  ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/solver_py.rs:194:70
[INFO] [stdout]     |
[INFO] [stdout] 194 |     fn get_model<'py>(&self, py: Python<'py>, tm: &PyTermManager) -> PyResult<Bound<'py, PyDict>> {
[INFO] [stdout]     |                                                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/solver_py.rs:250:46
[INFO] [stdout]     |
[INFO] [stdout] 250 |     fn model<'py>(&self, py: Python<'py>) -> PyResult<Bound<'py, PyDict>> {
[INFO] [stdout]     |                                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/solver_py.rs:308:53
[INFO] [stdout]     |
[INFO] [stdout] 308 |     fn set_option(&self, key: &str, value: &str) -> PyResult<()> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:130:58
[INFO] [stdout]     |
[INFO] [stdout] 130 |     fn eq_term(&self, py: Python<'_>, other: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                          ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:283:54
[INFO] [stdout]     |
[INFO] [stdout] 283 |     fn mk_var(&self, name: &str, sort_name: &str) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:303:60
[INFO] [stdout]     |
[INFO] [stdout] 303 |     fn mk_real(&self, numerator: i64, denominator: i64) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:535:72
[INFO] [stdout]     |
[INFO] [stdout] 535 |     fn mk_forall(&self, vars: Vec<(String, String)>, body: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:556:72
[INFO] [stdout]     |
[INFO] [stdout] 556 |     fn mk_exists(&self, vars: Vec<(String, String)>, body: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:735:53
[INFO] [stdout]     |
[INFO] [stdout] 735 |     fn mk_fp_sqrt(&self, rm: &str, arg: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:742:66
[INFO] [stdout]     |
[INFO] [stdout] 742 |     fn mk_fp_round_to_integral(&self, rm: &str, arg: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:753:66
[INFO] [stdout]     |
[INFO] [stdout] 753 |     fn mk_fp_add(&self, rm: &str, lhs: &PyTerm, rhs: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:760:66
[INFO] [stdout]     |
[INFO] [stdout] 760 |     fn mk_fp_sub(&self, rm: &str, lhs: &PyTerm, rhs: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:767:66
[INFO] [stdout]     |
[INFO] [stdout] 767 |     fn mk_fp_mul(&self, rm: &str, lhs: &PyTerm, rhs: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:774:66
[INFO] [stdout]     |
[INFO] [stdout] 774 |     fn mk_fp_div(&self, rm: &str, lhs: &PyTerm, rhs: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:837:74
[INFO] [stdout]     |
[INFO] [stdout] 837 |     fn mk_fp_fma(&self, rm: &str, x: &PyTerm, y: &PyTerm, z: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                          ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:894:72
[INFO] [stdout]     |
[INFO] [stdout] 894 |     fn mk_fp_to_fp(&self, rm: &str, arg: &PyTerm, eb: u32, sb: u32) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:901:67
[INFO] [stdout]     |
[INFO] [stdout] 901 |     fn mk_fp_to_sbv(&self, rm: &str, arg: &PyTerm, width: u32) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                   ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:908:67
[INFO] [stdout]     |
[INFO] [stdout] 908 |     fn mk_fp_to_ubv(&self, rm: &str, arg: &PyTerm, width: u32) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                   ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/theories.rs:212:6
[INFO] [stdout]     |
[INFO] [stdout] 212 | ) -> PyResult<PyTerm> {
[INFO] [stdout]     |      ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/theories.rs:263:76
[INFO] [stdout]     |
[INFO] [stdout] 263 | pub fn fp_add(tm: &PyTermManager, rm: &str, lhs: &PyTerm, rhs: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                            ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/theories.rs:271:76
[INFO] [stdout]     |
[INFO] [stdout] 271 | pub fn fp_sub(tm: &PyTermManager, rm: &str, lhs: &PyTerm, rhs: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                            ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/theories.rs:279:76
[INFO] [stdout]     |
[INFO] [stdout] 279 | pub fn fp_mul(tm: &PyTermManager, rm: &str, lhs: &PyTerm, rhs: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                            ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/theories.rs:287:76
[INFO] [stdout]     |
[INFO] [stdout] 287 | pub fn fp_div(tm: &PyTermManager, rm: &str, lhs: &PyTerm, rhs: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                            ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/theories.rs:313:82
[INFO] [stdout]     |
[INFO] [stdout] 313 | pub fn ForAll(tm: &PyTermManager, vars: Vec<(String, String)>, body: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/theories.rs:339:82
[INFO] [stdout]     |
[INFO] [stdout] 339 | pub fn Exists(tm: &PyTermManager, vars: Vec<(String, String)>, body: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/builtins.rs:25:50
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub fn And(py: Python<'_>, args: Vec<PyTerm>) -> PyResult<PyTerm> {
[INFO] [stdout]    |                                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout]    = note: `#[deny(self_type_conversion)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/builtins.rs:48:49
[INFO] [stdout]    |
[INFO] [stdout] 48 | pub fn Or(py: Python<'_>, args: Vec<PyTerm>) -> PyResult<PyTerm> {
[INFO] [stdout]    |                                                 ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/builtins.rs:70:46
[INFO] [stdout]    |
[INFO] [stdout] 70 | pub fn Not(py: Python<'_>, term: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]    |                                              ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/builtins.rs:86:63
[INFO] [stdout]    |
[INFO] [stdout] 86 | pub fn Implies(py: Python<'_>, lhs: &PyTerm, rhs: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]    |                                                               ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/builtins.rs:102:77
[INFO] [stdout]     |
[INFO] [stdout] 102 | pub fn If(py: Python<'_>, cond: &PyTerm, then_: &PyTerm, else_: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                             ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/builtins.rs:125:73
[INFO] [stdout]     |
[INFO] [stdout] 125 | pub fn and_tm(py: Python<'_>, tm: &PyTermManager, args: Vec<PyTerm>) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                         ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/builtins.rs:143:72
[INFO] [stdout]     |
[INFO] [stdout] 143 | pub fn or_tm(py: Python<'_>, tm: &PyTermManager, args: Vec<PyTerm>) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/builtins.rs:159:70
[INFO] [stdout]     |
[INFO] [stdout] 159 | pub fn not_tm(_py: Python<'_>, tm: &PyTermManager, term: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                      ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/context.rs:62:56
[INFO] [stdout]    |
[INFO] [stdout] 62 |     fn int_const(&self, py: Python<'_>, name: &str) -> PyResult<PyTerm> {
[INFO] [stdout]    |                                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/context.rs:71:57
[INFO] [stdout]    |
[INFO] [stdout] 71 |     fn real_const(&self, py: Python<'_>, name: &str) -> PyResult<PyTerm> {
[INFO] [stdout]    |                                                         ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/context.rs:80:57
[INFO] [stdout]    |
[INFO] [stdout] 80 |     fn bool_const(&self, py: Python<'_>, name: &str) -> PyResult<PyTerm> {
[INFO] [stdout]    |                                                         ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/context.rs:89:67
[INFO] [stdout]    |
[INFO] [stdout] 89 |     fn bv_const(&self, py: Python<'_>, name: &str, width: u32) -> PyResult<PyTerm> {
[INFO] [stdout]    |                                                                   ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/context.rs:98:77
[INFO] [stdout]    |
[INFO] [stdout] 98 |     fn const_of_sort(&self, py: Python<'_>, name: &str, sort_name: &str) -> PyResult<PyTerm> {
[INFO] [stdout]    |                                                                             ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/context.rs:111:54
[INFO] [stdout]     |
[INFO] [stdout] 111 |     fn int_val(&self, py: Python<'_>, value: i64) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/context.rs:119:77
[INFO] [stdout]     |
[INFO] [stdout] 119 |     fn real_val(&self, py: Python<'_>, numerator: i64, denominator: i64) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                             ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/context.rs:131:56
[INFO] [stdout]     |
[INFO] [stdout] 131 |     fn bool_val(&self, py: Python<'_>, value: bool) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/context.rs:139:65
[INFO] [stdout]     |
[INFO] [stdout] 139 |     fn bv_val(&self, py: Python<'_>, value: i64, width: u32) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                 ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/context.rs:151:59
[INFO] [stdout]     |
[INFO] [stdout] 151 |     fn string_const(&self, py: Python<'_>, name: &str) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/context.rs:160:58
[INFO] [stdout]     |
[INFO] [stdout] 160 |     fn string_val(&self, py: Python<'_>, value: &str) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                          ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/context.rs:172:60
[INFO] [stdout]     |
[INFO] [stdout] 172 |     fn fp_sort(&self, py: Python<'_>, eb: u32, sb: u32) -> PyResult<PySort> {
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/context.rs:191:10
[INFO] [stdout]     |
[INFO] [stdout] 191 |     ) -> PyResult<PySort> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/optimizer.rs:96:70
[INFO] [stdout]    |
[INFO] [stdout] 96 |     fn get_model<'py>(&self, py: Python<'py>, tm: &PyTermManager) -> PyResult<Bound<'py, PyDict>> {
[INFO] [stdout]    |                                                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]   --> src/solver_py.rs:99:68
[INFO] [stdout]    |
[INFO] [stdout] 99 |     fn assert_formula(&self, formula: &str, tm: &PyTermManager) -> PyResult<()> {
[INFO] [stdout]    |                                                                    ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/solver_py.rs:113:82
[INFO] [stdout]     |
[INFO] [stdout] 113 |     fn assert_expr(&self, expr: &str, tm: &PyTermManager, name: Option<&str>) -> PyResult<()> {
[INFO] [stdout]     |                                                                                  ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/solver_py.rs:194:70
[INFO] [stdout]     |
[INFO] [stdout] 194 |     fn get_model<'py>(&self, py: Python<'py>, tm: &PyTermManager) -> PyResult<Bound<'py, PyDict>> {
[INFO] [stdout]     |                                                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/solver_py.rs:250:46
[INFO] [stdout]     |
[INFO] [stdout] 250 |     fn model<'py>(&self, py: Python<'py>) -> PyResult<Bound<'py, PyDict>> {
[INFO] [stdout]     |                                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/solver_py.rs:308:53
[INFO] [stdout]     |
[INFO] [stdout] 308 |     fn set_option(&self, key: &str, value: &str) -> PyResult<()> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:130:58
[INFO] [stdout]     |
[INFO] [stdout] 130 |     fn eq_term(&self, py: Python<'_>, other: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                          ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:283:54
[INFO] [stdout]     |
[INFO] [stdout] 283 |     fn mk_var(&self, name: &str, sort_name: &str) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:303:60
[INFO] [stdout]     |
[INFO] [stdout] 303 |     fn mk_real(&self, numerator: i64, denominator: i64) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:535:72
[INFO] [stdout]     |
[INFO] [stdout] 535 |     fn mk_forall(&self, vars: Vec<(String, String)>, body: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:556:72
[INFO] [stdout]     |
[INFO] [stdout] 556 |     fn mk_exists(&self, vars: Vec<(String, String)>, body: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:735:53
[INFO] [stdout]     |
[INFO] [stdout] 735 |     fn mk_fp_sqrt(&self, rm: &str, arg: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:742:66
[INFO] [stdout]     |
[INFO] [stdout] 742 |     fn mk_fp_round_to_integral(&self, rm: &str, arg: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:753:66
[INFO] [stdout]     |
[INFO] [stdout] 753 |     fn mk_fp_add(&self, rm: &str, lhs: &PyTerm, rhs: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:760:66
[INFO] [stdout]     |
[INFO] [stdout] 760 |     fn mk_fp_sub(&self, rm: &str, lhs: &PyTerm, rhs: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:767:66
[INFO] [stdout]     |
[INFO] [stdout] 767 |     fn mk_fp_mul(&self, rm: &str, lhs: &PyTerm, rhs: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:774:66
[INFO] [stdout]     |
[INFO] [stdout] 774 |     fn mk_fp_div(&self, rm: &str, lhs: &PyTerm, rhs: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:837:74
[INFO] [stdout]     |
[INFO] [stdout] 837 |     fn mk_fp_fma(&self, rm: &str, x: &PyTerm, y: &PyTerm, z: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                          ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:894:72
[INFO] [stdout]     |
[INFO] [stdout] 894 |     fn mk_fp_to_fp(&self, rm: &str, arg: &PyTerm, eb: u32, sb: u32) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:901:67
[INFO] [stdout]     |
[INFO] [stdout] 901 |     fn mk_fp_to_sbv(&self, rm: &str, arg: &PyTerm, width: u32) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                   ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/term.rs:908:67
[INFO] [stdout]     |
[INFO] [stdout] 908 |     fn mk_fp_to_ubv(&self, rm: &str, arg: &PyTerm, width: u32) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                   ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/theories.rs:212:6
[INFO] [stdout]     |
[INFO] [stdout] 212 | ) -> PyResult<PyTerm> {
[INFO] [stdout]     |      ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/theories.rs:263:76
[INFO] [stdout]     |
[INFO] [stdout] 263 | pub fn fp_add(tm: &PyTermManager, rm: &str, lhs: &PyTerm, rhs: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                            ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/theories.rs:271:76
[INFO] [stdout]     |
[INFO] [stdout] 271 | pub fn fp_sub(tm: &PyTermManager, rm: &str, lhs: &PyTerm, rhs: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                            ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/theories.rs:279:76
[INFO] [stdout]     |
[INFO] [stdout] 279 | pub fn fp_mul(tm: &PyTermManager, rm: &str, lhs: &PyTerm, rhs: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                            ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/theories.rs:287:76
[INFO] [stdout]     |
[INFO] [stdout] 287 | pub fn fp_div(tm: &PyTermManager, rm: &str, lhs: &PyTerm, rhs: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                            ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/theories.rs:313:82
[INFO] [stdout]     |
[INFO] [stdout] 313 | pub fn ForAll(tm: &PyTermManager, vars: Vec<(String, String)>, body: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: useless conversion to the same type: `PyErr`
[INFO] [stdout]    --> src/theories.rs:339:82
[INFO] [stdout]     |
[INFO] [stdout] 339 | pub fn Exists(tm: &PyTermManager, vars: Vec<(String, String)>, body: &PyTerm) -> PyResult<PyTerm> {
[INFO] [stdout]     |                                                                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this method call relies on the `impl<T> Into<T> for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `oxiz-py` (lib test) due to 49 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `oxiz-py` (lib) due to 49 previous errors
[INFO] running `Command { std: "docker" "inspect" "d04cc8beb16665d64579f834ece9414eb65942a3ceb1bf8efa5b81223735518e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d04cc8beb16665d64579f834ece9414eb65942a3ceb1bf8efa5b81223735518e", kill_on_drop: false }`
[INFO] [stdout] d04cc8beb16665d64579f834ece9414eb65942a3ceb1bf8efa5b81223735518e
