A language feature to allow an object to specify how it can be converted to another type, either implicitly to satisfy a type restriction or explicitly.
