Jacob Pratt d831599f3a Rollup merge of #151377 - xonx4l:main_termination, r=lcnr ...

Fix linker error by resolving regions for main return type obligations

This PR fix linker error by resolving regions for main return type obligations as discussed in https://github.com/rust-lang/rust/issues/148421

Added a final check . Now the compiler double-checks the lifetimes for main right away. If they don't work it stops and gives the user a clean compiler error instead of a linker crash.

Fixes https://github.com/rust-lang/rust/issues/148421.

2026-04-09 23:59:58 -04:00

..

auxiliary

Move some ui tests

2026-03-09 09:11:06 +00:00

issue-87181

…

issue-114918

…

suggestions

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

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

apit-with-error-type-in-sig.rs

…

apit-with-error-type-in-sig.stderr

Merge E0412 into E0425

2025-12-02 18:25:13 +00:00

assign-non-lval-derefmut.fixed

…

assign-non-lval-derefmut.rs

…

assign-non-lval-derefmut.stderr

…

assign-non-lval-mut-ref.fixed

…

assign-non-lval-mut-ref.rs

…

assign-non-lval-mut-ref.stderr

…

assign-non-lval-needs-deref.rs

…

assign-non-lval-needs-deref.stderr

…

associated-type-ice-recovery-66353.rs

…

associated-type-ice-recovery-66353.stderr

…

attempted-access-non-fatal.rs

…

attempted-access-non-fatal.stderr

…

autoderef-with-param-env-error.rs

…

autoderef-with-param-env-error.stderr

Merge E0412 into E0425

2025-12-02 18:25:13 +00:00

bad-index-due-to-nested.current.stderr

…

bad-index-due-to-nested.next.stderr

…

bad-index-due-to-nested.rs

…

bad-index-modulo-higher-ranked-regions.rs

…

bad-index-modulo-higher-ranked-regions.stderr

…

bad-recursive-type-sig-infer.rs

…

bad-recursive-type-sig-infer.stderr

…

bad-type-in-vec-contains.rs

…

bad-type-in-vec-contains.stderr

…

bad-type-in-vec-push.rs

…

bad-type-in-vec-push.stderr

…

call-block.rs

…

call-block.stderr

…

check-args-on-fn-err-2.rs

…

check-args-on-fn-err-2.stderr

…

check-args-on-fn-err.rs

…

check-args-on-fn-err.stderr

…

closure-ty-mismatch-issue-128561.rs

…

closure-ty-mismatch-issue-128561.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

coercion-check-for-addition-issue-40610.rs

…

coercion-check-for-addition-issue-40610.stderr

…

coercion-check-for-indexing-expression-issue-40861.rs

…

coercion-check-for-indexing-expression-issue-40861.stderr

…

consider-borrowing-141810-1.rs

…

consider-borrowing-141810-1.stderr

…

consider-borrowing-141810-2.rs

…

consider-borrowing-141810-2.stderr

…

consider-borrowing-141810-3.rs

…

consider-borrowing-141810-3.stderr

…

consider-borrowing-141810-4.rs

…

consider-borrowing-141810-4.stderr

…

const-in-fn-call-generics.rs

…

const-in-fn-call-generics.stderr

…

conversion-methods.rs

…

conversion-methods.stderr

…

cyclic_type_ice.rs

…

cyclic_type_ice.stderr

…

deref-multi.rs

…

deref-multi.stderr

…

derive-sugg-arg-arity.rs

Make messages more generic

2026-03-28 16:18:11 +09:00

derive-sugg-arg-arity.stderr

Make messages more generic

2026-03-28 16:18:11 +09:00

do-not-suggest-adding-missing-zero-to-floating-point-number.rs

…

do-not-suggest-adding-missing-zero-to-floating-point-number.stderr

…

do-not-suggest-placeholder-to-const-static-without-type.rs

…

do-not-suggest-placeholder-to-const-static-without-type.stderr

…

dont-record-adjustments-when-pointing-at-arg.rs

…

dont-record-adjustments-when-pointing-at-arg.stderr

…

dont-suggest-private-dependencies.rs

Make messages more generic

