Check whether this type is the same (except constant qualifier), as the type t.
If t and this are the same types no conversion required, so in that case types can be considered as convertible.
true for boolean types.
true for integer types.
true for numeric (integer and floating point) types.
true for scalar types.
Create a new type by setting constant qualifier of the this type to specific value.