诊断代码UnnecessaryIrrefutablePatternUnnecessaryIrrefutablePattern 警告 不可失败匹配中的该模式是多余的;请考虑移除它或改为在 is 表达式中使用