Skip to content

Distinct nominal product types silently inhabit a direct-call argument - #9608

Merged
briansrls merged 3 commits into
mainfrom
session/bold-bear-763
Aug 28, 2026
Merged

Distinct nominal product types silently inhabit a direct-call argument#9608
briansrls merged 3 commits into
mainfrom
session/bold-bear-763

Type-argument distinctness: require structure before judging an appli…

068f191
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar