Skip to content

main is red for every PR: one §4c annotation sits inside a match arm, and the floor phase refuses on it - #8991

Closed
gunbai-bot[bot] wants to merge 1 commit into
mainfrom
fix/annotation-grain-8976
Closed

main is red for every PR: one §4c annotation sits inside a match arm, and the floor phase refuses on it#8991
gunbai-bot[bot] wants to merge 1 commit into
mainfrom
fix/annotation-grain-8976

Commits

  1. Commits on Aug 23, 2026