I was getting gas line installed today and the contractor cut the wiring to my pool. The cut happened close to my house, far away from the breaker by the pump (see photo). An electrician spliced the wire together and did his best to get it back into the conduit. The question is, is it OK to splice this wiring? I have been reading how splices are not permitted in pool light wiring, but it seems to be intended for the wiring from the light to the elevated junction box since that gets wet. If the splice occurred between the breaker and the house and not between the pool and the breaker, is it OK? Won't the breaker trip should anything short out?