Java 9以降、匿名クラス(Anonymous Class)の作成時にダイヤモンド演算子(<>)を使用できるようになったが、その条件はどれか。

推論される型がdenotable(表現可能)な型である場合(交差型などは不可)