This came up in T323153, briefly discussed with @aaron and @tstarling during a collab hour.
As analyzed by @Umherirrender we have no bundled/deployed code that does this currently, and even across all Codesearch-indexed repos there was only 1 instance of a third party repo doing. It seems clearly a mistake and the alternative is easy once known, namely to use a DerivativeContext instead. Given the ease of alternatives, the only risk is re-introduction through not knowing among newer contributors and code reviewers missing it, and more specifically that we rely solely on code review to catch it when automatic detection is so easy.
Given that cost-benefit, it seems worthwhile to simply plug this hole and then it's naturally avoided/discovered.