型のチェックが厳密になってるから
曖昧な表現はすべて確定的表現にしないとダメよ