IntelliJ IDEA中Dart Null-Check subpattern代码报错如何解决？

问题重现 #

按照Dart官方文档编写的空过滤模式代码：

String? maybeString = 'nullable with base type String';

switch (maybeString) {
  case var s?:
    break;
    // 's' has type non-nullable String here.
}

在IntelliJ IDEA 2023.1.3（社区版）+ Dart 3.0.5环境下报错：

bin/dart_testproject.dart:7:16: Error: Expected an identifier, but got ':'.
Try inserting an identifier before ':'.
    case var a?:

解决方案 #

1. 确认项目Dart SDK约束 #

打开项目根目录的pubspec.yaml，确保sdk版本约束包含Dart 3.0及以上：

environment:
  sdk: '>=3.0.0 <4.0.0'

执行pub get更新依赖。

2. 更新IntelliJ Dart插件 #

进入Settings > Plugins，找到Dart插件，点击「Update」升级到对应IDE版本的最新兼容插件（Dart 3.0特性需要插件版本匹配2023.1系列的最新迭代版本）。

3. 配置分析器启用Dart 3.0特性 #

在项目根目录创建或修改analysis_options.yaml，添加以下配置确保分析器正确识别模式匹配语法：

analyzer:
  language:
    strict-casts: true
    strict-inference: true

4. 清理IDE缓存并重启 #

选择File > Invalidate Caches...，勾选「Invalidate and Restart」，清理IDE缓存后重启，解决缓存导致的语法识别偏差。

验证 #

完成上述步骤后，重新打开项目，空过滤模式的语法错误会消失，代码可正常编译运行。

内容的提问来源于stack exchange，提问作者ds-dev