| Previous | Table of Contents | Next |
As has been described above, value type instances may be widened/narrowed to other value types. Each language mapping is responsible
for specifying how these operations are made available to the programmer.
Narrowing from an interface type instance to a value type instance is not allowed. If the interface designer wants to allow
the receiving context to create a local implementation of the value type (i.e., a value representing the interface) an operation
that returns the appropriate value type may be defined.