An attempt to model dynamic semantics with a static semantic relationship will lead to a toggling of types at runtime.

• 试图用静态语义关系来为动态语义建模会导致在运行时切换类型。