如何在不可能的switch分支中强制触发错误并将警告转为错误？

问题背景 #

迁移阶段将枚举替换为RoleV2，但switch分支仍使用旧枚举Role，Dart默认仅给出类型不匹配警告，无法拦截此类逻辑错误，需将警告转为强制错误。

解决方法 #

1. 启用strict_raw_types规则 #

在项目根目录的analysis_options.yaml中添加以下配置，该规则会将隐式类型不匹配（含跨枚举类型的case匹配）升级为错误：

linter:
  rules:
    - strict_raw_types

2. 升级unnecessary_type_checks为错误级别 #

补充配置analyzer的错误级别，标记无意义的类型检查（包括枚举跨类型匹配）为错误：

analyzer:
  errors:
    unnecessary_type_checks: error

3. 编译时启用严格枚举模式 #

执行编译命令时添加参数，强化枚举类型安全性，直接拦截跨类型匹配：

dart compile exe --enable-experiment=strict-enums your_dart_file.dart

效果验证 #

启用上述规则后，示例代码中case Role.guest:和case Role.user:的类型不匹配问题会直接触发编译错误，强制开发者修复类型不一致的问题，避免逻辑漏洞。

内容的提问来源于stack exchange，提问作者TSR