Fix windows build error in type-checking.c. (#4078)