>>431
変数(仮引数とか)や戻り値の型っていうのは、常にあるよね？
「null」と単独で書く場合は、実際の代入や、関数呼び出しなどの
文脈にマッチした参照型に決定される、と解釈していいのではないかと