tighten_type_of_initializing_formals

收紧初始化形式参数的类型。

如果存在非空断言，则收紧初始化形式参数的类型。这允许类型系统捕获问题，而不是仅在运行时捕获。

不推荐

class A {
  A.c1(this.p) : assert(p != null);
  A.c2(this.p);
  final String? p;
}

推荐

class A {
  A.c1(String this.p);
  A.c2(this.p);
  final String? p;
}

class B {
  String? b;
  B(this.b);
}

class C extends B {
  B(String super.b);
}

要启用 tighten_type_of_initializing_formals 规则，请在你的 analysis_options.yaml 文件中的 linter > rules 下添加 tighten_type_of_initializing_formals

linter:
  rules:
    - tighten_type_of_initializing_formals

如果你改为使用 YAML map 语法配置 linter 规则，请在 linter > rules 下添加 tighten_type_of_initializing_formals: true

linter:
  rules:
    tighten_type_of_initializing_formals: true