Checks the assignability relationship, denoted by <=> in the language
specification. This is the type relationship tested on assignment in
checked mode.
Invokes a setter and returns a mirror on the result. The setter
may be either the implicit setter for a non-final field or a
user-defined setter method.