Skip to content

Reject recursive user-defined types at type-check time - #3546

Open
Ian Davis (idavis) wants to merge 2 commits into
mainfrom
iadavis/disallow-recursive-tys
Open

Reject recursive user-defined types at type-check time#3546
Ian Davis (idavis) wants to merge 2 commits into
mainfrom
iadavis/disallow-recursive-tys

Add more tests based on feedback.

e27cd26
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar