If strict type semantics are in effect, only widening conversions are permitted implicitly, and narrowing conversions must be explicit.

• 如果“strict类型语义”生效,则只允许进行隐式扩大转换,收缩转换必须是显式的。