そりゃ非nullを静的に検証する問題だから直交した話だわな。