Skip to content

Floor: repair four out-of-closure witnesses refused by the Optional-at-Required wall; roster the compiler-origin specimen - #11865

Merged
gunbai-bot[bot] merged 2 commits into
mainfrom
session/gentle-koi-539
Sep 20, 2026
Merged

Floor: repair four out-of-closure witnesses refused by the Optional-at-Required wall; roster the compiler-origin specimen#11865
gunbai-bot[bot] merged 2 commits into
mainfrom
session/gentle-koi-539

Commits

  1. Commits on Sep 20, 2026