2026-03-28 16:18:11 +09:00

dont-suggest-private-dependencies.stderr

Make messages more generic

2026-03-28 16:18:11 +09:00

escaping_bound_vars.rs

…

escaping_bound_vars.stderr

…

explain_clone_autoref.rs

…

explain_clone_autoref.stderr

…

for-in-const-eval.rs

Revert performing basic const checks in typeck on stable

2026-04-09 11:36:46 +02:00

for-in-const-eval.stderr

Revert performing basic const checks in typeck on stable

2026-04-09 11:36:46 +02:00

foreign_struct_trait_unimplemented.rs

…

foreign_struct_trait_unimplemented.stderr

When more than a single impl and less than 4 could apply, point at them

2025-10-31 20:44:01 +00:00

function-in-pattern-error-12863.rs

…

function-in-pattern-error-12863.stderr

…

gather-locals-twice.rs

…

gather-locals-twice.stderr

…

ice-self-mismatch-const-generics.rs

…

ice-self-mismatch-const-generics.stderr

…

ice-unexpected-region-123863.rs

…

ice-unexpected-region-123863.stderr

…

ice-with-expr-not-struct-127332.rs

…

ice-with-expr-not-struct-127332.stderr

…

impl-for-nonexistent-type-error-8767.rs

…

impl-for-nonexistent-type-error-8767.stderr

Merge E0412 into E0425

2025-12-02 18:25:13 +00:00

incorrect-self-type-in-trait-impl-48276.rs

…

incorrect-self-type-in-trait-impl-48276.stderr

…

index-out-of-bounds-on-partial-cmp-ice-114056.rs

Add a regression test for an index-out-of-bounds ICE on partial_cmp

2026-04-03 17:30:57 +01:00

index-out-of-bounds-on-partial-cmp-ice-114056.stderr

Add a regression test for an index-out-of-bounds ICE on partial_cmp

2026-04-03 17:30:57 +01:00

infer-struct-with-trait-object.rs

Update issue tracking comments to use actual URLs

2026-02-25 05:51:37 +00:00

inference-method-chain-diverging-fallback.rs

…

invalid-stashed-level-issue-121812.rs

…

invalid-stashed-level-issue-121812.stderr

…

invalid-sugg-for-derive-macro-issue-136343.rs

…

invalid-sugg-for-derive-macro-issue-136343.stderr

…

isize-usize-mismatch-error.rs

…

isize-usize-mismatch-error.stderr

…

issue-1871.rs

…

issue-1871.stderr

…

issue-2063-resource.rs

…

issue-2063.rs

…

issue-7813.rs

…

issue-7813.stderr

…

issue-10401.rs

…

issue-10401.stderr

…

issue-13853-2.rs

…

issue-13853-2.stderr

…

issue-13853-5.rs

…

issue-13853-5.stderr

…

issue-13853.rs

probe_op silence ambiguity errors if tainted

2026-02-16 19:36:09 +00:00

issue-13853.stderr

probe_op silence ambiguity errors if tainted

2026-02-16 19:36:09 +00:00

issue-16338.rs

…

issue-16338.stderr

…

issue-18937-1.rs

…

issue-18937.rs

…

issue-18937.stderr

…

issue-22375.rs

…

issue-29124.rs

…

issue-29124.stderr

…

issue-29181.rs

…

issue-29181.stderr

…

issue-31173.rs

…

issue-31173.stderr

…

issue-33575.rs

…

issue-33575.stderr

…

issue-36708.rs

…

issue-36708.stderr

…

issue-43189.rs

Gate 2015 UI tests

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

issue-43189.stderr

Gate 2015 UI tests

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

issue-46112.rs

…

issue-46112.stderr

…

issue-50687-ice-on-borrow.rs

…

issue-50687-ice-on-borrow.stderr

…

issue-52082-type-param-shadows-existing-type.rs

…

issue-52082-type-param-shadows-existing-type.stderr

…

issue-53712.rs

…

issue-53712.stderr

…

issue-55810-must-typeck-match-pats-before-guards.rs

…

issue-57404.rs

…

issue-57404.stderr

On unmet trait bound, mention if trait is unstable

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

