ということは、静的に実の型を解析してるわけじゃなくて、 some P の宣言単位（？）でチェックされてるってことですね。