Flutter 省道过梁：在除lambda之外的所有位置强制执行类型注释

我想让我的linter抱怨除了lambdas之外，其他地方都缺少类型注释，因为在我看来，它恶化了代码的可读性，但没有什么好处

例如，这些语句应发出警告/提示：

const s = 'my string'; // Specify type annotation.
foo() => 'foo';        // Missing return type for foo.
List bar() =>          // Specify type annotation.
    ['bar', 'baz'];    // Specify type annotation.

这不应：

<String>['qux', 'quux', 'corge']
    .map((s) => s.toUpperCase());

及

如果需要，这是完整的

analysis\u选项。yaml

#指定分析选项。
#
#在出现元linter规则之前，必须显式启用每个所需的lint。
#见：https://github.com/dart-lang/linter/issues/288
#
#有关棉绒的列表，请参见：http://dart-lang.github.io/linter/lints/
#有关更多信息，请参阅《配置指南》
# https://github.com/dart-lang/sdk/tree/master/pkg/analyzer#configuring-分析仪
#
#颤振回购协议中还有其他类似的分析选项文件，
#应与此文件保持同步的文件：
#
#-analysis_options.yaml（此文件）
#-packages/flatter/lib/analysis\u options\u user.yaml
#   - https://github.com/flutter/plugins/blob/master/analysis_options.yaml
#   - https://github.com/flutter/engine/blob/master/analysis_options.yaml
#
#此文件包含颤振工具（如IntelliJ）使用的分析选项，
#Android Studio和“颤振分析”命令。
分析仪：
强模式：
隐式动态：false
错误：
#将缺少的必需参数视为警告（而不是提示）
缺少所需参数：警告
#将丢失的退货视为警告（而不是提示）
缺少返回：警告
#允许在代码中包含TODO
todo:警告
#使用Future或更高版本时忽略更新PubSpec的analyzer提示
#流和不导入dart:async
#请看https://github.com/flutter/flutter/pull/24528 详情请参阅。
sdk\u版本\u异步\u从\u核心导出\u：忽略
排除：
-“bin/cache/**”
#以下两个分别与库存示例和颤振包相关
#看https://github.com/dart-lang/sdk/issues/28463
-“lib/i18n/stock\u messages.*.dart”
-“lib/src/http/**”
皮棉：
规则：
#这些规则的记录顺序与
#省道皮棉规则页面，使维护更容易
# https://github.com/dart-lang/linter/blob/master/example/all.yaml
-始终\u声明\u返回\u类型
#-始终将控制装置和车身置于新线路上
#-始终_put_required_named_parameters_first#我们希望参数的顺序与字段的顺序相同https://github.com/flutter/flutter/issues/10219
-始终\u需要\u非\u空\u命名\u参数
-始终指定类型
-注释\u覆盖
#-避免使用动态注释类型与始终指定类型冲突
-避而不谈
-避免条件表达式中的文字
#-避免在没有条款的情况下被抓#我们通常这样做
#-避免捕捉错误#我们通常这样做
#-避免只使用静态成员的\u类\u
#-避免_double_和_int_检查#仅在针对JS运行时有用
-避免空的
-避免在常量类中使用字段初始值设定项
-避免\u foreach\u调用中的\u函数\u文本\u
#-避免实施尚未测试的价值类型
-避免_init_to_null
#-避免_js_rounded_ints#仅在以js运行时为目标时有用
-在相等运算符中避免检查
#-避免尚未测试的位置布尔参数
#-避免使用_private_typedef_函数#我们更喜欢使用typedef（在https://github.com/flutter/flutter/pull/16356)
-避免相对库导入
-避免设置器上的返回类型
#-避免返回空值#返回空值有很多正当理由
#-避免返回未来未测试的空值
-避免为\u void返回\u null
#-避免退回此项#退回此项有很多正当理由
#-避免未经测试的设置者
#-避免阴影类型参数尚未测试
#-避免未经测试的表达式中的单级级联语句
-避免低速异步io
-避免将\u类型\u作为\u参数\u名称
#-避免_类型_闭合_参数#与始终_指定_类型冲突
-避免使用未使用的构造函数参数
-避免\u无效\u异步
-只等待未来
-驼峰型
-取消订阅
#-级联#u调用#尚未测试
#-关闭水槽#不够可靠
#-注释(参考#已被阻止https://github.com/flutter/flutter/issues/20765
#-常量_标识符_名称#需要选择退出https://github.com/dart-lang/linter/issues/204
-控制\u流\u最终进入\u
#-卷边支架（位于流量控制结构中）尚未测试
#-诊断描述所有属性尚未测试
-指令与顺序
-空钩
-空的\u构造函数\u实体
-空语句
#-文件名尚未测试
-飘动的风格
-散列和等于
-进口的实施
#-不变布尔值#太多误报：https://github.com/dart-lang/linter/issues/811
-iterable_包含不相关的_类型
#-加入带有未测试任务的返回
-图书馆名称
-库前缀
#-线路长度超过80个字符，尚未测试
-列表\删除\不相关\类型
#-纯文字布尔表达式#误报太多：https://github.com/dart-lang/sdk/issues/34181
-列表中没有\u相邻\u字符串\u
-没有重复的案例值
-非常量标识符名称
#-空闭包#尚未测试
#-省略_局部_变量_类型#与始终_指定_类型相反
#-一名成员提取了太多的误报
#-只有“抛出错误”https://github.com/flutter/flutter/issues/5792
-覆盖的\u字段
-软件包\u api\u文档
-软件包名称
-包\前缀\库\名称
#-参数分配#我们通常这样做
-首选\u相邻\u字符串\u串联
-首选\u初始值设定项\u列表中的\u断言\u
#-首选_断言_与_消息#尚未测试
-前
analyzer:
  strong-mode:
    implicit-dynamic: false
errors:
    missing_required_param: warning
    missing_return: warning
    [...]

linter:
  rules:
    [...]
    - always_specify_types
    [...]