issue-57673-ice-on-deref-of-boxed-trait.rs

…

issue-57673-ice-on-deref-of-boxed-trait.stderr

…

issue-61711-once-caused-rustc-inf-loop.rs

…

issue-65611.rs

…

issue-65611.stderr

…

issue-67971.rs

…

issue-67971.stderr

…

issue-68590-reborrow-through-derefmut.rs

…

issue-69378-ice-on-invalid-type-node-after-recovery.rs

…

issue-69378-ice-on-invalid-type-node-after-recovery.stderr

…

issue-72225-call-fnmut-through-derefmut.rs

…

issue-73592-borrow_mut-through-deref.fixed

…

issue-73592-borrow_mut-through-deref.rs

…

issue-73592-borrow_mut-through-deref.stderr

…

issue-74086.rs

…

issue-74086.stderr

…

issue-74933.rs

…

issue-75883.rs

…

issue-75883.stderr

…

issue-75889.rs

…

issue-75889.stderr

…

issue-80207-unsized-return.rs

…

issue-80779.rs

…

issue-80779.stderr

…

issue-81293.rs

…

issue-81293.stderr

Point at span within local macros even when error happens in nested external macro

2025-12-10 19:27:40 +00:00

issue-81885.rs

…

issue-81885.stderr

…

issue-81943.rs

…

issue-81943.stderr

…

issue-82772.rs

…

issue-82772.stderr

…

issue-83621-placeholder-static-in-extern.rs

…

issue-83621-placeholder-static-in-extern.stderr

…

issue-83693.rs

Merge E0412 into E0425

2025-12-02 18:25:13 +00:00

issue-83693.stderr

Make typo in field and name suggestions verbose

2025-12-09 17:29:23 +00:00

issue-84160.rs

…

issue-84160.stderr

…

issue-84768.rs

…

issue-84768.stderr

…

issue-84831.rs

…

issue-84831.stderr

…

issue-86721-return-expr-ice.rev1.stderr

…

issue-86721-return-expr-ice.rev2.stderr

…

issue-86721-return-expr-ice.rs

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

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

issue-87771-ice-assign-assign-to-bool.rs

…

issue-87771-ice-assign-assign-to-bool.stderr

…

issue-87872-missing-inaccessible-field-literal.rs

…

issue-87872-missing-inaccessible-field-literal.stderr

…

issue-87872-missing-inaccessible-field-pattern.rs

…

issue-87872-missing-inaccessible-field-pattern.stderr

…

issue-88609.rs

…

issue-88643.rs

…

issue-88643.stderr

…

issue-88803-call-expr-method.fixed

…

issue-88803-call-expr-method.rs

…

issue-88803-call-expr-method.stderr

…

issue-88844.rs

Merge E0412 into E0425

2025-12-02 18:25:13 +00:00

issue-88844.stderr

Make typo in field and name suggestions verbose

2025-12-09 17:29:23 +00:00

issue-89044-wrapped-expr-method.fixed

…

issue-89044-wrapped-expr-method.rs

…

issue-89044-wrapped-expr-method.stderr

…

issue-89275.rs

…

issue-89275.stderr

…

issue-89806.rs

…

issue-89806.stderr

…

issue-89856.fixed

…

issue-89856.rs

…

issue-89856.stderr

…

issue-89935.rs

…

issue-90027-async-fn-return-suggestion.rs

…

issue-90027-async-fn-return-suggestion.stderr

…

issue-90101.rs

…

issue-90101.stderr

On E0277 tweak help when single type impls traits

2026-03-21 02:24:36 +00:00

issue-90164.rs

…

issue-90164.stderr

…

issue-90319.rs

Merge E0412 into E0425

2025-12-02 18:25:13 +00:00

issue-90319.stderr

Merge E0412 into E0425

2025-12-02 18:25:13 +00:00

issue-90483-inaccessible-field-adjustment.rs

…

issue-90483-inaccessible-field-adjustment.stderr

…

issue-90804-incorrect-reference-suggestion.rs

…

issue-90804-incorrect-reference-suggestion.stderr

…

issue-91210-ptr-method.fixed

…

