Matthias Krüger e63586f386 Rollup merge of #109957 - fmease:fix-109905, r=petrochenkov ... diagnostics: account for self type when looking for source of unsolved type variable Fixes #109905. When searching for the source of an unsolved infer var inside of a list of generic args, we look through the `tcx.generics_of(…).own_substs(…)` which *skips* the self type if present. However, the computed `argument_index` is later[^1] used to index into `tcx.generics_of(…).params` which may still contain the self type. In such case, we are off by one when indexing into the parameters. From now on, we account for this immediately after calling `own_substs` which keeps things local. This also fixes the wrong output in the preexisting UI test `inference/need_type_info/concrete-impl.rs` which was overlooked. It used to claim that the *type of type parameter `Self`* couldn't be inferred in `<Struct as Ambiguous<_>>::method()` which of course isn't true: `Self` equals `Struct` here, `A` couldn't be inferred. `@rustbot` label A-diagnostics [^1]: f98a271814/compiler/rustc_infer/src/infer/error_reporting/need_type_info.rs (L471)		2023-04-07 00:00:24 +02:00
..
auxiliary	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
need_type_info	account for self type when looking for source of unsolved ty var	2023-04-05 20:28:18 +02:00
ambiguous_type_parameter.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
ambiguous_type_parameter.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
array-len-mismatch.rs	Suggest the correct array length on mismatch	2023-02-12 02:15:41 +00:00
array-len-mismatch.stderr	Suggest the correct array length on mismatch	2023-02-12 02:15:41 +00:00
cannot-infer-async.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
cannot-infer-async.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
cannot-infer-closure-circular.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
cannot-infer-closure-circular.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
cannot-infer-closure.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
cannot-infer-closure.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
cannot-infer-partial-try-return.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
cannot-infer-partial-try-return.stderr	Deprioritize fulfillment errors that come from expansions.	2023-01-14 14:05:26 +01:00
char-as-str-multi.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
char-as-str-multi.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
char-as-str-single.fixed	fix type suggestions in match arms	2023-03-25 22:27:24 +01:00
char-as-str-single.rs	fix type suggestions in match arms	2023-03-25 22:27:24 +01:00
char-as-str-single.stderr	fix type suggestions in match arms	2023-03-25 22:27:24 +01:00
deref-suggestion.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
deref-suggestion.stderr	Modify primary span label for E0308	2023-01-30 20:12:19 +00:00
erase-type-params-in-label.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
erase-type-params-in-label.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
infer-binary-operand-behind-reference.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
inference_unstable_featured.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
inference_unstable_featured.stderr	diagnostics: update test cases to refer to assoc fn with self as method	2023-02-22 08:40:47 -07:00
inference_unstable_forced.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
inference_unstable_forced.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
inference_unstable.rs	diagnostics: update test cases to refer to assoc fn with self as method	2023-02-22 08:40:47 -07:00
inference_unstable.stderr	diagnostics: update test cases to refer to assoc fn with self as method	2023-02-22 08:40:47 -07:00
inference-variable-behind-raw-pointer.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
inference-variable-behind-raw-pointer.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-28935.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-36053.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-70703.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-71309.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-71309.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-71732.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-71732.stderr	diagnostics: update test cases to refer to assoc fn with self as method	2023-02-22 08:40:47 -07:00
issue-72616.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-72616.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-72690.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-72690.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-80409.rs	Add regression test for #80409	2023-04-05 21:20:07 +09:00
issue-80816.rs	Note predicate span on ImplDerivedObligation	2023-01-11 19:46:45 +00:00
issue-80816.stderr	Note predicate span on ImplDerivedObligation	2023-01-11 19:46:45 +00:00
issue-81522.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-83606.rs	defer array len printing to const arg printing	2023-01-18 04:07:39 +00:00
issue-83606.stderr	defer array len printing to const arg printing	2023-01-18 04:07:39 +00:00
issue-86162-1.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-86162-1.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-86162-2.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-86162-2.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-103587.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-103587.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-104649.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-104649.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
issue-107090.rs	Introduce ReError	2023-02-09 10:26:49 +00:00
issue-107090.stderr	Introduce ReError	2023-02-09 10:26:49 +00:00
lub-glb-with-unbound-infer-var.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
newlambdas-ret-infer2.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
newlambdas-ret-infer.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
question-mark-type-infer.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
question-mark-type-infer.stderr	diagnostics: update test cases to refer to assoc fn with self as method	2023-02-22 08:40:47 -07:00
range-type-infer.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
simple-infer.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
str-as-char.fixed	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
str-as-char.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
str-as-char.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
tutorial-suffix-inference-test.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
tutorial-suffix-inference-test.stderr	Move /src/test to /tests	2023-01-11 09:32:08 +00:00
type-infer-generalize-ty-var.rs	Move /src/test to /tests	2023-01-11 09:32:08 +00:00