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