Matthias Krüger fb691b470a

Rollup merge of #130635 - eholk:pin-reborrow-sugar, r=compiler-errors ...

Add `&pin (mut|const) T` type position sugar

This adds parser support for `&pin mut T` and `&pin const T` references. These are desugared to `Pin<&mut T>` and `Pin<&T>` in the AST lowering phases.

This PR currently includes #130526 since that one is in the commit queue. Only the most recent commits (bd450027eb4a94b814a7dd9c0fa29102e6361149 and following) are new.

Tracking:

- #130494

r? `@compiler-errors`

2024-10-15 05:12:34 +02:00

..

async-closures

Fix a couple more DefKind discrepancies between DefKind::Closure and DefKind::SyntheticCoroutineBody

2024-09-16 22:09:42 -04:00

async-fn

Bless ui tests.

2024-10-04 23:38:41 +00:00

auxiliary

…

await-keyword

More accurate incorrect use of await suggestion

2024-07-12 03:02:58 +00:00

drop-order

…

future-sizes

bless ui tests

2024-08-20 18:33:25 +02:00

in-trait

UI tests: Rename "object safe" to "dyn compatible"

2024-10-10 01:13:29 +02:00

issues

Update tests for hidden references to mutable static

2024-09-13 14:10:56 +03:00

multiple-lifetimes

Bless test fallout

2024-08-17 12:43:25 -04:00

return-type-notation

No longer mark RTN as incomplete

2024-09-22 10:46:59 -04:00

track-caller

Tighten spans for async blocks

2024-06-27 15:19:08 -04:00

argument-patterns.rs

…

async-assoc-fn-anon-lifetimes.rs

…

async-await-let-else.rs

…

async-await-let-else.stderr

Remove redundant coroutine captures note

2024-03-19 12:02:21 -04:00

async-await.rs

…

async-block-control-flow-static-semantics.rs

Update Tests

2024-05-07 16:56:54 -04:00

async-block-control-flow-static-semantics.stderr

Tighten spans for async blocks

2024-06-27 15:19:08 -04:00

async-borrowck-escaping-block-error.fixed

…

async-borrowck-escaping-block-error.rs

…

async-borrowck-escaping-block-error.stderr

Tighten spans for async blocks

2024-06-27 15:19:08 -04:00

async-borrowck-escaping-closure-error.rs

Make the computation of coroutine_captures_by_ref_ty more sophisticated

2024-04-10 13:39:53 -04:00

async-borrowck-escaping-closure-error.stderr

Make the computation of coroutine_captures_by_ref_ty more sophisticated

2024-04-10 13:39:53 -04:00

async-closure-matches-expr.rs

…

async-closure.rs

…

async-drop.rs

bless ui tests

2024-08-20 18:33:25 +02:00

async-drop.run.stdout

Add simple async drop glue generation

2024-04-16 20:45:07 +03:00

async-error-span.rs

…

async-error-span.stderr

…

async-fn-elided-impl-lifetime-parameter.rs

…

async-fn-nonsend.rs

…

async-fn-nonsend.stderr

…

async-fn-path-elision.rs

…

async-fn-path-elision.stderr

…

async-fn-send-uses-nonsend.rs

…

async-fn-size-moved-locals.rs

…

async-fn-size-uninit-locals.rs

…

async-fn-size.rs

…

async-is-unwindsafe.rs

Wrap Context.ext in AssertUnwindSafe

2024-05-21 19:05:37 -07:00

async-is-unwindsafe.stderr

Tighten spans for async blocks

2024-06-27 15:19:08 -04:00

async-matches-expr.rs

…

async-outside-of-await-issue-121096.rs

…

async-outside-of-await-issue-121096.stderr

Error on using yield without also using #[coroutine] on the closure

2024-04-24 08:05:29 +00:00

async-trait-fn.rs

…

async-unsafe-fn-call-in-safe.rs

…

async-unsafe-fn-call-in-safe.stderr

…

async-with-closure.rs

…

await-into-future.rs

…

await-sequence.rs

…

await-unsize.rs

…

awaiting-unsized-param.rs

…

awaiting-unsized-param.stderr

…

bound-normalization.rs

…

clone-suggestion.fixed

…

clone-suggestion.rs

…

clone-suggestion.stderr

