about summary refs log tree commit diff
path: root/tests/ui/ufcs
AgeCommit message (Collapse)AuthorLines
2023-12-10remove redundant importssurechen-2/+1
detects redundant imports that can be eliminated. for #117772 : In order to facilitate review and modification, split the checking code and removing redundant imports code into two PR.
2023-12-07recurse into refs when comparing tys for diagnosticsjyn-14/+14
2023-10-25Work around the fact that `check_mod_type_wf` may spuriously return ↵Oli Scherer-7/+25
`ErrorGuaranteed`, even if that error is only emitted by `check_modwitem_types`
2023-08-26More accurately point at argumentsEsteban Küber-4/+2
2023-06-27Don't sort strings right after we just sorted by typesMichael Goulet-4/+4
2023-04-07Use smart-resolve when checking for trait in RHS of UFCSMichael Goulet-95/+139
2023-04-02Move some UI tests into subdirectoriesjyn-0/+154
to avoid going over the existing limit now that the ui-fulldeps tests have been moved to ui.
2023-02-23diagnostics: remove inconsistent English article "this" from E0107Michael Howell-2/+2
Consider `tests/ui/const-generics/generic_const_exprs/issue-102768.stderr`, the error message where it gives additional notes about where the associated type is defined, and how the dead code lint doesn't have an article, like in `tests/ui/lint/dead-code/issue-85255.stderr`. They don't have articles, so it seems unnecessary to have one here.
2023-02-22diagnostics: update test cases to refer to assoc fn with `self` as methodMichael Howell-5/+5
2023-01-14Rollup merge of #106752 - sulami:master, r=estebankMatthias Krüger-0/+14
Emit a hint for bad call return types due to generic arguments When the return type of a function call depends on the type of an argument, e.g. ``` fn foo<T>(x: T) -> T { x } ``` and the expected type is set due to either an explicitly typed binding, or because the call to the function is in a tail position without semicolon, the current error implies that the argument in the call has the wrong type. This new hint highlights that the expected type doesn't match the returned type, which matches the argument type, and that that's why we're flagging the argument type. Fixes #43608.
2023-01-13Emit a hint for bad call return types due to generic argumentsRobin Schroer-0/+14
When the return type of a function call depends on the type of an argument, e.g. ``` fn foo<T>(x: T) -> T { x } ``` and the expected type is set due to either an explicitly typed binding, or because the call to the function is in a tail position without semicolon, the current error implies that the argument in the call has the wrong type. This new hint highlights that the expected type doesn't match the returned type, which matches the argument type, and that that's why we're flagging the argument type. Fixes #43608.
2023-01-11When suggesting writing a fully qualified path probe for appropriate typesEsteban Küber-1/+6
Fix #46585.
2023-01-11Move /src/test to /testsAlbert Larsan-0/+589