about summary refs log tree commit diff
path: root/src/test/ui/methods/method-not-found-generic-arg-elision.stderr
AgeCommit message (Collapse)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-97/+0
2022-12-15Trim paths in E0599Esteban Küber-1/+1
2022-07-19feat: omit suffixes in const generics (e.g. `1_i32`)Artur Sinila-4/+4
Closes #99255
2022-07-08Auto merge of #98816 - estebank:implicit-sized, r=oli-obkbors-7/+7
Track implicit `Sized` obligations in type params When we evaluate `ty::GenericPredicates` we introduce the implicit `Sized` predicate of type params, but we do so with only the `Predicate` its `Span` as context, we don't have an `Obligation` or `ObligationCauseCode` we could influence. To try and carry this information through, we add a new field to `ty::GenericPredicates` that tracks both which predicates come from a type param and whether that param has any bounds already (to use in suggestions). We also suggest adding a `?Sized` bound if appropriate on E0599. Address part of #98539.
2022-07-07Track implicit `Sized` obligations in type paramsEsteban Küber-7/+7
Suggest adding a `?Sized` bound if appropriate on E0599 by inspecting the HIR Generics. (Fix #98539)
2022-07-07Shorten span for closures.Camille GILLOT-1/+1
2022-06-22point to type param definition when not finding variant, method and assoc typeTakayuki Maeda-7/+7
use `def_ident_span` , `body_owner_def_id` instead of `in_progress_typeck_results`, `guess_head_span` use `body_id.owner` directly add description to label
2021-05-25show list of candidatesAliénore Bouttefeux-8/+12
2021-05-22change from review and show full type if it can be derefAliénore Bouttefeux-14/+32
2021-05-21remove generic argument insead of displaying "_"Aliénore Bouttefeux-5/+5
2021-04-15elision of generic argument in E0599 if the methode has not been found ↵Aliénore Bouttefeux-0/+75
anywhere and sugetion of type with method when found.