Specifies that a type is a trivial type.
Note: the standard doesn't define a named requirement with this name. This is a type category defined by the core language. It is included here as a named requirement only for consistency.
| checks if a type is trivial
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.