请问如果是invalid id，那要假设他的type是什么？
我的直觉是integer，因为也是未经宣告的变量
为什么在test5.p中
test5 := a ; 是invalid id+ type mismatched
test5 := 123; 只有invalid id
a和123的type不是一样的吗？