This is the same semantics as the narrowing conversion in the Java Language Specification.