Skip to content

Fix ICE on pattern types over wide pointers under -Z valid-value-checks - #4856

Merged
feliperodri merged 3 commits into
model-checking:mainfrom
Tianshu-Huang:fix-4829-fat-pointer-pattern
Sep 30, 2026
Merged

feliperodri merged 3 commits into
model-checking:mainfrom
Tianshu-Huang:fix-4829-fat-pointer-pattern

Accept ScalarPair pattern types instead of reporting them unsupported

e4e4a6e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Auto Label
succeeded Sep 28, 2026 in 8s