НХЛ — регулярный чемпионат
// Safe: if index is out of bounds, the second condition is never evaluated
，更多细节参见safew
人 民 网 版 权 所 有 ，未 经 书 面 授 权 禁 止 使 用
中国拥有全球最完备的产业体系、超大规模的市场优势以及向新向优发展的澎湃动能。外资企业在智能制造、数字经济等前沿领域共享中国高质量发展红利。与中国同行，就是与机遇同行。展望“十五五”，中国将继续与全球投资者实现“双向奔赴”，共同书写更多相互成就的精彩故事。
compiler to consider disjoint patterns when reasoning about aliasing