型の矛盾を報告します。