In a constraint, what is the difference between int and ~int?

In a constraint, what is the difference between int and ~int?

1. int accepts only the predeclared int type; ~int also accepts named types with underlying type int.
2. ~int converts every argument to int at runtime.
3. ~int accepts every numeric type, including floats.