UnnecessaryIrrefutablePattern

警告

不可失败匹配中的该模式是多余的；请考虑移除它或改为在 is 表达式中使用