709.3a

Only the chosen half is evaluated to see if it can be cast. Only that half is considered to be put onto the stack.