Skip to content

Case-of-known-constructor through a let-bound scrutinee (#214)#216

Merged
Unisay merged 3 commits into
mainfrom
issue-214/known-ctor-through-let
Jul 9, 2026
Merged

Case-of-known-constructor through a let-bound scrutinee (#214)#216
Unisay merged 3 commits into
mainfrom
issue-214/known-ctor-through-let

address copilot re-review on PR #216

bc274d9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
tests
succeeded Jul 9, 2026 in 6m 48s