rust/tests/ui/traits/issue-77982.stderr

error[E0283]: type annotations needed
  --> $DIR/issue-77982.rs:9:10
   |
LL |     opts.get(opt.as_ref());
   |          ^^^ ------------ type must be known at this point
   |          |
   |          cannot infer type of the type parameter `Q` declared on the method `get`
   |
   = note: multiple `impl`s satisfying `String: Borrow<_>` found in the following crates: `alloc`, `core`:
           - impl Borrow<str> for String;
           - impl<T> Borrow<T> for T
             where T: ?Sized;
note: required by a bound in `HashMap::<K, V, S>::get`
  --> $SRC_DIR/std/src/collections/hash/map.rs:LL:COL
help: consider specifying the generic argument
   |
LL |     opts.get::<Q>(opt.as_ref());
   |             +++++

error[E0283]: type annotations needed
  --> $DIR/issue-77982.rs:9:10
   |
LL |     opts.get(opt.as_ref());
   |          ^^^     ------ type must be known at this point
   |          |
   |          cannot infer type of the type parameter `Q` declared on the method `get`
   |
   = note: multiple `impl`s satisfying `String: AsRef<_>` found in the following crates: `alloc`, `std`:
           - impl AsRef<OsStr> for String;
           - impl AsRef<Path> for String;
           - impl AsRef<[u8]> for String;
           - impl AsRef<str> for String;
help: consider specifying the generic argument
   |
LL |     opts.get::<Q>(opt.as_ref());
   |             +++++

error[E0283]: type annotations needed
  --> $DIR/issue-77982.rs:14:59
   |
LL |     let ips: Vec<_> = (0..100_000).map(|_| u32::from(0u32.into())).collect();
   |                                            ---            ^^^^
   |                                            |
   |                                            type must be known at this point
   |
   = note: multiple `impl`s satisfying `u32: From<_>` found in the `core` crate:
           - impl From<Char> for u32;
           - impl From<Ipv4Addr> for u32;
           - impl From<bool> for u32;
           - impl From<char> for u32;
           - impl From<u16> for u32;
           - impl From<u8> for u32;
help: try using a fully qualified path to specify the expected types
   |
LL |     let ips: Vec<_> = (0..100_000).map(|_| u32::from(<u32 as Into<T>>::into(0u32))).collect();
   |                                                      +++++++++++++++++++++++    ~

error[E0283]: type annotations needed for `Box<_>`
  --> $DIR/issue-77982.rs:37:9
   |
LL |     let _ = ().foo();
   |         ^      --- type must be known at this point
   |
note: multiple `impl`s satisfying `(): Foo<'_, _>` found
  --> $DIR/issue-77982.rs:30:1
   |
LL | impl Foo<'static, u32> for () {}
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
LL | impl<'a> Foo<'a, i16> for () {}
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
help: consider giving this pattern a type, where the type for type parameter `T` is specified
   |
LL |     let _: Box<T> = ().foo();
   |          ++++++++

error[E0283]: type annotations needed for `Box<_>`
  --> $DIR/issue-77982.rs:41:9
   |
LL |     let _ = (&()).bar();
   |         ^         --- type must be known at this point
   |
note: multiple `impl`s satisfying `&(): Bar<'_, _>` found
  --> $DIR/issue-77982.rs:33:1
   |
LL | impl<'a> Bar<'static, u32> for &'a () {}
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
LL | impl<'a> Bar<'a, i16> for &'a () {}
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
help: consider giving this pattern a type, where the type for type parameter `T` is specified
   |
LL |     let _: Box<T> = (&()).bar();
   |          ++++++++

error: aborting due to 5 previous errors

For more information about this error, try `rustc --explain E0283`.
don't assume trait ambiguity happens in `Self` 2020-10-19 16:42:57 +00:00			`error[E0283]: type annotations needed`
Fix windows test that has different stderr output 2023-10-05 03:57:10 +00:00			`--> $DIR/issue-77982.rs:9:10`
don't assume trait ambiguity happens in `Self` 2020-10-19 16:42:57 +00:00			`\|`
			`LL \| opts.get(opt.as_ref());`
Rework point-at-arg 2022-08-16 06:27:22 +00:00			`\| ^^^ ------------ type must be known at this point`
			`\| \|`
diagnostics: update test cases to refer to assoc fn with `self` as method 2023-02-21 21:11:08 +00:00			\| cannot infer type of the type parameter `Q` declared on the method `get`
don't assume trait ambiguity happens in `Self` 2020-10-19 16:42:57 +00:00			`\|`
Point at overlapping impls when type annotations are needed 2021-10-01 13:05:17 +00:00			= note: multiple `impl`s satisfying `String: Borrow<_>` found in the following crates: `alloc`, `core`:
			`- impl Borrow<str> for String;`
			`- impl<T> Borrow<T> for T`
			`where T: ?Sized;`
