Stuart Cook 1367126837 Rollup merge of #151783 - mu001999-contrib:impl/final-method, r=fee1-dead ...

Implement RFC 3678: Final trait methods

Tracking: https://github.com/rust-lang/rust/issues/131179

This PR is based on rust-lang/rust#130802, with some minor changes and conflict resolution.

Futhermore, this PR excludes final methods from the vtable of a dyn Trait.

And some excerpt from the original PR description:
> Implements the surface part of https://github.com/rust-lang/rfcs/pull/3678.
>
> I'm using the word "method" in the title, but in the diagnostics and the feature gate I used "associated function", since that's more accurate.

cc @joshtriplett

2026-02-17 13:02:21 +11:00

..

auxiliary

…

print

On E0277, point at type that doesn't implement bound

2025-08-22 17:55:15 +00:00

addassign-yield.rs

…

arg-count-mismatch-on-unit-input.rs

…

arg-count-mismatch-on-unit-input.stderr

…

async_gen_fn_iter.rs

…

async_gen_fn.e2015.stderr

Gate 2015 UI tests

2025-11-27 11:19:00 -05:00

async_gen_fn.e2018.stderr

Gate 2015 UI tests

2025-11-27 11:19:00 -05:00

async_gen_fn.e2021.stderr

Gate 2015 UI tests

2025-11-27 11:19:00 -05:00

async_gen_fn.e2024.stderr

Gate 2015 UI tests

2025-11-27 11:19:00 -05:00

async_gen_fn.mid.stderr

Gate 2015 UI tests

2025-11-27 11:19:00 -05:00

async_gen_fn.none.stderr

…

async_gen_fn.rs

Gate 2015 UI tests

2025-11-27 11:19:00 -05:00

async-coroutine-issue-67158.rs

…

async-coroutine-issue-67158.stderr

…

async-gen-deduce-yield.rs

…

async-gen-yield-ty-is-unit.rs

…

auto-trait-regions.rs

…

auto-trait-regions.stderr

…

borrow-in-tail-expr.rs

…

borrowing.rs

…

borrowing.stderr

…

break-inside-coroutine-issue-124495.rs

…

break-inside-coroutine-issue-124495.stderr

…

check-resume-ty-lifetimes-2.rs

…

check-resume-ty-lifetimes-2.stderr

…

check-resume-ty-lifetimes.rs

…

check-resume-ty-lifetimes.stderr

…

clone-impl-async.rs

…

clone-impl-async.stderr

…

clone-impl-static.rs

…

clone-impl-static.stderr

…

clone-impl.rs

…

clone-impl.stderr

…

clone-rpit.rs

…

conditional-drop.rs

…

const_gen_fn.rs

…

const_gen_fn.stderr

…

control-flow.rs

…

copy-fast-path-query-cycle.rs

add test

2025-09-24 15:02:41 +02:00

coroutine-in-orphaned-anon-const.rs

…

coroutine-in-orphaned-anon-const.stderr

…

coroutine-region-requirements.rs

…

coroutine-region-requirements.stderr

…

coroutine-resume-after-panic.rs

…

coroutine-with-nll.rs

…

coroutine-with-nll.stderr

…

coroutine-yielding-or-returning-itself.rs

…

coroutine-yielding-or-returning-itself.stderr

…

delayed-obligations-emit.next.stderr

…

delayed-obligations-emit.rs

…

derived-drop-parent-expr.rs

…

discriminant.rs

…

dont-drop-stalled-generators.rs

…

drop-and-replace.rs

…

drop-control-flow.rs

…

drop-env.rs

…

drop-track-addassign-yield.rs

…

drop-tracking-parent-expression.rs

…

drop-tracking-parent-expression.stderr

On E0277, point at type that doesn't implement bound

2025-08-22 17:55:15 +00:00

drop-tracking-yielding-in-match-guards.rs

…

drop-yield-twice.rs

…

drop-yield-twice.stderr

On E0277, point at type that doesn't implement bound

2025-08-22 17:55:15 +00:00

dropck-resume.rs

…

dropck-resume.stderr

…

