横着のためでなく、ロジック上 nil でないけど型ではそれは表せない場合のショートカット。