[INFO] fetching crate rsmt2 0.16.2...
[INFO] checking rsmt2-0.16.2 against master#0984becf01112cbd3583c796541760b65340c8db for pr-119820-2
[INFO] extracting crate rsmt2 0.16.2 into /workspace/builds/worker-6-tc1/source
[INFO] validating manifest of crates.io crate rsmt2 0.16.2 on toolchain 0984becf01112cbd3583c796541760b65340c8db
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0984becf01112cbd3583c796541760b65340c8db" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate rsmt2 0.16.2
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate rsmt2 0.16.2
[INFO] tweaked toml for crates.io crate rsmt2 0.16.2 written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] crate crates.io crate rsmt2 0.16.2 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" "+0984becf01112cbd3583c796541760b65340c8db" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded clap_lex v0.2.4
[INFO] [stderr]   Downloaded error-chain v0.12.4
[INFO] [stderr]   Downloaded atty v0.2.14
[INFO] [stderr]   Downloaded termcolor v1.1.3
[INFO] [stderr]   Downloaded hermit-abi v0.1.19
[INFO] [stderr]   Downloaded addr2line v0.17.0
[INFO] [stderr]   Downloaded os_str_bytes v6.3.0
[INFO] [stderr]   Downloaded rustc-demangle v0.1.21
[INFO] [stderr]   Downloaded miniz_oxide v0.5.4
[INFO] [stderr]   Downloaded backtrace v0.3.66
[INFO] [stderr]   Downloaded clap v3.2.20
[INFO] [stderr]   Downloaded gimli v0.26.2
[INFO] [stderr]   Downloaded libc v0.2.132
[INFO] [stderr]   Downloaded object v0.29.0
[INFO] [stderr]   Downloaded indexmap v1.9.1
[INFO] [stderr]   Downloaded textwrap v0.15.0
[INFO] [stderr]   Downloaded winapi-util v0.1.5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+0984becf01112cbd3583c796541760b65340c8db" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 279f297f55bb35ffb29c61ec9003b701e9edd42fbe4a4e229abc99ec84518421
[INFO] running `Command { std: "docker" "start" "-a" "279f297f55bb35ffb29c61ec9003b701e9edd42fbe4a4e229abc99ec84518421", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "279f297f55bb35ffb29c61ec9003b701e9edd42fbe4a4e229abc99ec84518421", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "279f297f55bb35ffb29c61ec9003b701e9edd42fbe4a4e229abc99ec84518421", kill_on_drop: false }`
[INFO] [stdout] 279f297f55bb35ffb29c61ec9003b701e9edd42fbe4a4e229abc99ec84518421
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+0984becf01112cbd3583c796541760b65340c8db" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 49a90052bfa1f06920d10ad44d0f51f12fd707a3a5b4bab2f06e96e3830a0c79
[INFO] running `Command { std: "docker" "start" "-a" "49a90052bfa1f06920d10ad44d0f51f12fd707a3a5b4bab2f06e96e3830a0c79", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.132
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling cc v1.0.73
[INFO] [stderr]     Checking gimli v0.26.2
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]     Checking adler v1.0.2
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]     Checking rustc-demangle v0.1.21
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]     Checking os_str_bytes v6.3.0
[INFO] [stderr]     Checking hashbrown v0.12.3
[INFO] [stderr]     Checking strsim v0.10.0
[INFO] [stderr]     Checking textwrap v0.15.0
[INFO] [stderr]     Checking termcolor v1.1.3
[INFO] [stderr]     Checking bitflags v1.3.2
[INFO] [stderr]     Checking miniz_oxide v0.5.4
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]     Checking clap_lex v0.2.4
[INFO] [stderr]    Compiling indexmap v1.9.1
[INFO] [stderr]     Checking object v0.29.0
[INFO] [stderr]    Compiling backtrace v0.3.66
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking clap v3.2.20
[INFO] [stderr]     Checking addr2line v0.17.0
[INFO] [stderr]     Checking rsmt2 v0.16.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 10.19s
[INFO] running `Command { std: "docker" "inspect" "49a90052bfa1f06920d10ad44d0f51f12fd707a3a5b4bab2f06e96e3830a0c79", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "49a90052bfa1f06920d10ad44d0f51f12fd707a3a5b4bab2f06e96e3830a0c79", kill_on_drop: false }`
[INFO] [stdout] 49a90052bfa1f06920d10ad44d0f51f12fd707a3a5b4bab2f06e96e3830a0c79
[INFO] checking rsmt2-0.16.2 against try#a3b728f611e28e04397f71d448ae3012d3780010 for pr-119820-2
[INFO] extracting crate rsmt2 0.16.2 into /workspace/builds/worker-6-tc2/source
[INFO] validating manifest of crates.io crate rsmt2 0.16.2 on toolchain a3b728f611e28e04397f71d448ae3012d3780010
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a3b728f611e28e04397f71d448ae3012d3780010" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate rsmt2 0.16.2
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate rsmt2 0.16.2
[INFO] tweaked toml for crates.io crate rsmt2 0.16.2 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] crate crates.io crate rsmt2 0.16.2 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" "+a3b728f611e28e04397f71d448ae3012d3780010" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+a3b728f611e28e04397f71d448ae3012d3780010" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 33f56ceab25117de4cf93235d8de2ee0a0fe0acfa149f8604d0abb2dd8363544
[INFO] running `Command { std: "docker" "start" "-a" "33f56ceab25117de4cf93235d8de2ee0a0fe0acfa149f8604d0abb2dd8363544", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "33f56ceab25117de4cf93235d8de2ee0a0fe0acfa149f8604d0abb2dd8363544", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "33f56ceab25117de4cf93235d8de2ee0a0fe0acfa149f8604d0abb2dd8363544", kill_on_drop: false }`
[INFO] [stdout] 33f56ceab25117de4cf93235d8de2ee0a0fe0acfa149f8604d0abb2dd8363544
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+a3b728f611e28e04397f71d448ae3012d3780010" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 14b83b24e6ff32c6732d2fa52b02b43c31a1a1067ae8a9a78038c10d813fdc75
[INFO] running `Command { std: "docker" "start" "-a" "14b83b24e6ff32c6732d2fa52b02b43c31a1a1067ae8a9a78038c10d813fdc75", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.132
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling cc v1.0.73
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]     Checking gimli v0.26.2
[INFO] [stderr]     Checking adler v1.0.2
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]     Checking rustc-demangle v0.1.21
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]     Checking hashbrown v0.12.3
[INFO] [stderr]     Checking os_str_bytes v6.3.0
[INFO] [stderr]     Checking termcolor v1.1.3
[INFO] [stderr]     Checking textwrap v0.15.0
[INFO] [stderr]     Checking bitflags v1.3.2
[INFO] [stderr]     Checking strsim v0.10.0
[INFO] [stderr]     Checking miniz_oxide v0.5.4
[INFO] [stderr]     Checking clap_lex v0.2.4
[INFO] [stderr]    Compiling indexmap v1.9.1
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]     Checking object v0.29.0
[INFO] [stderr]    Compiling backtrace v0.3.66
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking clap v3.2.20
[INFO] [stderr]     Checking addr2line v0.17.0
[INFO] [stderr]     Checking rsmt2 v0.16.2 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0283]: type annotations needed for `std::slice::Iter<'_, (_, _)>`
[INFO] [stdout]     --> tests/issue_33.rs:20:21
[INFO] [stdout]      |
[INFO] [stdout] 15   |         match parser.get_model(false, ()) {
[INFO] [stdout]      |                      --------- type must be known at this point
[INFO] [stdout] ...
[INFO] [stdout] 20   |                 let mut params = params.into_iter();
[INFO] [stdout]      |                     ^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: multiple `impl`s satisfying `for<'a> (): IdentParser<_, _, &'a mut SmtParser<&[u8]>>` found in the `rsmt2` crate:
[INFO] [stdout]              - impl<'a, Br> IdentParser<&'a str, &'a str, &'a mut SmtParser<Br>> for ()
[INFO] [stdout]                where Br: BufRead;
[INFO] [stdout]              - impl<'a, Br> IdentParser<String, String, &'a mut SmtParser<Br>> for ()
[INFO] [stdout]                where Br: BufRead;
[INFO] [stdout] note: required by a bound in `SmtParser::<R>::get_model`
[INFO] [stdout]     --> /opt/rustwide/workdir/src/parse.rs:1395:17
[INFO] [stdout]      |
[INFO] [stdout] 1389 |     pub fn get_model<Ident, Value, Type, Parser>(
[INFO] [stdout]      |            --------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 1395 |         Parser: for<'a> IdentParser<Ident, Type, &'a mut Self>
[INFO] [stdout]      |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `SmtParser::<R>::get_model`
[INFO] [stdout] help: consider giving `params` an explicit type, where the type for type parameter `Ident` is specified
[INFO] [stdout]      |
[INFO] [stdout] 20   |                 let mut params: std::slice::Iter<'_, (_, _)> = params.into_iter();
[INFO] [stdout]      |                               ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed for `std::slice::Iter<'_, (_, _)>`
[INFO] [stdout]     --> tests/issue_33.rs:20:21
[INFO] [stdout]      |
[INFO] [stdout] 15   |         match parser.get_model(false, ()) {
[INFO] [stdout]      |                      --------- type must be known at this point
[INFO] [stdout] ...
[INFO] [stdout] 20   |                 let mut params = params.into_iter();
[INFO] [stdout]      |                     ^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: multiple `impl`s satisfying `for<'a> (): ModelParser<_, _, _, &'a mut SmtParser<&[u8]>>` found in the `rsmt2` crate:
[INFO] [stdout]              - impl<'a, Br> ModelParser<&'a str, &'a str, &'a str, &'a mut SmtParser<Br>> for ()
[INFO] [stdout]                where Br: BufRead;
[INFO] [stdout]              - impl<'a, Br> ModelParser<String, String, String, &'a mut SmtParser<Br>> for ()
[INFO] [stdout]                where Br: BufRead;
[INFO] [stdout] note: required by a bound in `SmtParser::<R>::get_model`
[INFO] [stdout]     --> /opt/rustwide/workdir/src/parse.rs:1396:15
[INFO] [stdout]      |
[INFO] [stdout] 1389 |     pub fn get_model<Ident, Value, Type, Parser>(
[INFO] [stdout]      |            --------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 1396 |             + for<'a> ModelParser<Ident, Type, Value, &'a mut Self>,
[INFO] [stdout]      |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `SmtParser::<R>::get_model`
[INFO] [stdout] help: consider giving `params` an explicit type, where the type for type parameter `Ident` is specified
[INFO] [stdout]      |
[INFO] [stdout] 20   |                 let mut params: std::slice::Iter<'_, (_, _)> = params.into_iter();
[INFO] [stdout]      |                               ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed for `std::slice::Iter<'_, (_, _)>`
[INFO] [stdout]   --> tests/issue_33.rs:20:21
[INFO] [stdout]    |
[INFO] [stdout] 19 |                 assert_eq!(id, "/0");
[INFO] [stdout]    |                 -------------------- type must be known at this point
[INFO] [stdout] 20 |                 let mut params = params.into_iter();
[INFO] [stdout]    |                     ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: multiple `impl`s satisfying `_: PartialEq<str>` found in the following crates: `alloc`, `core`, `std`:
[INFO] [stdout]            - impl PartialEq for str;
[INFO] [stdout]            - impl PartialEq<str> for OsStr;
[INFO] [stdout]            - impl PartialEq<str> for OsString;
[INFO] [stdout]            - impl<'a, 'b> PartialEq<str> for Cow<'a, str>;
[INFO] [stdout]            - impl<'a, 'b> PartialEq<str> for String;
[INFO] [stdout]    = note: required for `&_` to implement `PartialEq<&str>`
[INFO] [stdout] help: consider giving `params` an explicit type, where the placeholders `_` are specified
[INFO] [stdout]    |
[INFO] [stdout] 20 |                 let mut params: std::slice::Iter<'_, (_, _)> = params.into_iter();
[INFO] [stdout]    |                               ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed for `std::slice::Iter<'_, (_, _)>`
[INFO] [stdout]   --> tests/issue_33.rs:20:21
[INFO] [stdout]    |
[INFO] [stdout] 20 |                 let mut params = params.into_iter();
[INFO] [stdout]    |                     ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 24 |                 assert_eq!(out, "Real");
[INFO] [stdout]    |                 ----------------------- type must be known at this point
[INFO] [stdout]    |
[INFO] [stdout]    = note: multiple `impl`s satisfying `_: PartialEq<str>` found in the following crates: `alloc`, `core`, `std`:
[INFO] [stdout]            - impl PartialEq for str;
[INFO] [stdout]            - impl PartialEq<str> for OsStr;
[INFO] [stdout]            - impl PartialEq<str> for OsString;
[INFO] [stdout]            - impl<'a, 'b> PartialEq<str> for Cow<'a, str>;
[INFO] [stdout]            - impl<'a, 'b> PartialEq<str> for String;
[INFO] [stdout]    = note: required for `&_` to implement `PartialEq<&str>`
[INFO] [stdout] help: consider giving `params` an explicit type, where the placeholders `_` are specified
[INFO] [stdout]    |
[INFO] [stdout] 20 |                 let mut params: std::slice::Iter<'_, (_, _)> = params.into_iter();
[INFO] [stdout]    |                               ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]   --> tests/issue_33.rs:15:22
[INFO] [stdout]    |
[INFO] [stdout] 15 |           match parser.get_model(false, ()) {
[INFO] [stdout]    |                        ^^^^^^^^^ cannot infer type of the type parameter `Value` declared on the method `get_model`
[INFO] [stdout] ...
[INFO] [stdout] 25 | /                 assert_eq!(
[INFO] [stdout] 26 | |                     body,
[INFO] [stdout] 27 | |                     "\
[INFO] [stdout] 28 | |                     (ite (and (= x!0 1.0) (= x!1 (- (/ 3.0 4.0)))) (- (/ 4.0 3.0))\n\
[INFO] [stdout] ...  |
[INFO] [stdout] 31 | |                 "
[INFO] [stdout] 32 | |                 )
[INFO] [stdout]    | |_________________- type must be known at this point
[INFO] [stdout]    |
[INFO] [stdout]    = note: multiple `impl`s satisfying `_: PartialEq<str>` found in the following crates: `alloc`, `core`, `std`:
[INFO] [stdout]            - impl PartialEq for str;
[INFO] [stdout]            - impl PartialEq<str> for OsStr;
[INFO] [stdout]            - impl PartialEq<str> for OsString;
[INFO] [stdout]            - impl<'a, 'b> PartialEq<str> for Cow<'a, str>;
[INFO] [stdout]            - impl<'a, 'b> PartialEq<str> for String;
[INFO] [stdout]    = note: required for `&_` to implement `PartialEq<&str>`
[INFO] [stdout] help: consider specifying the generic arguments
[INFO] [stdout]    |
[INFO] [stdout] 15 |         match parser.get_model::<Ident, Value, Type, ()>(false, ()) {
[INFO] [stdout]    |                               ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]     --> tests/issue_33.rs:55:22
[INFO] [stdout]      |
[INFO] [stdout] 55   |         match parser.get_model(false, ()) {
[INFO] [stdout]      |                      ^^^^^^^^^ cannot infer type of the type parameter `Ident` declared on the method `get_model`
[INFO] [stdout]      |
[INFO] [stdout]      = note: multiple `impl`s satisfying `for<'a> (): IdentParser<_, _, &'a mut SmtParser<&[u8]>>` found in the `rsmt2` crate:
[INFO] [stdout]              - impl<'a, Br> IdentParser<&'a str, &'a str, &'a mut SmtParser<Br>> for ()
[INFO] [stdout]                where Br: BufRead;
[INFO] [stdout]              - impl<'a, Br> IdentParser<String, String, &'a mut SmtParser<Br>> for ()
[INFO] [stdout]                where Br: BufRead;
[INFO] [stdout] note: required by a bound in `SmtParser::<R>::get_model`
[INFO] [stdout]     --> /opt/rustwide/workdir/src/parse.rs:1395:17
[INFO] [stdout]      |
[INFO] [stdout] 1389 |     pub fn get_model<Ident, Value, Type, Parser>(
[INFO] [stdout]      |            --------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 1395 |         Parser: for<'a> IdentParser<Ident, Type, &'a mut Self>
[INFO] [stdout]      |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `SmtParser::<R>::get_model`
[INFO] [stdout] help: consider specifying the generic arguments
[INFO] [stdout]      |
[INFO] [stdout] 55   |         match parser.get_model::<Ident, Value, Type, ()>(false, ()) {
[INFO] [stdout]      |                               ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]     --> tests/issue_33.rs:55:22
[INFO] [stdout]      |
[INFO] [stdout] 55   |         match parser.get_model(false, ()) {
[INFO] [stdout]      |                      ^^^^^^^^^ cannot infer type of the type parameter `Ident` declared on the method `get_model`
[INFO] [stdout]      |
[INFO] [stdout]      = note: multiple `impl`s satisfying `for<'a> (): ModelParser<_, _, _, &'a mut SmtParser<&[u8]>>` found in the `rsmt2` crate:
[INFO] [stdout]              - impl<'a, Br> ModelParser<&'a str, &'a str, &'a str, &'a mut SmtParser<Br>> for ()
[INFO] [stdout]                where Br: BufRead;
[INFO] [stdout]              - impl<'a, Br> ModelParser<String, String, String, &'a mut SmtParser<Br>> for ()
[INFO] [stdout]                where Br: BufRead;
[INFO] [stdout] note: required by a bound in `SmtParser::<R>::get_model`
[INFO] [stdout]     --> /opt/rustwide/workdir/src/parse.rs:1396:15
[INFO] [stdout]      |
[INFO] [stdout] 1389 |     pub fn get_model<Ident, Value, Type, Parser>(
[INFO] [stdout]      |            --------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 1396 |             + for<'a> ModelParser<Ident, Type, Value, &'a mut Self>,
[INFO] [stdout]      |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `SmtParser::<R>::get_model`
[INFO] [stdout] help: consider specifying the generic arguments
[INFO] [stdout]      |
[INFO] [stdout] 55   |         match parser.get_model::<Ident, Value, Type, ()>(false, ()) {
[INFO] [stdout]      |                               ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]     --> tests/issue_33.rs:79:22
[INFO] [stdout]      |
[INFO] [stdout] 79   |         match parser.get_model(false, ()) {
[INFO] [stdout]      |                      ^^^^^^^^^ cannot infer type of the type parameter `Ident` declared on the method `get_model`
[INFO] [stdout]      |
[INFO] [stdout]      = note: multiple `impl`s satisfying `for<'a> (): IdentParser<_, _, &'a mut SmtParser<&[u8]>>` found in the `rsmt2` crate:
[INFO] [stdout]              - impl<'a, Br> IdentParser<&'a str, &'a str, &'a mut SmtParser<Br>> for ()
[INFO] [stdout]                where Br: BufRead;
[INFO] [stdout]              - impl<'a, Br> IdentParser<String, String, &'a mut SmtParser<Br>> for ()
[INFO] [stdout]                where Br: BufRead;
[INFO] [stdout] note: required by a bound in `SmtParser::<R>::get_model`
[INFO] [stdout]     --> /opt/rustwide/workdir/src/parse.rs:1395:17
[INFO] [stdout]      |
[INFO] [stdout] 1389 |     pub fn get_model<Ident, Value, Type, Parser>(
[INFO] [stdout]      |            --------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 1395 |         Parser: for<'a> IdentParser<Ident, Type, &'a mut Self>
[INFO] [stdout]      |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `SmtParser::<R>::get_model`
[INFO] [stdout] help: consider specifying the generic arguments
[INFO] [stdout]      |
[INFO] [stdout] 79   |         match parser.get_model::<Ident, Value, Type, ()>(false, ()) {
[INFO] [stdout]      |                               ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]     --> tests/issue_33.rs:79:22
[INFO] [stdout]      |
[INFO] [stdout] 79   |         match parser.get_model(false, ()) {
[INFO] [stdout]      |                      ^^^^^^^^^ cannot infer type of the type parameter `Ident` declared on the method `get_model`
[INFO] [stdout]      |
[INFO] [stdout]      = note: multiple `impl`s satisfying `for<'a> (): ModelParser<_, _, _, &'a mut SmtParser<&[u8]>>` found in the `rsmt2` crate:
[INFO] [stdout]              - impl<'a, Br> ModelParser<&'a str, &'a str, &'a str, &'a mut SmtParser<Br>> for ()
[INFO] [stdout]                where Br: BufRead;
[INFO] [stdout]              - impl<'a, Br> ModelParser<String, String, String, &'a mut SmtParser<Br>> for ()
[INFO] [stdout]                where Br: BufRead;
[INFO] [stdout] note: required by a bound in `SmtParser::<R>::get_model`
[INFO] [stdout]     --> /opt/rustwide/workdir/src/parse.rs:1396:15
[INFO] [stdout]      |
[INFO] [stdout] 1389 |     pub fn get_model<Ident, Value, Type, Parser>(
[INFO] [stdout]      |            --------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 1396 |             + for<'a> ModelParser<Ident, Type, Value, &'a mut Self>,
[INFO] [stdout]      |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `SmtParser::<R>::get_model`
[INFO] [stdout] help: consider specifying the generic arguments
[INFO] [stdout]      |
[INFO] [stdout] 79   |         match parser.get_model::<Ident, Value, Type, ()>(false, ()) {
[INFO] [stdout]      |                               ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]     --> tests/issue_33.rs:97:22
[INFO] [stdout]      |
[INFO] [stdout] 97   |         match parser.get_model(false, ()) {
[INFO] [stdout]      |                      ^^^^^^^^^ cannot infer type of the type parameter `Ident` declared on the method `get_model`
[INFO] [stdout]      |
[INFO] [stdout]      = note: multiple `impl`s satisfying `for<'a> (): IdentParser<_, _, &'a mut SmtParser<&[u8]>>` found in the `rsmt2` crate:
[INFO] [stdout]              - impl<'a, Br> IdentParser<&'a str, &'a str, &'a mut SmtParser<Br>> for ()
[INFO] [stdout]                where Br: BufRead;
[INFO] [stdout]              - impl<'a, Br> IdentParser<String, String, &'a mut SmtParser<Br>> for ()
[INFO] [stdout]                where Br: BufRead;
[INFO] [stdout] note: required by a bound in `SmtParser::<R>::get_model`
[INFO] [stdout]     --> /opt/rustwide/workdir/src/parse.rs:1395:17
[INFO] [stdout]      |
[INFO] [stdout] 1389 |     pub fn get_model<Ident, Value, Type, Parser>(
[INFO] [stdout]      |            --------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 1395 |         Parser: for<'a> IdentParser<Ident, Type, &'a mut Self>
[INFO] [stdout]      |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `SmtParser::<R>::get_model`
[INFO] [stdout] help: consider specifying the generic arguments
[INFO] [stdout]      |
[INFO] [stdout] 97   |         match parser.get_model::<Ident, Value, Type, ()>(false, ()) {
[INFO] [stdout]      |                               ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]     --> tests/issue_33.rs:97:22
[INFO] [stdout]      |
[INFO] [stdout] 97   |         match parser.get_model(false, ()) {
[INFO] [stdout]      |                      ^^^^^^^^^ cannot infer type of the type parameter `Ident` declared on the method `get_model`
[INFO] [stdout]      |
[INFO] [stdout]      = note: multiple `impl`s satisfying `for<'a> (): ModelParser<_, _, _, &'a mut SmtParser<&[u8]>>` found in the `rsmt2` crate:
[INFO] [stdout]              - impl<'a, Br> ModelParser<&'a str, &'a str, &'a str, &'a mut SmtParser<Br>> for ()
[INFO] [stdout]                where Br: BufRead;
[INFO] [stdout]              - impl<'a, Br> ModelParser<String, String, String, &'a mut SmtParser<Br>> for ()
[INFO] [stdout]                where Br: BufRead;
[INFO] [stdout] note: required by a bound in `SmtParser::<R>::get_model`
[INFO] [stdout]     --> /opt/rustwide/workdir/src/parse.rs:1396:15
[INFO] [stdout]      |
[INFO] [stdout] 1389 |     pub fn get_model<Ident, Value, Type, Parser>(
[INFO] [stdout]      |            --------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 1396 |             + for<'a> ModelParser<Ident, Type, Value, &'a mut Self>,
[INFO] [stdout]      |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `SmtParser::<R>::get_model`
[INFO] [stdout] help: consider specifying the generic arguments
[INFO] [stdout]      |
[INFO] [stdout] 97   |         match parser.get_model::<Ident, Value, Type, ()>(false, ()) {
[INFO] [stdout]      |                               ++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 11 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0283`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rsmt2` (test "issue_33") due to 12 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "14b83b24e6ff32c6732d2fa52b02b43c31a1a1067ae8a9a78038c10d813fdc75", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "14b83b24e6ff32c6732d2fa52b02b43c31a1a1067ae8a9a78038c10d813fdc75", kill_on_drop: false }`
[INFO] [stdout] 14b83b24e6ff32c6732d2fa52b02b43c31a1a1067ae8a9a78038c10d813fdc75