dropck.rs

Gate 2018 UI tests

2025-11-27 14:13:58 -05:00

dropck.stderr

Gate 2018 UI tests

2025-11-27 14:13:58 -05:00

gen_block_is_coro.rs

…

gen_block_is_coro.stderr

On unmet trait bound, mention if trait is unstable

2026-01-13 01:16:58 +00:00

gen_block_is_fused_iter.rs

…

gen_block_is_iter.rs

…

gen_block_is_no_future.rs

…

gen_block_is_no_future.stderr

…

gen_block_iterate.rs

…

gen_block_move.fixed

…

gen_block_move.rs

…

gen_block_move.stderr

…

gen_block_panic.rs

Ignore more failing ui tests for GCC backend

2025-09-26 15:33:48 +02:00

gen_block_panic.stderr

Ignore more failing ui tests for GCC backend

2025-09-26 15:33:48 +02:00

gen_block.e2024.stderr

…

gen_block.none.stderr

…

gen_block.rs

…

gen_fn_iter.rs

…

gen_fn_lifetime_capture.rs

…

gen_fn.e2024.stderr

…

gen_fn.none.stderr

Parse and lower final for methods

2026-02-12 15:12:29 +08:00

gen_fn.rs

Parse and lower final for methods

2026-02-12 15:12:29 +08:00

handle_opaques_before_coroutines.rs

add test for trait-system-refactor-initiative/239

2025-10-01 00:47:58 +02:00

higher-ranked-rigid.rs

…

invalid_attr_usage.rs

…

invalid_attr_usage.stderr

…

issue-44197.rs

…

issue-45729-unsafe-in-coroutine.rs

…

issue-45729-unsafe-in-coroutine.stderr

…

issue-48048.rs

…

issue-48048.stderr

…

issue-52304.rs

…

issue-52398.rs

…

issue-52398.stderr

…

issue-53548-1.rs

…

issue-53548.rs

…

issue-57017.rs

…

issue-57084.rs

…

issue-57084.stderr

…

issue-57478.rs

…

issue-58888.rs

…

issue-61442-stmt-expr-with-drop.rs

…

issue-62506-two_awaits.rs

…

issue-64620-yield-array-element.rs

…

issue-64620-yield-array-element.stderr

…

issue-68112.rs

…

issue-68112.stderr

…

issue-69017.rs

…

issue-69039.rs

…

issue-87142.rs

…

issue-88653.rs

…

issue-88653.stderr

…

issue-91477.rs

…

issue-91477.stderr

…

issue-93161.rs

…

issue-102645.rs

…

issue-102645.stderr

…

issue-105084.rs

add write_box_via_move intrinsic and use it for vec!

2026-02-16 17:27:40 +01:00

issue-105084.stderr

add write_box_via_move intrinsic and use it for vec!

2026-02-16 17:27:40 +01:00

issue-110929-coroutine-conflict-error-ice.rs

…

issue-113279.rs

…

issue-113279.stderr

…

iterator-count.rs

…

layout-error.rs

…

layout-error.stderr

…

live-upvar-across-yield.rs

…

match-bindings.rs

…

match-bindings.stderr

…

metadata-sufficient-for-layout.rs

…

missing_coroutine_attr_suggestion.fixed

…

missing_coroutine_attr_suggestion.rs

…

missing_coroutine_attr_suggestion.stderr

…

moved-twice.rs

Consider errors in MIR as impossible predicates.

2025-09-21 03:26:21 +00:00

moved-twice.stderr

Consider errors in MIR as impossible predicates.

2025-09-21 03:26:21 +00:00

nested_coroutine.rs

…

niche-in-coroutine.rs

…

non-static-is-unpin.rs

…

not-send-sync.rs

…

not-send-sync.stderr

On E0277, point at type that doesn't implement bound

2025-08-22 17:55:15 +00:00

other-attribute-on-gen.rs

…

overlap-locals.rs

…

panic-drops-resume.rs

…

panic-drops.rs

…

panic-safe.rs

…

parent-expression.rs

…

parent-expression.stderr

On E0277, point at type that doesn't implement bound

