[INFO] fetching crate rsmt2 0.16.2...
[INFO] checking rsmt2-0.16.2 against master#385fa9d845dd326c6bbfd58c22244215e431948a for absurd-question-mark-desugar
[INFO] extracting crate rsmt2 0.16.2 into /workspace/builds/worker-2-tc1/source
[INFO] validating manifest of crates.io crate rsmt2 0.16.2 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 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-2-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" "+385fa9d845dd326c6bbfd58c22244215e431948a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded os_str_bytes v6.3.0
[INFO] [stderr]   Downloaded clap v3.2.20
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] fdee3da5466e827d3d6e10fbbd0aa39fb99e12858d56828b52a5c3f0020782ef
[INFO] running `Command { std: "docker" "start" "-a" "fdee3da5466e827d3d6e10fbbd0aa39fb99e12858d56828b52a5c3f0020782ef", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fdee3da5466e827d3d6e10fbbd0aa39fb99e12858d56828b52a5c3f0020782ef", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fdee3da5466e827d3d6e10fbbd0aa39fb99e12858d56828b52a5c3f0020782ef", kill_on_drop: false }`
[INFO] [stdout] fdee3da5466e827d3d6e10fbbd0aa39fb99e12858d56828b52a5c3f0020782ef
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] ef680f609ef2d0baa76514f3fdbaa435c3b2580509d63bd673ba89858cd89174
[INFO] running `Command { std: "docker" "start" "-a" "ef680f609ef2d0baa76514f3fdbaa435c3b2580509d63bd673ba89858cd89174", 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]     Checking rustc-demangle v0.1.21
[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]    Compiling indexmap v1.9.1
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]     Checking miniz_oxide v0.5.4
[INFO] [stderr]     Checking clap_lex v0.2.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] running `Command { std: "docker" "inspect" "ef680f609ef2d0baa76514f3fdbaa435c3b2580509d63bd673ba89858cd89174", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ef680f609ef2d0baa76514f3fdbaa435c3b2580509d63bd673ba89858cd89174", kill_on_drop: false }`
[INFO] [stdout] ef680f609ef2d0baa76514f3fdbaa435c3b2580509d63bd673ba89858cd89174