Shinonn a9442b4a2a Fix ICE by rejecting const blocks in patterns during AST lowering ...

This fixes the ICE reported by rejecting `const` blocks in
pattern position during AST lowering.

Previously, `ExprKind::ConstBlock` could reach HIR as `PatExprKind::ConstBlock`,
allowing invalid patterns to be type-checked and triggering an ICE.
This patch removes the lowering path for const blocks in patterns
and emits a proper diagnostic instead.

A new UI test is added to ensure the compiler reports a regular error
and to prevent regressions.

2025-12-26 18:14:42 +07:00

..

break-inside-inline-const-issue-128604.rs

Add regression test for break inside const items

2025-06-10 08:34:27 +00:00

break-inside-inline-const-issue-128604.stderr

Loop check anon consts on their own

2025-06-10 08:41:23 +00:00

const-expr-array-init.rs

…

const-expr-basic.rs

…

const-expr-generic-err2.rs

…

const-expr-generic-err2.stderr

…

const-expr-generic-err.rs

…

const-expr-generic-err.stderr

Revert "Rollup merge of #122661 - estebank:assert-macro-span, r=petrochenkov"

2025-09-11 09:10:46 +08:00

const-expr-generic.rs

…

const-expr-inference.rs

…

const-expr-lifetime-err.rs

…

const-expr-lifetime-err.stderr

…

const-expr-lifetime.rs

…

const-expr-macro.rs

…

const-expr-reference.rs

…

cross-const-control-flow-125846.rs

…

cross-const-control-flow-125846.stderr

Remove check_mod_loops query and run the checks per-body instead

2025-06-10 08:41:23 +00:00

elided-lifetime-being-infer-vars.rs

…

expr-unsafe-err.rs

…

expr-unsafe-err.stderr

…

expr-unsafe.rs

…

expr-unsafe.stderr

…

expr-with-block-err.rs

…

expr-with-block-err.stderr

…

expr-with-block.rs

…

in-pat-recovery.rs

Fix ICE by rejecting const blocks in patterns during AST lowering

2025-12-26 18:14:42 +07:00

in-pat-recovery.stderr

Fix ICE by rejecting const blocks in patterns during AST lowering

2025-12-26 18:14:42 +07:00

instance-doesnt-depend-on-type.rs

…

interpolated.rs

…

macro-with-const.rs

…

promotion.rs

…

promotion.stderr

…

referencing-local-variables.rs

…

referencing-local-variables.stderr

…

required-const.rs

…

required-const.stderr

…

uninit-local.rs

…

uninit-local.stderr

…

using-late-bound-from-closure.rs

…

using-late-bound-from-closure.stderr

…