2025-08-22 17:55:15 +00:00

partial-drop.rs

…

partial-initialization-across-yield.rs

…

partial-initialization-across-yield.stderr

…

pattern-borrow.rs

…

pattern-borrow.stderr

…

pin-box-coroutine.rs

…

postfix-yield-after-cast.rs

…

postfix-yield-after-cast.stderr

…

postfix-yield.rs

…

reborrow-mut-upvar.rs

…

reborrow-mut-upvar.stderr

…

ref-escapes-but-not-over-yield.rs

…

ref-escapes-but-not-over-yield.stderr

…

ref-upvar-not-send.rs

…

ref-upvar-not-send.stderr

…

reinit-in-match-guard.rs

…

resume-after-return.rs

…

resume-arg-late-bound.rs

…

resume-arg-late-bound.stderr

…

resume-arg-outlives-2.rs

…

resume-arg-outlives-2.stderr

…

resume-arg-outlives.rs

…

resume-arg-outlives.stderr

…

resume-arg-size.rs

…

resume-live-across-yield.rs

…

retain-resume-ref.rs

…

retain-resume-ref.stderr

…

return-types-diverge.rs

…

return-types.rs

…

return-types.stderr

…

self_referential_gen_block.rs

…

self_referential_gen_block.stderr

…

size-moved-locals.rs

…

sized-yield.rs

…

sized-yield.stderr

…

smoke-resume-args.rs

…

smoke.rs

…

stalled-coroutine-obligations.rs

bless tests

2026-02-09 15:09:43 +08:00

stalled-coroutine-obligations.stderr

bless tests

2026-02-09 15:09:43 +08:00

static-closure-unexpanded.rs

Remove uses of cfg(any()/all())

2025-12-10 23:41:19 +00:00

static-closure-unexpanded.stderr

…

static-coroutine.rs

…

static-move-suggestion.fixed

…

static-move-suggestion.rs

…

static-move-suggestion.stderr

…

static-mut-reference-across-yield.rs

…

static-not-unpin.current.stderr

…

static-not-unpin.next.stderr

…

static-not-unpin.rs

…

static-reference-across-yield.rs

…

too-live-local-in-immovable-gen.rs

…

too-live-local-in-immovable-gen.stderr

…

too-many-parameters.rs

…

too-many-parameters.stderr

…

type-mismatch-error.rs

…

type-mismatch-error.stderr

…

type-mismatch-signature-deduction.rs

…

type-mismatch-signature-deduction.stderr

…

uninhabited-field.rs

Stabilize assert_matches

2026-02-11 14:13:44 +01:00

unresolved-ct-var.rs

…

unresolved-ct-var.stderr

…

unsized-capture-across-yield.rs

…

unsized-capture-across-yield.stderr

…

unsized-local-across-yield.rs

…

unsized-local-across-yield.stderr

…

unwind-abort-mix.rs

…

witness-ignore-fake-reads.rs

…

xcrate-reachable.rs

…

xcrate.rs

…

yield-in-args-rev.rs

…

yield-in-args-rev.stderr

…

yield-in-args.rs

…

yield-in-args.stderr

…

yield-in-const.rs

…

yield-in-const.stderr

…

yield-in-function.rs

…

yield-in-function.stderr

…

yield-in-initializer.rs

…

yield-in-initializer.stderr

…

yield-in-static.rs

…

yield-in-static.stderr

…

yield-outside-coroutine-issue-78653.rs

…

yield-outside-coroutine-issue-78653.stderr

…

yield-subtype.rs

…

yield-subtype.stderr

…

yield-while-iterating.rs

…

yield-while-iterating.stderr

…

yield-while-local-borrowed.rs

…

yield-while-local-borrowed.stderr

…

yield-while-ref-reborrowed.rs

Gate 2018 UI tests

2025-11-27 14:13:58 -05:00

yield-while-ref-reborrowed.stderr

Do not mention -Zmacro-backtrace for std macros that are a wrapper around a compiler intrinsic

2026-01-26 17:34:31 +00:00

yielding-in-match-guards.rs

…