制約違反の入力が検出できることを確認する

todo

wip