-
Richard Eisenberg authored
This is a straightforward fix -- there were just some omitted checks. test case: typecheck/should_fail/T11963
10d13b62
This is a straightforward fix -- there were just some omitted checks. test case: typecheck/should_fail/T11963