In a constraint such as ~int, the tilde means it also matches any type whose Fill in the blank type is int, like type Celsius int.