about summary refs log tree commit diff
path: root/tests/ui/type/type-check
AgeCommit message (Expand)AuthorLines
2025-05-03compiletest: Do not require annotations on empty labels and suggestionsVadim Petrochenkov-3/+2
2025-02-25Make E0614 a structured errorEsteban Küber-1/+1
2025-02-21More sophisticated span trimmingMichael Goulet-3/+2
2025-02-10Show diff suggestion format on verbose replacementEsteban Küber-8/+12
2025-02-05When displaying a parameter mismatch error, only highlight the mismatched par...Jason Newcomb-4/+3
2024-12-07Use trait name instead of full constraint in suggestion messageEsteban Küber-4/+4
2024-12-07reword trait bound suggestion message to include the boundsEsteban Küber-4/+4
2024-09-27On implicit `Sized` bound on fn argument, point at type instead of patternEsteban Küber-2/+2
2024-07-14Use ordinal number in argument errorlong-long-float-2/+2
2024-04-25Check closure args and returns are WFMichael Goulet-2/+2
2024-03-18When displaying multispans, ignore empty lines adjacent to `...`Esteban Küber-2/+1
2024-02-18macro_rules: Preserve all metavariable spans in a global side tableVadim Petrochenkov-2/+2
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-6/+6
2024-02-14Continue compilation after check_mod_type_wf errorsOli Scherer-2/+16
2023-12-26Suggest `=` to `==` in more cases, even in the face of reference mismatchEsteban Küber-1/+17
2023-12-07recurse into refs when comparing tys for diagnosticsjyn-4/+4
2023-11-24Show number in error message even for one errorNilstrieb-12/+12
2023-10-20Invalid `?` suggestion on mismatched `Ok(T)`Ethan Brierley-0/+21
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-1/+1
2023-10-02Don't suggest nonsense suggestions for unconstrained type vars in note_source...Michael Goulet-0/+35
2023-04-12More accurate argument blames, add some commentsMichael Goulet-3/+11
2023-04-12Properly note source of arg mismatchMichael Goulet-1/+10
2023-04-12Restore suggestion based off of backwards inference from bad usage to method ...Michael Goulet-1/+5
2023-04-12Point at which arg causes a binding to be constrainedMichael Goulet-1/+3
2023-04-12Make note_source_of_type_mismatch_constraint simplerMichael Goulet-22/+8
2023-02-22diagnostics: update test cases to refer to assoc fn with `self` as methodMichael Howell-5/+5
2023-02-15Skip method calls with arity mismatchMartin Gammelsæter-10/+1
2023-02-15Add point-at-inference ui test for wrong arity caseMartin Gammelsæter-0/+61
2023-02-09Don't expose type parameters and implementation details from macro expansion许杰友 Jieyou Xu (Joe)-6/+6
2023-01-30Modify primary span label for E0308Esteban Küber-11/+11
2023-01-23tweak wordingEsteban Küber-6/+6
2023-01-23Ensure suggestion correctnessEsteban Küber-1/+120
2023-01-23Suggest coercion of `Result` using `?`Esteban Küber-0/+65
2023-01-14Deprioritize fulfillment errors that come from expansions.Mara Bos-1/+1
2023-01-11Move /src/test to /testsAlbert Larsan-0/+865