Note: the standard doesn't define a named requirement with this name. This is a type category defined by the core language.