[rules-users] Explicit class cast in RHS