As hinted in the previous section, some implicit type conversions are performed in an attempt to match a type in the context of the expression. In short, every type exactly matches itself; narrow integer types match wider integer types; the narrow floating type matches the wider floating type; a subclass matches any of its super classes; and a tuple matches another tuple if they have the same number of elements, and corresponding elements match.
Go to the first, previous, next, last section, table of contents.