Skip to content

fix(types): check no longer stack-overflows on functions returning T[k] - #74

Open
JonathanTurnock wants to merge 2 commits into
mainfrom
lean-v1
Open

fix(types): check no longer stack-overflows on functions returning T[k]#74
JonathanTurnock wants to merge 2 commits into
mainfrom
lean-v1

fix(types): cap nested function reification depth

fd0703e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar