I was trying to understand why this isn't always checked and didn't realise there was already a bug tracking this - this way a future confused reader knows something isn't working quite as intended. PiperOrigin-RevId: 313765935