…

conditional-and-guaranteed-initialization.rs

…

const-async-fn-in-main.rs

…

const-async-fn-in-main.stderr

…

context-is-sorta-unwindsafe.rs

Wrap Context.ext in AssertUnwindSafe

2024-05-21 19:05:37 -07:00

coroutine-desc.rs

…

coroutine-desc.stderr

Tighten spans for async blocks

2024-06-27 15:19:08 -04:00

coroutine-not-future.rs

Error on using yield without also using #[coroutine] on the closure

2024-04-24 08:05:29 +00:00

coroutine-not-future.stderr

Tighten spans for async blocks

2024-06-27 15:19:08 -04:00

debug-ice-attempted-to-add-with-overflow.rs

…

debug-ice-attempted-to-add-with-overflow.stderr

…

deep-futures-are-freeze.rs

…

default-struct-update.rs

…

dont-ice-for-type-mismatch-in-closure-in-async.rs

Stop using HirId for fn-like parents

2024-04-11 11:56:47 -04:00

dont-ice-for-type-mismatch-in-closure-in-async.stderr

Inline get_node_fn_decl into get_fn_decl, simplify/explain logic in report_return_mismatched_types

2024-05-20 20:16:29 -04:00

dont-print-desugared-async.rs

…

dont-print-desugared-async.stderr

…

dont-suggest-await-on-method-return-mismatch.rs

…

dont-suggest-await-on-method-return-mismatch.stderr

…

dont-suggest-missing-await.rs

…

dont-suggest-missing-await.stderr

…

drop-and-assign.rs

…

drop-track-bad-field-in-fru.rs

…

drop-track-bad-field-in-fru.stderr

…

drop-track-field-assign-nonsend.rs

…

drop-track-field-assign-nonsend.stderr

…

drop-track-field-assign.rs

…

drop-tracking-unresolved-typeck-results.rs

…

drop-tracking-unresolved-typeck-results.stderr

…

edition-deny-async-fns-2015.rs

…

edition-deny-async-fns-2015.stderr

…

expansion-in-attrs.rs

…

feature-async-closure.rs

…

feature-async-closure.stderr

…

feature-async-for-loop.rs

…

feature-async-for-loop.stderr

…

feature-self-return-type.rs

…

feature-self-return-type.stderr

…

field-assign-nonsend.rs

…

field-assign-nonsend.stderr

…

field-assign.rs

…

for-await-2015.rs

…

for-await-consumes-iter.rs

stabilize const_waker

2024-07-28 22:31:13 +08:00

for-await-consumes-iter.stderr

…

for-await-passthrough.rs

stabilize const_waker

2024-07-28 22:31:13 +08:00

for-await.rs

stabilize const_waker

2024-07-28 22:31:13 +08:00

future-contains-err-issue-115188.rs

…

future-contains-err-issue-115188.stderr

…

futures-api.rs

…

generics-and-bounds.rs

…

incorrect-move-async-order-issue-79694.fixed

…

incorrect-move-async-order-issue-79694.rs

…

incorrect-move-async-order-issue-79694.stderr

…

inference_var_self_argument.rs

Replace item names containing an error code with something more meaningful

2024-04-30 22:27:19 +02:00

inference_var_self_argument.stderr

Bless ui tests.

2024-10-04 23:38:41 +00:00

interior-with-const-generic-expr.rs

…

issue-54239-private-type-triggers-lint.rs

…

issue-60709.rs

…

issue-61076.rs

…

issue-61076.stderr

…

issue-61452.rs

…

issue-61452.stderr

Better span for "make binding mutable" suggestion

2024-07-04 02:02:21 +00:00

issue-61793.rs

…

issue-62658.rs

…

issue-63832-await-short-temporary-lifetime-1.rs

…

issue-63832-await-short-temporary-lifetime.rs

…

issue-64130-1-sync.rs

…

issue-64130-1-sync.stderr

…

issue-64130-2-send.rs

…

issue-64130-2-send.stderr

…

issue-64130-3-other.rs

…

issue-64130-3-other.stderr

…

issue-64130-4-async-move.rs

…

issue-64130-non-send-future-diags.rs

…

issue-64130-non-send-future-diags.stderr

…

issue-64391.rs

…

