unnecessary_nullable_for_final_variable_declarations

型別可以是非空型別。

當 final 欄位或變數具有可空型別 (nullable type) 但初始化為非空值 (non-nullable value) 時，分析器會產生此診斷訊息。

以下程式碼會產生此診斷訊息，因為 final 變數 i 具有可空型別 (int?)，但它永遠不會是 null。

final int? i = 1;

使型別非空

final int i = 1;