Not everything is going to get caught in static semantics checking.

并不是所有的错误，都会在静态语义检查中被捕获。