issue-91210-ptr-method.rs

…

issue-91210-ptr-method.stderr

…

issue-91267.rs

Merge E0412 into E0425

2025-12-02 18:25:13 +00:00

issue-91267.stderr

Merge E0412 into E0425

2025-12-02 18:25:13 +00:00

issue-91328.fixed

…

issue-91328.rs

…

issue-91328.stderr

…

issue-91334.rs

…

issue-91334.stderr

…

issue-91450-inner-ty-error.rs

…

issue-91450-inner-ty-error.stderr

…

issue-91633.rs

…

issue-92481.rs

…

issue-92481.stderr

…

issue-93486.rs

…

issue-93486.stderr

…

issue-96530.rs

…

issue-96530.stderr

…

issue-96738.rs

…

issue-96738.stderr

…

issue-98260.rs

…

issue-98260.stderr

…

issue-98982.rs

…

issue-98982.stderr

…

issue-100246.rs

…

issue-100246.stderr

…

issue-100285.rs

…

issue-100285.stderr

…

issue-103899.current.stderr

…

issue-103899.next.stderr

…

issue-103899.rs

…

issue-104510-ice.rs

…

issue-104510-ice.stderr

Merge E0412 into E0425

2025-12-02 18:25:13 +00:00

issue-104513-ice.rs

…

issue-104513-ice.stderr

…

issue-104582.rs

…

issue-104582.stderr

…

issue-105946.rs

…

issue-105946.stderr

Apply review suggestions

2025-12-17 14:53:14 +00:00

issue-106929.rs

…

issue-106929.stderr

…

issue-107087.rs

…

issue-107087.stderr

…

issue-107775.rs

…

issue-107775.stderr

…

issue-110017-format-into-help-deletes-macro.fixed

…

issue-110017-format-into-help-deletes-macro.rs

…

issue-110017-format-into-help-deletes-macro.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

issue-110052.rs

…

issue-110052.stderr

…

issue-112007-leaked-writeln-macro-internals.rs

…

issue-112007-leaked-writeln-macro-internals.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

issue-112252-ptr-arithmetics-help.fixed

…

issue-112252-ptr-arithmetics-help.rs

…

issue-112252-ptr-arithmetics-help.stderr

…

issue-112385-while-assign-lhs-place-expr-ice.rs

…

issue-112385-while-assign-lhs-place-expr-ice.stderr

…

issue-114423-ice-regression-in-suggestion.rs

…

issue-114423-ice-regression-in-suggestion.stderr

Make typo in field and name suggestions verbose

2025-12-09 17:29:23 +00:00

issue-114529-illegal-break-with-value.rs

…

issue-114529-illegal-break-with-value.stderr

…

issue-116473-ice-wrong-span-variant-args.rs

…

issue-116473-ice-wrong-span-variant-args.stderr

…

issue-116864.rs

…

issue-120856.rs

Unify wording of resolve error

2026-02-17 16:51:44 +00:00

issue-120856.stderr

Unify wording of resolve error

2026-02-17 16:51:44 +00:00

main-termination-lifetime-issue-148421.rs

main-termination

2026-04-09 14:37:09 +00:00

main-termination-lifetime-issue-148421.stderr

main-termination

2026-04-09 14:37:09 +00:00

method-chain-gats.rs

…

method-chain-gats.stderr

…

minus-string.rs

…

minus-string.stderr

…

mismatched-map-under-self.rs

…

mismatched-map-under-self.stderr

…

mismatched-types-ref-binding.rs

…

mismatched-types-ref-binding.stderr

…

missing-private-fields-in-struct-literal.rs

…

missing-private-fields-in-struct-literal.stderr

…

missing-type-annotation.rs

Cleaned up some tests

2025-12-16 02:10:08 +09:00

missing-type-annotation.stderr

Cleaned up some tests

2025-12-16 02:10:08 +09:00

nested-generic-traits-performance.rs

…

no-type-for-node-ice.rs

…

no-type-for-node-ice.stderr

…

non-function-call-error.rs

Cleaned up some tests

2025-12-08 07:06:13 +09:00

non-function-call-error.stderr

Cleaned up some tests

