In both cases, the loss of more precise type information frequently leads to static type errors and requires explicit casting of atomic values to their specific type.

• 在这两种情况下,丢失更为精确的类型信息经常会导致发生静态类型错误,并需要将原子值显式转换为其特定类型。