静的な型矛盾の検出は?