[INFO] cloning repository https://github.com/kino-mc/rsmt2
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/kino-mc/rsmt2" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkino-mc%2Frsmt2", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkino-mc%2Frsmt2'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 2f1168a3839f7d7a6c5a24e3740a5d5836b8d26c
[INFO] checking kino-mc/rsmt2 against master#0984becf01112cbd3583c796541760b65340c8db for pr-119820-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkino-mc%2Frsmt2" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/kino-mc/rsmt2 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 git repo https://github.com/kino-mc/rsmt2
[INFO] removed 0 missing examples
[INFO] finished tweaking git repo https://github.com/kino-mc/rsmt2
[INFO] tweaked toml for git repo https://github.com/kino-mc/rsmt2 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0984becf01112cbd3583c796541760b65340c8db" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[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]  Downloading crates ...
[INFO] [stderr]   Downloaded textwrap v0.16.0
[INFO] [stderr]   Downloaded os_str_bytes v6.6.1
[INFO] [stderr]   Downloaded clap v3.2.25
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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] a613fdc5d8b69fe3bf44b5f20b71ec83c1c327823c56ed885a5711387ac9a83b
[INFO] running `Command { std: "docker" "start" "-a" "a613fdc5d8b69fe3bf44b5f20b71ec83c1c327823c56ed885a5711387ac9a83b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a613fdc5d8b69fe3bf44b5f20b71ec83c1c327823c56ed885a5711387ac9a83b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a613fdc5d8b69fe3bf44b5f20b71ec83c1c327823c56ed885a5711387ac9a83b", kill_on_drop: false }`
[INFO] [stdout] a613fdc5d8b69fe3bf44b5f20b71ec83c1c327823c56ed885a5711387ac9a83b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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] 52fa704ff1919b3026e1625e2102cf0bcf3f69593210c252e4c55e756ab7aa14
[INFO] running `Command { std: "docker" "start" "-a" "52fa704ff1919b3026e1625e2102cf0bcf3f69593210c252e4c55e756ab7aa14", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.153
[INFO] [stderr]     Checking adler v1.0.2
[INFO] [stderr]     Checking gimli v0.28.1
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]     Checking memchr v2.7.1
[INFO] [stderr]     Checking rustc-demangle v0.1.23
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]     Checking os_str_bytes v6.6.1
[INFO] [stderr]     Checking hashbrown v0.12.3
[INFO] [stderr]     Checking bitflags v1.3.2
[INFO] [stderr]     Checking strsim v0.10.0
[INFO] [stderr]     Checking textwrap v0.16.0
[INFO] [stderr]     Checking miniz_oxide v0.7.2
[INFO] [stderr]     Checking clap_lex v0.2.4
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]     Checking object v0.32.2
[INFO] [stderr]    Compiling cc v1.0.83
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking clap v3.2.25
[INFO] [stderr]    Compiling backtrace v0.3.69
[INFO] [stderr]     Checking addr2line v0.21.0
[INFO] [stderr]     Checking rsmt2 v0.16.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 9.14s
[INFO] running `Command { std: "docker" "inspect" "52fa704ff1919b3026e1625e2102cf0bcf3f69593210c252e4c55e756ab7aa14", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "52fa704ff1919b3026e1625e2102cf0bcf3f69593210c252e4c55e756ab7aa14", kill_on_drop: false }`
[INFO] [stdout] 52fa704ff1919b3026e1625e2102cf0bcf3f69593210c252e4c55e756ab7aa14
[INFO] checking kino-mc/rsmt2 against try#a3b728f611e28e04397f71d448ae3012d3780010 for pr-119820-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkino-mc%2Frsmt2" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/kino-mc/rsmt2 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 git repo https://github.com/kino-mc/rsmt2
[INFO] removed 0 missing examples
[INFO] finished tweaking git repo https://github.com/kino-mc/rsmt2
[INFO] tweaked toml for git repo https://github.com/kino-mc/rsmt2 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a3b728f611e28e04397f71d448ae3012d3780010" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[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-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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] 31356838b8748714d690c57c85d406871b4e2783708601b3ffc014cebbaf7e33
[INFO] running `Command { std: "docker" "start" "-a" "31356838b8748714d690c57c85d406871b4e2783708601b3ffc014cebbaf7e33", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "31356838b8748714d690c57c85d406871b4e2783708601b3ffc014cebbaf7e33", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "31356838b8748714d690c57c85d406871b4e2783708601b3ffc014cebbaf7e33", kill_on_drop: false }`
[INFO] [stdout] 31356838b8748714d690c57c85d406871b4e2783708601b3ffc014cebbaf7e33
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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] 971956f6d22e9e25e2c6e28278f709f0a2e3e57afac4b7275d39ec86562210f2
[INFO] running `Command { std: "docker" "start" "-a" "971956f6d22e9e25e2c6e28278f709f0a2e3e57afac4b7275d39ec86562210f2", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.153
[INFO] [stderr]     Checking memchr v2.7.1
[INFO] [stderr]     Checking gimli v0.28.1
[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.23
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]     Checking hashbrown v0.12.3
[INFO] [stderr]     Checking os_str_bytes v6.6.1
[INFO] [stderr]     Checking strsim v0.10.0
[INFO] [stderr]     Checking bitflags v1.3.2
[INFO] [stderr]     Checking textwrap v0.16.0
[INFO] [stderr]     Checking miniz_oxide v0.7.2
[INFO] [stderr]     Checking clap_lex v0.2.4
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]     Checking object v0.32.2
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling cc v1.0.83
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking clap v3.2.25
[INFO] [stderr]    Compiling backtrace v0.3.69
[INFO] [stderr]     Checking addr2line v0.21.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] running `Command { std: "docker" "inspect" "971956f6d22e9e25e2c6e28278f709f0a2e3e57afac4b7275d39ec86562210f2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "971956f6d22e9e25e2c6e28278f709f0a2e3e57afac4b7275d39ec86562210f2", kill_on_drop: false }`
[INFO] [stdout] 971956f6d22e9e25e2c6e28278f709f0a2e3e57afac4b7275d39ec86562210f2
