-
Richard Eisenberg authored
Previously, I had forgotten to omit variables already in scope from the TypeInType CUSK check. Simple enough to fix. Test case: typecheck/should_compile/T11811 (cherry picked from commit b1084fd7)
b1d92b5d
Previously, I had forgotten to omit variables already in scope from the TypeInType CUSK check. Simple enough to fix. Test case: typecheck/should_compile/T11811 (cherry picked from commit b1084fd7)