`checkArgument`