アウトオブオーダー実行しない＝インライン化できない＆同期化必須は飛躍しすぎ。
両者は関係ないし。

あと、>>378が事実ならたぶんバグ抑止が目的じゃなくて
finalフィールドは言語規定により初期化必須なので
特別扱いするのが面倒なだけかと。