Compiler panic in typing pass: ICE in `inferred_numerical_value()` for non-numeric type

[jubnzv]

The compiler panics with an ICE in typing/expand.rs:361 when a numeric literal appears in a pattern position where the expected type is bool.

MRE:

module 0x0::M {
    public enum E has drop { W(bool) }
    fun f(e: E): u64 {
        match (e) { E::W(0) => 1 }
    }
}

Reproduce steps:

cd external-crates/move
cargo +nightly run --release -p move-compiler --bin move-check -- mre/mre_expand_inferred_num.move

Output:

thread '<unnamed>' panicked at crates/move-compiler/src/typing/expand.rs:361:14:
ICE inferred num failed Type_(Apply(Some(AbilitySet(...)), Builtin(Bool), []))
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

Expected behavior: a type error diagnostic ("expected bool, found integer literal").

Git commit: 1a27af4
Build: release
cargo 1.91.0-nightly (840b83a10 2025-07-30)
rustc 1.91.0-nightly (3672a55b7 2025-08-13)

[github-actions]

Thank you for opening this issue, a team member will review it shortly. Until then, please do not interact with any users that claim to be from Sui support and do not click on any links!

[tnowacki]

I was able to repro, thanks for the report! I'll confer with @cgswords