issue-65634-raw-ident-suggestion.edition2015.stderr

…

issue-65634-raw-ident-suggestion.edition2018.stderr

…

issue-65634-raw-ident-suggestion.rs

…

issue-66312.rs

…

issue-66312.stderr

Bless ui tests.

2024-10-04 23:38:41 +00:00

issue-66387-if-without-else.rs

…

issue-66387-if-without-else.stderr

…

issue-67252-unnamed-future.rs

…

issue-67252-unnamed-future.stderr

Tighten spans for async blocks

2024-06-27 15:19:08 -04:00

issue-67651.rs

…

issue-67651.stderr

…

issue-67765-async-diagnostic.rs

…

issue-67765-async-diagnostic.stderr

…

issue-68112.rs

…

issue-68112.stderr

Tighten spans for async blocks

2024-06-27 15:19:08 -04:00

issue-68523-start.rs

…

issue-68523-start.stderr

…

issue-68523.rs

…

issue-68523.stderr

…

issue-69446-fnmut-capture.rs

…

issue-69446-fnmut-capture.stderr

…

issue-70594.rs

…

issue-70594.stderr

…

issue-70818.rs

…

issue-70818.stderr

…

issue-70935-complex-spans.rs

…

issue-70935-complex-spans.stderr

Tighten spans for async blocks

2024-06-27 15:19:08 -04:00

issue-71137.rs

…

issue-71137.stderr

…

issue-72442.rs

…

issue-72442.stderr

…

issue-72470-llvm-dominate.rs

…

issue-72590-type-error-sized.rs

…

issue-72590-type-error-sized.stderr

…

issue-73050.rs

…

issue-73137.rs

…

issue-73541-1.rs

…

issue-73541-1.stderr

…

issue-73541-2.rs

…

issue-73541-2.stderr

…

issue-73541-3.rs

…

issue-73541-3.stderr

…

issue-73541.rs

…

issue-73541.stderr

…

issue-73741-type-err.rs

…

issue-73741-type-err.stderr

…

issue-74047.rs

…

issue-74047.stderr

…

issue-74072-lifetime-name-annotations.rs

…

issue-74072-lifetime-name-annotations.stderr

Tighten spans for async blocks

2024-06-27 15:19:08 -04:00

issue-74497-lifetime-in-opaque.rs

…

issue-74497-lifetime-in-opaque.stderr

…

issue-75785-confusing-named-region.rs

…

issue-75785-confusing-named-region.stderr

…

issue-76547.rs

…

issue-76547.stderr

…

issue-77993-2.rs

…

issue-77993-2.stderr

…

issue-78115.rs

…

issue-84841.rs

…

issue-84841.stderr

…

issue-86507.rs

…

issue-86507.stderr

Tighten spans for async blocks

2024-06-27 15:19:08 -04:00

issue-93197.rs

…

issue-93648.rs

…

issue-98634.rs

…

issue-98634.stderr

…

issue-101715.rs

…

issue-101715.stderr

…

issue-105501.rs

…

issue-107036.rs

…

issue-108572.fixed

…

issue-108572.rs

…

issue-108572.stderr

…

missed-capture-issue-107414.rs

…

missing-return-in-async-block.fixed

…

missing-return-in-async-block.rs

…

missing-return-in-async-block.stderr

…

move-part-await-return-rest-struct.rs

…

move-part-await-return-rest-tuple.rs

…

mutually-recursive-async-impl-trait-type.rs

…

mutually-recursive-async-impl-trait-type.stderr

…

nested-in-impl.rs

…

no-async-const.rs

Handle safety keyword for extern block inner items

2024-06-04 14:19:42 -03:00

no-async-const.stderr

Handle safety keyword for extern block inner items

2024-06-04 14:19:42 -03:00

no-const-async.rs

…

no-const-async.stderr

…

no-move-across-await-struct.rs

…

no-move-across-await-struct.stderr

…

no-move-across-await-tuple.rs

…

no-move-across-await-tuple.stderr

…

no-non-guaranteed-initialization.rs

…

no-non-guaranteed-initialization.stderr

…

no-params-non-move-async-closure.rs

…

no-std.rs

…

no-unsafe-async.rs

…

no-unsafe-async.stderr

…

non-trivial-drop.rs

