Turns out this was already fixed in #21964. I have no idea why GitHub showed an incorrect diff in #21273, or how applying the diff to master was even possible, but here we are.
Turns out this was already fixed in #21964. I have no idea why GitHub showed an incorrect diff in #21273, or how applying the diff to master was even possible, but here we are.