動的型の場合、型が矛盾することはない。
なぜなら、どんな型でも入れることが可能だからだ。

なお型が矛盾しないからといって、正しく動くわけじゃないｗ