Error on using yield without also using #[coroutine] on the closure

2024-04-24 08:05:29 +00:00

normalize-output-in-signature-deduction.rs

…

partial-drop-partial-reinit.rs

Remove redundant coroutine captures note

2024-03-19 12:02:21 -04:00

partial-drop-partial-reinit.stderr

Remove redundant coroutine captures note

2024-03-19 12:02:21 -04:00

partial-initialization-across-await.rs

…

partial-initialization-across-await.stderr

…

pin-needed-to-poll-2.rs

…

pin-needed-to-poll-2.stderr

…

pin-needed-to-poll-3.rs

Add test for incorrect pinning suggestion

2024-05-28 20:05:01 +00:00

pin-needed-to-poll-3.stderr

Account for existing bindings when suggesting pinning

2024-05-28 20:48:35 +00:00

pin-needed-to-poll.rs

…

pin-needed-to-poll.stderr

…

pin-reborrow-arg.rs

pin_ergonomics: allow reborrowing as Pin<&T>

2024-09-19 16:28:19 -07:00

pin-reborrow-const-as-mut.rs

pin_ergonomics: allow reborrowing as Pin<&T>

2024-09-19 16:28:19 -07:00

pin-reborrow-const-as-mut.stderr

pin_ergonomics: allow reborrowing as Pin<&T>

2024-09-19 16:28:19 -07:00

pin-reborrow-once.rs

Add a test case to make sure we don't reborrow twice

2024-09-19 15:40:56 -07:00

pin-reborrow-once.stderr

Add a test case to make sure we don't reborrow twice

2024-09-19 15:40:56 -07:00

pin-reborrow-self.rs

Allow reborrowing pinned self methods

2024-09-23 09:12:52 -07:00

pin-reborrow-shorter.rs

Allow shortening reborrows

2024-09-19 15:34:00 -07:00

pin-sugar-ambiguity.rs

Add sugar for &pin (const|mut) types

2024-10-07 11:15:04 -07:00

pin-sugar-no-const.rs

Add sugar for &pin (const|mut) types

2024-10-07 11:15:04 -07:00

pin-sugar-no-const.stderr

Add sugar for &pin (const|mut) types

2024-10-07 11:15:04 -07:00

pin-sugar.rs

Add sugar for &pin (const|mut) types

2024-10-07 11:15:04 -07:00

proper-span-for-type-error.fixed

…

proper-span-for-type-error.rs

…

proper-span-for-type-error.stderr

…

recursive-async-impl-trait-type.rs

…

recursive-async-impl-trait-type.stderr

…

repeat_count_const_in_async_fn.rs

…

return-ty-raw-ptr-coercion.rs

…

return-ty-unsize-coercion.rs

…

send-bound-async-closure.rs

Don't ICE when encountering bound regions in generator interior type

2024-03-19 11:30:12 -04:00

suggest-missing-await-closure.fixed

…

suggest-missing-await-closure.rs

…

suggest-missing-await-closure.stderr

…

suggest-missing-await.rs

don't suggest awaiting type expr patterns

2024-06-24 16:20:22 -05:00

suggest-missing-await.stderr

don't suggest awaiting type expr patterns

2024-06-24 16:20:22 -05:00

suggest-switching-edition-on-await-cargo.rs

…

suggest-switching-edition-on-await-cargo.stderr

…

suggest-switching-edition-on-await.rs

…

suggest-switching-edition-on-await.stderr

…

task-context-arg.rs

…

try-on-option-in-async.rs

…

try-on-option-in-async.stderr

Tighten spans for async blocks

2024-06-27 15:19:08 -04:00

type-parameter-send.rs

…

unnecessary-await.rs

…

unnecessary-await.stderr

…

unreachable-lint-1.rs

…

unreachable-lint-1.stderr

…

unreachable-lint-2.rs

Properly mark loop as diverging if it has no breaks

2024-07-31 12:24:26 -04:00

unreachable-lint-2.stderr

Properly mark loop as diverging if it has no breaks

2024-07-31 12:24:26 -04:00

unreachable-lint.rs

…

unresolved_type_param.rs

…

unresolved_type_param.stderr

…

unsized-across-await.rs

…

unsized-across-await.stderr

…

unused-lifetime.rs

…

unused-lifetime.stderr

…