2025-12-08 07:06:13 +09:00

nonexistent-field-not-ambiguous.rs

…

nonexistent-field-not-ambiguous.stderr

Merge E0412 into E0425

2025-12-02 18:25:13 +00:00

osstring-str-equality.rs

Cleaned up some tests

2025-12-16 02:10:08 +09:00

output-type-mismatch.rs

…

output-type-mismatch.stderr

…

parenthesized-type-parameters-error-32995.rs

…

parenthesized-type-parameters-error-32995.stderr

…

path-to-method-sugg-unresolved-expr.cargo-invoked.stderr

Unify wording of resolve error

2026-02-17 16:51:44 +00:00

path-to-method-sugg-unresolved-expr.only-rustc.stderr

Unify wording of resolve error

2026-02-17 16:51:44 +00:00

path-to-method-sugg-unresolved-expr.rs

Unify wording of resolve error

2026-02-17 16:51:44 +00:00

pin-unsound-issue-85099-derefmut.rs

…

pin-unsound-issue-85099-derefmut.stderr

…

point-at-type-param-in-path-expr.rs

…

point-at-type-param-in-path-expr.stderr

…

point-at-type-parameter-definition.rs

…

point-at-type-parameter-definition.stderr

…

pointer-arith-assign.fixed

…

pointer-arith-assign.rs

…

pointer-arith-assign.stderr

…

prim-with-args.fixed

…

prim-with-args.rs

…

prim-with-args.stderr

…

project-cache-issue-37154.rs

…

ptr-null-mutability-suggestions.fixed

…

ptr-null-mutability-suggestions.rs

…

ptr-null-mutability-suggestions.stderr

…

qualified-path-params.rs

Relocate qualified/qualified-path-params to

2025-11-28 21:40:53 +09:00

qualified-path-params.stderr

Relocate qualified/qualified-path-params to

2025-11-28 21:40:53 +09:00

question-mark-operator-suggestion-span.rs

…

question-mark-operator-suggestion-span.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

quiet-type-err-let-binding.rs

…

quiet-type-err-let-binding.stderr

…

remove-extra-argument.fixed

…

remove-extra-argument.rs

…

remove-extra-argument.stderr

…

remove-semi-but-confused-char.rs

…

remove-semi-but-confused-char.stderr

…

repeat-expr-checks-wf.rs

…

repeat-expr-checks-wf.stderr

…

return_type_containing_closure.rs

…

return_type_containing_closure.stderr

…

return-dyn-type-mismatch-2.rs

…

return-dyn-type-mismatch-2.stderr

…

return-dyn-type-mismatch.rs

…

return-dyn-type-mismatch.stderr

…

return-expression-invalid-callee.rs

Cleaned up some tests

2025-12-16 02:10:08 +09:00

return-expression-invalid-callee.stderr

Cleaned up some tests

2025-12-16 02:10:08 +09:00

return-unsized-coercion.rs

…

return-unsized-coercion.stderr

…

rhs-ty-hint-134162.e2018.stderr

…

rhs-ty-hint-134162.e2021.stderr

…

rhs-ty-hint-134162.e2024.stderr

…

rhs-ty-hint-134162.rs

…

self-constructor-type-args-not-allowed-57924.rs

…

self-constructor-type-args-not-allowed-57924.stderr

…

self-constructor-type-error-56199.rs

…

self-constructor-type-error-56199.stderr

…

slow-lhs-suggestion.rs

…

slow-lhs-suggestion.stderr

…

span-bug-issue-121410.rs

…

span-bug-issue-121410.stderr

…

str-no-field-desc-14721.rs

…

str-no-field-desc-14721.stderr

…

struct-enum-wrong-args.rs

…

struct-enum-wrong-args.stderr

…

struct-index-err-ice-issue-126744.rs

…

struct-index-err-ice-issue-126744.stderr

…

struct-pattern-mismatch-37026.rs

Move some ui tests

2026-03-09 09:11:06 +00:00

struct-pattern-mismatch-37026.stderr

Move some ui tests

2026-03-09 09:11:06 +00:00

sugg-swap-equality-in-macro-issue-139050.rs

