about summary refs log tree commit diff
path: root/src/test/ui/inference
AgeCommit message (Collapse)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-2241/+0
2022-12-20Add regression test for #80816Yuki Okushi-0/+81
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2022-12-14Rollup merge of #105523 - estebank:suggest-collect-vec, r=compiler-errorsMatthias Krüger-8/+8
Suggest `collect`ing into `Vec<_>` Fix #105510.
2022-12-13review commentsEsteban Küber-3/+3
2022-12-13Suggest `: Type` instead of `: _`Esteban Küber-3/+3
2022-12-13Remove unnecessary code and account for turbofish suggestionEsteban Küber-6/+6
Remove previously existing fallback that tried to give a good turbofish suggestion, `need_type_info` is already good enough. Special case `::<Vec<_>` suggestion for `Iterator::collect`.
2022-12-13Suggest `collect`ing into `Vec<_>`Esteban Küber-1/+1
2022-12-13Avoid rendering empty annotationsOli Scherer-3/+0
2022-12-13Make some diagnostics not depend on the source of what they reference being ↵Oli Scherer-3/+3
available
2022-12-08Point at LHS on binop type err if relevantEsteban Küber-1/+4
2022-11-30Rollup merge of #104697 - dingxiangfei2009:fix-euv-control-flow, r=oli-obkMatthias Krüger-0/+46
Restore control flow on error in EUV cc `@Nilstrieb` Fix #104649 Since #98574 refactored a piece of scrutinee memory categorization out as a subroutine, there is a subtle change in handling match arms especially when the categorization process faults and bails. In the correct case, it is not supposed to continue to process the arms any more. This PR restores the original control flow in EUV. I promise to add a compile-fail test to demonstrate that this indeed fixes the issue after coming back from a nap.
2022-11-28Change multiline span ASCII art visual orderEsteban Küber-6/+6
2022-11-28inference test for #104649Ding Xiang Fei-0/+46
2022-11-10Auto merge of #103636 - chenyukang:yukang/fix-103587-sugg-if-let, ↵bors-0/+52
r=jackh276,davidtwco Recover from common if let syntax mistakes/typos Fixes #103587
2022-11-08ignore wasm in testlcnr-2/+4
2022-11-08selection failure: recompute applicable implslcnr-6/+27
2022-11-08fix #103587, Recover from common if let syntax mistakes/typosyukang-0/+52
2022-10-23Rollup merge of #103305 - c410-f3r:moar-errors, r=petrochenkovDylan DPC-0/+22
Move some tests to more reasonable places r? `@petrochenkov`
2022-10-22Update UI testsclubby789-4/+45
2022-10-20Move some tests for more reasonable placesCaio-0/+22
2022-10-16fix `own_substs` ICETakayuki Maeda-0/+32
2022-10-05stop suggesting adding generic args for turbofishTakayuki Maeda-9/+20
2022-10-01bless ui testsMaybe Waffle-2/+2
2022-08-30Stabilize GATsJack Huey-3/+1
2022-08-21Rework ambiguity errorsMichael Goulet-27/+9
2022-08-21Account for relative pathsMichael Goulet-1/+1
2022-08-21Rework point-at-argMichael Goulet-12/+32
2022-07-20Normalize the arg spans to be within the call spanMichael Goulet-15/+12
2022-07-08Fix duplicated type annotation suggestionDaniel Xu-12/+0
Before, there was more or less duplicated suggestions to add type hints. Fix by clearing more generic suggestions when a more specific suggestion is possible. This fixes #93506 .
2022-07-04`InferSource::GenericArg`, check for containslcnr-9/+8
2022-07-04resolve vars in node substslcnr-1/+6
2022-07-04update infer cost computation for typeslcnr-0/+44
2022-07-01Show source of ambiguity in a few more placesMichael Goulet-6/+15
2022-06-28fix `emit_inference_failure_err` ICElcnr-0/+100
2022-06-23Rollup merge of #98269 - compiler-errors:provide-more-segment-res, ↵Michael Goulet-8/+8
r=petrochenkov Provide a `PathSegment.res` in more cases I find that in many cases, the `res` associated with a `PathSegment` is `Res::Err` even though the path was fully resolved. A few diagnostics use this `res` and their error messages suffer because of the lack of resolved segment. This fixes it a bit, but it's obviously not complete and I'm not exactly sure if it's correct.
2022-06-21Move some tests to more reasonable directoriesCaio-0/+299
2022-06-20Provide a segment res in more casesMichael Goulet-8/+8
2022-06-16diagnostics: fix trailing spaceklensy-2/+2
2022-06-11Rollup merge of #97703 - lcnr:post-89862, r=estebankDylan DPC-0/+154
some additional `need_type_info.rs` cleanup also fixes #97698, fixes #97806 cc `@estebank`
2022-06-08add test + don't warn on `Res::SelfTy`lcnr-0/+76
2022-06-08need_type_info: don't ICE when detected ty aliaslcnr-0/+78
fixes #97698
2022-06-06Deactivate feature gate explicit_generic_args_with_impl_traitNick Cameron-3/+3
Signed-off-by: Nick Cameron <nrc@ncameron.org>
2022-06-02`generic_arg_contains_target`: ignore closureslcnr-8/+8
2022-06-02use verbose suggestionslcnr-3/+6
2022-06-02add new `emit_inference_failure_err`lcnr-72/+69
2022-05-20Rollup merge of #97109 - ↵Matthias Krüger-0/+52
TaKO8Ki:fix-misleading-cannot-infer-type-for-type-parameter-error, r=oli-obk Fix misleading `cannot infer type for type parameter` error closes #93198
2022-05-20report ambiguous type parameters when their parents are impl or fnTakayuki Maeda-0/+20
fix ci error emit err for `impl_item`
2022-05-17fix misleading `cannot infer type for type parameter` errorTakayuki Maeda-0/+32
2022-05-13Add regression test for #28935Yuki Okushi-0/+9
2022-04-30Bless the UI testsScott McMurray-10/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-15 01:50:39 +0000