These guarantees were documented for `EventListener` and hold as well for Listener but were not documented. PiperOrigin-RevId: 382498188
