[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#385fa9d845dd326c6bbfd58c22244215e431948a for absurd-question-mark-desugar
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkino-mc%2Frsmt2" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/kino-mc/rsmt2 on toolchain 385fa9d845dd326c6bbfd58c22244215e431948a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "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-6-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]      Locking 30 packages
[INFO] [stderr]       Adding bitflags v1.3.2 (latest: v2.5.0)
[INFO] [stderr]       Adding clap v3.2.25 (latest: v4.5.4)
[INFO] [stderr]       Adding clap_lex v0.2.4 (latest: v0.7.0)
[INFO] [stderr]       Adding hashbrown v0.12.3 (latest: v0.14.3)
[INFO] [stderr]       Adding hermit-abi v0.1.19 (latest: v0.3.9)
[INFO] [stderr]       Adding indexmap v1.9.3 (latest: v2.2.6)
[INFO] [stderr]       Adding object v0.32.2 (latest: v0.34.0)
[INFO] [stderr]       Adding os_str_bytes v6.6.1 (latest: v7.0.0)
[INFO] [stderr]       Adding strsim v0.10.0 (latest: v0.11.1)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[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" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 549593d6dac1cac92410caf38eba503ba541ce54ce60f67be2752d09112d1924
[INFO] running `Command { std: "docker" "start" "-a" "549593d6dac1cac92410caf38eba503ba541ce54ce60f67be2752d09112d1924", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "549593d6dac1cac92410caf38eba503ba541ce54ce60f67be2752d09112d1924", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "549593d6dac1cac92410caf38eba503ba541ce54ce60f67be2752d09112d1924", kill_on_drop: false }`
[INFO] [stdout] 549593d6dac1cac92410caf38eba503ba541ce54ce60f67be2752d09112d1924
[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" "+385fa9d845dd326c6bbfd58c22244215e431948a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b51c146c61d8a8fe015cda6de889ebeb7bd6a1d512fb25d02844d7540f35c70e
[INFO] running `Command { std: "docker" "start" "-a" "b51c146c61d8a8fe015cda6de889ebeb7bd6a1d512fb25d02844d7540f35c70e", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.153
[INFO] [stderr]    Compiling cc v1.0.90
[INFO] [stderr]     Checking memchr v2.7.2
[INFO] [stderr]     Checking adler v1.0.2
[INFO] [stderr]    Compiling autocfg v1.2.0
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]     Checking gimli v0.28.1
[INFO] [stderr]     Checking rustc-demangle v0.1.23
[INFO] [stderr]     Checking hashbrown v0.12.3
[INFO] [stderr]     Checking os_str_bytes v6.6.1
[INFO] [stderr]     Checking termcolor v1.4.1
[INFO] [stderr]     Checking textwrap v0.16.1
[INFO] [stderr]     Checking miniz_oxide v0.7.2
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]     Checking clap_lex v0.2.4
[INFO] [stderr]     Checking object v0.32.2
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]    Compiling backtrace v0.3.71
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking clap v3.2.25
[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" "b51c146c61d8a8fe015cda6de889ebeb7bd6a1d512fb25d02844d7540f35c70e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b51c146c61d8a8fe015cda6de889ebeb7bd6a1d512fb25d02844d7540f35c70e", kill_on_drop: false }`
[INFO] [stdout] b51c146c61d8a8fe015cda6de889ebeb7bd6a1d512fb25d02844d7540f35c70e