The push out rule only applied when the receiver was in the air WITH THE BALL. The rule wouldn't have applied either way because he didn't have the ball yet, he was interfered with before he caught it. That isn't the pushout rule, its interference.