Merge E0412 into E0425

2025-12-02 18:25:13 +00:00

sugg-swap-equality-in-macro-issue-139050.stderr

Improve diagnostics following reviews

2026-02-13 16:41:47 +09:00

suggest-method-name-with-maybe-ty-mismatch-146008.rs

…

suggest-method-name-with-maybe-ty-mismatch-146008.stderr

…

suggest-trait-reexported-as-not-doc-visible.rs

Make messages more generic

2026-03-28 16:18:11 +09:00

suggest-trait-reexported-as-not-doc-visible.stderr

Make messages more generic

2026-03-28 16:18:11 +09:00

suppressed-error.rs

…

suppressed-error.stderr

…

tag-that-dare-not-speak-its-name.rs

…

tag-that-dare-not-speak-its-name.stderr

…

tail-return-type-mismatch.rs

…

tail-return-type-mismatch.stderr

…

terr-in-field.rs

…

terr-in-field.stderr

…

terr-sorts.rs

…

terr-sorts.stderr

…

tuple-ref-order-distinct-impls.rs

cleaned up some tests

2026-01-05 15:35:01 +09:00

type-arguments-on-local-variable-60989.rs

…

type-arguments-on-local-variable-60989.stderr

…

type-inference-for-associated-types-69683.rs

…

type-inference-for-associated-types-69683.stderr

…

type-name-intrinsic-usage-61894.rs

Remove unused features in tests

2026-03-04 08:06:45 +08:00

type-placeholder-fn-in-const.rs

…

type-placeholder-fn-in-const.stderr

…

typeck_type_placeholder_1.rs

…

typeck_type_placeholder_item_help.rs

…

typeck_type_placeholder_item_help.stderr

…

typeck_type_placeholder_item.rs

Revert performing basic const checks in typeck on stable

2026-04-09 11:36:46 +02:00

typeck_type_placeholder_item.stderr

Revert performing basic const checks in typeck on stable

2026-04-09 11:36:46 +02:00

typeck_type_placeholder_lifetime_1.rs

…

typeck_type_placeholder_lifetime_1.stderr

…

typeck_type_placeholder_lifetime_2.rs

…

typeck_type_placeholder_lifetime_2.stderr

…

typeck_type_placeholder_mismatch.rs

…

typeck_type_placeholder_mismatch.stderr

…

typeck-builtin-bound-type-parameters.rs

…

typeck-builtin-bound-type-parameters.stderr

…

typeck-cast-pointer-to-float.rs

…

typeck-cast-pointer-to-float.stderr

…

typeck-closure-to-unsafe-fn-ptr.rs

…

typeck-default-trait-impl-assoc-type.fixed

…

typeck-default-trait-impl-assoc-type.rs

…

typeck-default-trait-impl-assoc-type.stderr

…

typeck-default-trait-impl-cross-crate-coherence.rs

…

typeck-default-trait-impl-cross-crate-coherence.stderr

…

typeck-default-trait-impl-negation-send.rs

…

typeck-default-trait-impl-negation-send.stderr

…

typeck-default-trait-impl-negation-sync.rs

…

typeck-default-trait-impl-negation-sync.stderr

…

typeck-default-trait-impl-send-param.rs

…

typeck-default-trait-impl-send-param.stderr

…

typeck-fn-to-unsafe-fn-ptr.rs

…

typeck-unsafe-always-share.rs

…

typeck-unsafe-always-share.stderr

…

ufcs-type-params.rs

…

unify-return-ty.rs

…

unit-type-add-error-11771.rs

…

unit-type-add-error-11771.stderr

Point at binop lhs and rhs when expression is multiline

2026-03-29 21:07:54 +00:00

unsized-rvalue-issue-41139.rs

…

unsized-rvalue-issue-41139.stderr

…

unused-type-parameter-span-30236.rs

…

unused-type-parameter-span-30236.stderr

…

unwrap-or-panic-input-13202.rs

…

while-loop-block-cond.rs

…

while-loop-block-cond.stderr

…

while-type-error.rs

…

while-type-error.stderr

…

wrong-ret-type.rs

…

wrong-ret-type.stderr

…