Type conversions
----------------

Implicit type conversions are only supported for numeric literals and
traits.