Definition foo (x y : nat) := x.
Fail Arguments foo {_} : assert.