Oh I see, that’s your fallacy…
The ISR is not being CALLED at that point, just SCHEDULED (marked pending on the MCU level). As soon as no higher pri ISR is running (which means no sooner than the sys tick isr has terminated, but possibly even later if other ISRs cut in in the mean time), the pending service ISR is invoked. That’s the beauty of it!