Mara Bos
7a3d5fe842
Bless pretty tests.
2023-01-12 00:25:46 +01:00
Mara Bos
525b0bb77a
Bless tests.
2023-01-12 00:25:46 +01:00
mejrs
a8e3abd04c
Address feedback
2023-01-12 00:11:32 +01:00
mejrs
f92000816e
Improve proc macro attribute diagnostics
2023-01-12 00:11:11 +01:00
bors
56ee65aeb6
Auto merge of #106743 - matthiaskrgr:rollup-q5dpxms, r=matthiaskrgr
...
Rollup of 6 pull requests
Successful merges:
- #106620 (Detect struct literal needing parentheses)
- #106622 (Detect out of bounds range pattern value)
- #106703 (Note predicate span on `ImplDerivedObligation`)
- #106705 (Report fulfillment errors in new trait solver)
- #106726 (Fix some typos in code comments.)
- #106734 (Deny having src/test exisiting in tidy)
Failed merges:
r? `@ghost`
`@rustbot` modify labels: rollup
2023-01-11 23:05:58 +00:00
yanchen4791
621d412241
Fix invalid syntax in impl Trait parameter type suggestions for E0311
2023-01-11 14:49:55 -08:00
mejrs
372ac9c1a2
Translate Overlap eagerly
2023-01-11 14:40:13 -08:00
mejrs
8476c517c0
Don't recommend if let if let else works
2023-01-11 14:40:07 -08:00
mejrs
31c20210b9
Migrate pattern matching
2023-01-11 14:40:02 -08:00
mejrs
5d2b9a9ed0
Migrate deconstruct_pat.rs
2023-01-11 14:39:49 -08:00
asquared31415
337a97d374
add checks for the signature of the lang item
2023-01-11 14:35:08 -08:00
mejrs
7aff210ead
Support eager subdiagnostics again
2023-01-11 14:20:34 -08:00
Daniel Henry-Mantilla
48b7e2a5b9
Stabilize ::{core,std}::pin::pin!
2023-01-11 14:09:14 -08:00
Oli Scherer
44a5ce6f75
Test that we cannot use trait impl methods arguments as defining uses
2023-01-11 14:00:25 -08:00
Esteban Küber
f1ffe823cf
Hide more of long types in E0271
...
Fix #40186 .
2023-01-11 21:40:39 +00:00
Esteban Küber
8b8cce16bf
Use the root trait predicate to determine whether to remove references
...
Fix #84837 .
2023-01-11 21:39:07 +00:00
Esteban Küber
ce83be4af8
Account for type params
2023-01-11 21:38:56 +00:00
Esteban Küber
2024aa48b4
Make &-removal suggestion verbose
2023-01-11 21:38:54 +00:00
Esteban Küber
41e66d9025
review comments: Tweak output
...
* Account for `struct S(pub(super)Ty);` in suggestion
* Suggest changing field visibility in E0603 too
2023-01-11 21:36:02 +00:00
Esteban Küber
ad13d9fbbe
Suggest making private tuple struct field public
...
Fix #52144 .
2023-01-11 21:35:42 +00:00
Esteban Küber
c6f322bf30
review comments: account for generics
2023-01-11 21:30:32 +00:00
Esteban Küber
12ddf77811
When suggesting writing a fully qualified path probe for appropriate types
...
Fix #46585 .
2023-01-11 21:30:10 +00:00
Matthias Krüger
90f9c681d4
Rollup merge of #106703 - compiler-errors:impl-derived-span, r=estebank
...
Note predicate span on `ImplDerivedObligation`
Seems obvious to point out the where-clause that introduces the `ImplDerivedObligation` :)
r? `@estebank`
2023-01-11 21:08:08 +01:00
Matthias Krüger
88765b0f59
Rollup merge of #106622 - estebank:issue-68972, r=davidtwco
...
Detect out of bounds range pattern value
Fix #68972 .
2023-01-11 21:08:07 +01:00
Michael Goulet
83fbc71d02
Filter impl and where-clause candidates that reference errors
2023-01-11 20:03:29 +00:00
Michael Goulet
959616ef44
Handle inference variables in CollectAllMismatches correctly
2023-01-11 20:01:24 +00:00
Michael Goulet
d375440dab
label where constructor is defined and note that it should be called
2023-01-11 19:53:15 +00:00
Michael Goulet
ede5c31af4
Be more specific about constructor FnDefs in type mismatch
2023-01-11 19:53:14 +00:00
Michael Goulet
70a8d8dcf3
Allow codegen to unsize dyn* to dyn
2023-01-11 19:52:42 +00:00
Michael Goulet
9a39d7e441
Note predicate span on ImplDerivedObligation
2023-01-11 19:46:45 +00:00
Esteban Küber
317adda649
Tweak output
2023-01-11 19:31:34 +00:00
Esteban Küber
fb5d215347
Conserve cause of ImplDerivedObligation in E0599
...
CC #86377 .
2023-01-11 19:31:33 +00:00
León Orell Valerian Liehr
70ddde76df
parser: recover from where clauses placed before tuple struct bodies
2023-01-11 17:54:48 +01:00
Esteban Küber
5311938531
Detect struct literal needing parentheses
...
Fix #82051 .
2023-01-11 16:53:21 +00:00
Esteban Küber
52d534ef63
Detect out of bounds range pattern value
...
Fix #68972 .
2023-01-11 16:50:55 +00:00
Camille GILLOT
b7bb8a5ce9
Do not filter substs in remap_generic_params_to_declaration_params.
...
The relevant filtering should have been performed by borrowck.
2023-01-11 16:29:25 +00:00
Ben Kimock
13eec69e1c
Add a regression test for argument copies with DestinationPropagation
2023-01-11 10:27:06 -05:00
Yuki Omoto
4e2a3567bc
Add log-backtrace option to show backtraces along with logging
2023-01-12 00:17:48 +09:00
Albert Larsan
40ba0e84d5
Change src/test to tests in source files, fix tidy and tests
2023-01-11 09:32:13 +00:00
Albert Larsan
cf2dff2b1e
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
