在类型检查期间或正在解析输入时是否会产生这种类型的错误？应该在什么类型下解决错误？
compiler-construction parsing syntactic-sugar typechecking semantics
compiler-construction ×1
parsing ×1
semantics ×1
syntactic-sugar ×1
typechecking ×1