Checks the assignability relationship, denoted by <=> in the language specification. This is the type relationship tested on assignment in checked mode.
<=>