semantic: Attempt to handle castTo.