Skip to content

Disallow "L" subtyping - #111

Merged
tlively merged 1 commit into
mainfrom
no-L-subtyping
Aug 25, 2026
Merged

Disallow "L" subtyping#111
tlively merged 1 commit into
mainfrom
no-L-subtyping

Disallow "L" subtyping

d11ad0a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar