What records would Axar Patel have broken if Rohit had taken hat-trick catch?

If Rohit Sharma had taken the catch on Axar Patel's hat-trick ball against Bangladesh in Champions Trophy, Axar would've become the first player with hat-trick on ICC ODI event debut. He would also have become first Indian spinner to take hat-trick in men's ICC events. He would've also become the first spinner to take a hat-trick in Champions Trophy history.