unnecessary_nullable_for_final_variable_declarations

类型可以是非空类型。

当 final 字段或变量具有可空类型 (nullable type) 但初始化为非空值 (non-nullable value) 时，分析器会产生此诊断消息。

以下代码会产生此诊断消息，因为 final 变量 i 具有可空类型 (int?)，但它永远不会是 null。

final int? i = 1;

使类型非空

final int i = 1;