Add Dependent-Type-Like Functions [Experiment]#33237

Closed

rubenpieters wants to merge 2 commits intomicrosoft:mainfrom rubenpieters:add-dep-type-like-fun

+1,408-39

Commits on Nov 25, 2019

Add binding of return statement, to check performance impact
rubenpieters
committed
implementation sketch of dependent-type-like functions
rubenpieters
committed