Point at source of trait bound obligations in more places Be more thorough in using `ItemObligation` and `BindingObligation` when evaluating obligations so that we can point at trait bounds that introduced unfulfilled obligations. We no longer incorrectly point at unrelated trait bounds (`substs-ppaux.verbose.stderr`). In particular, we now point at trait bounds on method calls. We no longer point at "obvious" obligation sources (we no longer have a note pointing at `Trait` saying "required by a bound in `Trait`", like in `associated-types-no-suitable-supertrait*`). Address part of #89418. 2021-10-05 23:04:09 +00:00			note: required by a bound in `HashMap::<K, V, S>::get`
			`--> $SRC_DIR/std/src/collections/hash/map.rs:LL:COL`
Rework point-at-arg 2022-08-16 06:27:22 +00:00			`help: consider specifying the generic argument`
Point at source of trait bound obligations in more places Be more thorough in using `ItemObligation` and `BindingObligation` when evaluating obligations so that we can point at trait bounds that introduced unfulfilled obligations. We no longer incorrectly point at unrelated trait bounds (`substs-ppaux.verbose.stderr`). In particular, we now point at trait bounds on method calls. We no longer point at "obvious" obligation sources (we no longer have a note pointing at `Trait` saying "required by a bound in `Trait`", like in `associated-types-no-suitable-supertrait*`). Address part of #89418. 2021-10-05 23:04:09 +00:00			`\|`
			`LL \| opts.get::<Q>(opt.as_ref());`
			`\| +++++`
don't assume trait ambiguity happens in `Self` 2020-10-19 16:42:57 +00:00
			`error[E0283]: type annotations needed`
Fix windows test that has different stderr output 2023-10-05 03:57:10 +00:00			`--> $DIR/issue-77982.rs:9:10`
Point at overlapping impls when type annotations are needed 2021-10-01 13:05:17 +00:00			`\|`
			`LL \| opts.get(opt.as_ref());`
Rework ambiguity errors 2022-08-17 00:21:40 +00:00			`\| ^^^ ------ type must be known at this point`
			`\| \|`
diagnostics: update test cases to refer to assoc fn with `self` as method 2023-02-21 21:11:08 +00:00			\| cannot infer type of the type parameter `Q` declared on the method `get`
Point at overlapping impls when type annotations are needed 2021-10-01 13:05:17 +00:00			`\|`
			= note: multiple `impl`s satisfying `String: AsRef<_>` found in the following crates: `alloc`, `std`:
			`- impl AsRef<OsStr> for String;`
			`- impl AsRef<Path> for String;`
			`- impl AsRef<[u8]> for String;`
			`- impl AsRef<str> for String;`
add new `emit_inference_failure_err` 2022-02-14 12:25:26 +00:00			`help: consider specifying the generic argument`
			`\|`
			`LL \| opts.get::<Q>(opt.as_ref());`
			`\| +++++`
Point at overlapping impls when type annotations are needed 2021-10-01 13:05:17 +00:00
Reorder fullfillment errors to keep more interesting ones first In `report_fullfillment_errors` push back `T: Sized`, `T: WellFormed` and coercion errors to the end of the list. The pre-existing deduplication logic eliminates redundant errors better that way, keeping the resulting output with fewer errors than before, while also having more detail. 2023-08-14 13:09:53 +00:00			`error[E0283]: type annotations needed`
Fix windows test that has different stderr output 2023-10-05 03:57:10 +00:00			`--> $DIR/issue-77982.rs:14:59`
don't assume trait ambiguity happens in `Self` 2020-10-19 16:42:57 +00:00			`\|`
			`LL \| let ips: Vec<_> = (0..100_000).map(\|_\| u32::from(0u32.into())).collect();`
Reorder fullfillment errors to keep more interesting ones first In `report_fullfillment_errors` push back `T: Sized`, `T: WellFormed` and coercion errors to the end of the list. The pre-existing deduplication logic eliminates redundant errors better that way, keeping the resulting output with fewer errors than before, while also having more detail. 2023-08-14 13:09:53 +00:00			`\| --- ^^^^`
			`\| \|`
			`\| type must be known at this point`
			`\|`
			= note: multiple `impl`s satisfying `u32: From<_>` found in the `core` crate:
bless 2024-01-25 15:32:44 +00:00			`- impl From<Char> for u32;`
Reorder fullfillment errors to keep more interesting ones first In `report_fullfillment_errors` push back `T: Sized`, `T: WellFormed` and coercion errors to the end of the list. The pre-existing deduplication logic eliminates redundant errors better that way, keeping the resulting output with fewer errors than before, while also having more detail. 2023-08-14 13:09:53 +00:00			`- impl From<Ipv4Addr> for u32;`
			`- impl From<bool> for u32;`
			`- impl From<char> for u32;`
			`- impl From<u16> for u32;`
			`- impl From<u8> for u32;`
add new `emit_inference_failure_err` 2022-02-14 12:25:26 +00:00			`help: try using a fully qualified path to specify the expected types`
			`\|`
			`LL \| let ips: Vec<_> = (0..100_000).map(\|_\| u32::from(<u32 as Into<T>>::into(0u32))).collect();`
			`\| +++++++++++++++++++++++ ~`
don't assume trait ambiguity happens in `Self` 2020-10-19 16:42:57 +00:00
Use `fn` ptr signature instead of `{closure@..}` in infer error When suggesting a type on inference error, do not use `{closure@..}`. Instead, replace with an appropriate `fn` ptr. On the error message, use `short_ty_string` and write long types to disk. ``` error[E0284]: type annotations needed for `Select<{closure@lib.rs:2782:13}, _, Expression<'_>, _>` --> crates/lang/src/parser.rs:41:13 \| 41 \| let lit = select! { \| ^^^ 42 \| Token::Int(i) = e => Expression::new(Expr::Lit(ast::Lit::Int(i.parse().unwrap())), e.span()), \| ---- type must be known at this point \| = note: the full type name has been written to '/home/gh-estebank/iowo/target/debug/deps/lang-e2d6e25819442273.long-type-4587393693885174369.txt' = note: cannot satisfy `<_ as chumsky::input::Input<'_>>::Span == SimpleSpan` help: consider giving `lit` an explicit type, where the type for type parameter `I` is specified \| 41 \| let lit: Select<for<'a, 'b> fn(tokens::Token<'_>, &'a mut MapExtra<'_, 'b, _, _>) -> Option<Expression<'_>>, _, Expression<'_>, _> = select! { \| +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ``` instead of ``` error[E0284]: type annotations needed for `Select<{closure@/home/gh-estebank/.cargo/registry/src/index.crates.io-6f17d22bba15001f/chumsky-1.0.0-alpha.6/src/lib.rs:2782:13: 2782:28}, _, Expression<'_>, _>` --> crates/lang/src/parser.rs:41:13 \| 41 \| let lit = select! { \| ^^^ 42 \| Token::Int(i) = e => Expression::new(Expr::Lit(ast::Lit::Int(i.parse().unwrap())), e.span()), \| ---- type must be known at this point \| = note: cannot satisfy `<_ as chumsky::input::Input<'_>>::Span == SimpleSpan` help: consider giving `lit` an explicit type, where the type for type parameter `I` is specified \| 41 \| let lit: Select<{closure@/home/gh-estebank/.cargo/registry/src/index.crates.io-6f17d22bba15001f/chumsky-1.0.0-alpha.6/src/lib.rs:2782:13: 2782:28}, _, Expression<'_>, _> = select! { \| ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ``` Fix #123630. 2024-04-10 00:11:52 +00:00			error[E0283]: type annotations needed for `Box<_>`
Fix windows test that has different stderr output 2023-10-05 03:57:10 +00:00			`--> $DIR/issue-77982.rs:37:9`
don't assume trait ambiguity happens in `Self` 2020-10-19 16:42:57 +00:00			`\|`
			`LL \| let _ = ().foo();`
Rework ambiguity errors 2022-08-17 00:21:40 +00:00			`\| ^ --- type must be known at this point`
don't assume trait ambiguity happens in `Self` 2020-10-19 16:42:57 +00:00			`\|`
Point at overlapping impls when type annotations are needed 2021-10-01 13:05:17 +00:00			note: multiple `impl`s satisfying `(): Foo<'_, _>` found
Fix windows test that has different stderr output 2023-10-05 03:57:10 +00:00			`--> $DIR/issue-77982.rs:30:1`
Point at overlapping impls when type annotations are needed 2021-10-01 13:05:17 +00:00			`\|`
			`LL \| impl Foo<'static, u32> for () {}`
			`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
			`LL \| impl<'a> Foo<'a, i16> for () {}`
			`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
add new `emit_inference_failure_err` 2022-02-14 12:25:26 +00:00			help: consider giving this pattern a type, where the type for type parameter `T` is specified
			`\|`
			`LL \| let _: Box<T> = ().foo();`
			`\| ++++++++`
don't assume trait ambiguity happens in `Self` 2020-10-19 16:42:57 +00:00
Use `fn` ptr signature instead of `{closure@..}` in infer error When suggesting a type on inference error, do not use `{closure@..}`. Instead, replace with an appropriate `fn` ptr. On the error message, use `short_ty_string` and write long types to disk. ``` error[E0284]: type annotations needed for `Select<{closure@lib.rs:2782:13}, _, Expression<'_>, _>` --> crates/lang/src/parser.rs:41:13 \| 41 \| let lit = select! { \| ^^^ 42 \| Token::Int(i) = e => Expression::new(Expr::Lit(ast::Lit::Int(i.parse().unwrap())), e.span()), \| ---- type must be known at this point \| = note: the full type name has been written to '/home/gh-estebank/iowo/target/debug/deps/lang-e2d6e25819442273.long-type-4587393693885174369.txt' = note: cannot satisfy `<_ as chumsky::input::Input<'_>>::Span == SimpleSpan` help: consider giving `lit` an explicit type, where the type for type parameter `I` is specified \| 41 \| let lit: Select<for<'a, 'b> fn(tokens::Token<'_>, &'a mut MapExtra<'_, 'b, _, _>) -> Option<Expression<'_>>, _, Expression<'_>, _> = select! { \| +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ``` instead of ``` error[E0284]: type annotations needed for `Select<{closure@/home/gh-estebank/.cargo/registry/src/index.crates.io-6f17d22bba15001f/chumsky-1.0.0-alpha.6/src/lib.rs:2782:13: 2782:28}, _, Expression<'_>, _>` --> crates/lang/src/parser.rs:41:13 \| 41 \| let lit = select! { \| ^^^ 42 \| Token::Int(i) = e => Expression::new(Expr::Lit(ast::Lit::Int(i.parse().unwrap())), e.span()), \| ---- type must be known at this point \| = note: cannot satisfy `<_ as chumsky::input::Input<'_>>::Span == SimpleSpan` help: consider giving `lit` an explicit type, where the type for type parameter `I` is specified \| 41 \| let lit: Select<{closure@/home/gh-estebank/.cargo/registry/src/index.crates.io-6f17d22bba15001f/chumsky-1.0.0-alpha.6/src/lib.rs:2782:13: 2782:28}, _, Expression<'_>, _> = select! { \| ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ``` Fix #123630. 2024-04-10 00:11:52 +00:00			error[E0283]: type annotations needed for `Box<_>`
Fix windows test that has different stderr output 2023-10-05 03:57:10 +00:00			`--> $DIR/issue-77982.rs:41:9`
don't assume trait ambiguity happens in `Self` 2020-10-19 16:42:57 +00:00			`\|`
			`LL \| let _ = (&()).bar();`
Rework ambiguity errors 2022-08-17 00:21:40 +00:00			`\| ^ --- type must be known at this point`
don't assume trait ambiguity happens in `Self` 2020-10-19 16:42:57 +00:00			`\|`
Point at overlapping impls when type annotations are needed 2021-10-01 13:05:17 +00:00			note: multiple `impl`s satisfying `&(): Bar<'_, _>` found
Fix windows test that has different stderr output 2023-10-05 03:57:10 +00:00			`--> $DIR/issue-77982.rs:33:1`
Point at overlapping impls when type annotations are needed 2021-10-01 13:05:17 +00:00			`\|`
			`LL \| impl<'a> Bar<'static, u32> for &'a () {}`
			`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
			`LL \| impl<'a> Bar<'a, i16> for &'a () {}`
			`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
add new `emit_inference_failure_err` 2022-02-14 12:25:26 +00:00			help: consider giving this pattern a type, where the type for type parameter `T` is specified
			`\|`
			`LL \| let _: Box<T> = (&()).bar();`
			`\| ++++++++`
don't assume trait ambiguity happens in `Self` 2020-10-19 16:42:57 +00:00
Rework ambiguity errors 2022-08-17 00:21:40 +00:00			`error: aborting due to 5 previous errors`
don't assume trait ambiguity happens in `Self` 2020-10-19 16:42:57 +00:00
Reorder fullfillment errors to keep more interesting ones first In `report_fullfillment_errors` push back `T: Sized`, `T: WellFormed` and coercion errors to the end of the list. The pre-existing deduplication logic eliminates redundant errors better that way, keeping the resulting output with fewer errors than before, while also having more detail. 2023-08-14 13:09:53 +00:00			For more information about this error, try `rustc --explain E0283`.