Fix recognition of cast Objective-C receivers.