-
This is a straightforward fix -- there were just some omitted checks. test case: typecheck/should_fail/T11963 (cherry picked from commit 10d13b62)
18dee891
This is a straightforward fix -- there were just some omitted checks. test case: typecheck/should_fail/T11963 (cherry picked from commit 10d13b62)