Repository navigation

Reclassify the match-arm proven-disjoint InternalError as a located TypeMismatch - #13595

Closed

gunbai-bot[bot] wants to merge 2 commits into

mainfrom

session/still-raven-321-arm-disjoint

Commits on Oct 8, 2026
- Reclassify the match-arm disjointness InternalError as a located TypeMismatch; witness asserts the class
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4983592
- Regenerate the infer mirror; collection class assertion admits the seam's own mismatch row
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  df2c362