lcnr
2b67f0104a
check FnDef return type for WF
2024-04-04 01:55:29 +01:00
Matthias Krüger
0c8c18fcc6
Rollup merge of #123291 - c410-f3r:testsssssss, r=petrochenkov
...
Move some tests
r? `@petrochenkov`
2024-04-03 22:11:01 +02:00
Caio
4c0aea0d47
Move some tests
2024-03-31 14:58:17 -03:00
Steven Trotter
8a5245e7dd
Refactored a few bits:
...
- Firstly get all the information about generics matching out of the HIR
- Secondly the labelling for the function is more coherent now
- Lastly a few error message improvements
2024-03-15 13:37:41 +00:00
Steven Trotter
df93364057
Added ability to report on generic argument mismatch better
...
Needs some checking over and some tests have altered that need sanity checking, but overall this is starting to get somewhere now.
2024-03-15 08:37:32 +00:00
许杰友 Jieyou Xu (Joe)
ec2cc761bc
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
Oli Scherer
5f6390f947
Continue compilation after check_mod_type_wf errors
2024-02-14 11:00:30 +00:00
Oli Scherer
eab2adb660
Continue to borrowck even if there were previous errors
2024-02-08 08:10:43 +00:00
Oli Scherer
0978f6e010
Avoid silencing relevant follow-up errors
2024-01-09 21:08:16 +00:00
jyn
b5d8361909
rename to verbose-internals
2023-12-19 13:35:37 -05:00
jyn
eb53721a34
recurse into refs when comparing tys for diagnostics
2023-12-07 23:00:46 -05:00
Nilstrieb
41e8d152dc
Show number in error message even for one error
...
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
2023-11-24 19:15:52 +01:00
Michael Goulet
c83f642f12
Pretty print Fn traits in rustc_on_unimplemented
2023-11-02 20:57:05 +00:00
Ali MJ Al-Nasrawy
a8830631b9
remove trailing dots
2023-10-08 10:06:17 +00:00
Ali MJ Al-Nasrawy
996ffcb718
always show and explain sub region
2023-10-08 09:59:51 +00:00
Eduardo Sánchez Muñoz
c599761140
rustc_hir_analysis: add a helper to check function the signature mismatches
...
This function is now used to check `#[panic_handler]`, `start` lang item, `main`, `#[start]` and intrinsic functions.
The diagnosis produced are now closer to the ones produced by trait/impl method signature mismatch.
2023-09-19 18:15:23 +02:00
Gurinder Singh
6a286e775c
Add explanatory note to 'expected item' error
2023-09-06 09:05:07 +05:30
Michael Goulet
bf66723c0e
Test and note unsafe ctor to fn ptr coercion
...
Also remove a note that I don't consider to be very useful in context.
2023-08-30 15:09:40 -07:00
Caio
0285611096
Move tests
2023-05-08 17:58:01 -03:00
whtahy
6f6550f156
add known-bug test for unsound issue 100051
2023-04-22 13:41:53 -04:00
whtahy
cac62ab2dd
add known-bug test for unsound issue 84533
2023-04-22 00:47:07 -04:00
Nilstrieb
ca79b82c6c
Never consider int and float vars for FnPtr candidates
...
This solves a regression where `0.0.cmp()` was ambiguous when a custom
trait with a `cmp` method was in scope.
FOr integers it shouldn't be a problem in practice so I wasn't able to
add a test.
2023-04-03 15:25:06 +00:00
lcnr
0c13565ca6
Add a builtin FnPtr trait
2023-03-27 12:16:54 +00:00
Ezra Shaw
a30c2c26c0
feat: implement better error for manual impl of Fn* traits
2023-03-10 20:32:24 +13:00
Michael Howell
3f374128ee
diagnostics: update test cases to refer to assoc fn with self as method
2023-02-22 08:40:47 -07:00
Esteban Küber
d86835769c
Make structured suggestion for fn casting verbose
2023-01-30 21:55:25 +00:00
Esteban Küber
5ae8e23816
Mention fn coercion rules (needs to be expanded)
2023-01-30 21:51:33 +00:00
Esteban Küber
62ba3e70a1
Modify primary span label for E0308
...
The previous output was unintuitive to users.
2023-01-30 20:12:19 +00:00
Matthew J Perez
3016f55579
improve fn pointer notes
...
- add note and suggestion for casting both expected and found fn items
to fn pointers
- add note for casting expected fn item to fn pointer
2023-01-26 05:07:34 +00:00
Matthias Krüger
9e3f330656
Rollup merge of #106897 - estebank:issue-99430, r=davidtwco
...
Tweak E0597
CC #99430
2023-01-25 22:19:52 +01:00
Matthew J Perez
1e22280f23
Add suggestions for function pointers
...
- On compiler-error's suggestion of moving this lower down the stack,
along the path of `report_mismatched_types()`, which is used
by `rustc_hir_analysis` and `rustc_hir_typeck`.
- update ui tests, add test
- add suggestions for references to fn pointers
- modify `TypeErrCtxt::same_type_modulo_infer` to take `T: relate::Relate` instead of `Ty`
2023-01-24 14:02:56 -05:00
Esteban Küber
656db98bd9
Tweak E0597
...
CC #99430
2023-01-15 19:46:20 +00:00
Albert Larsan
cf2dff2b1e
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
