Same line names

@todo #19:35min Document motives for same-line-names lint. Currently, we don’t have a test case for this same-line-names lint. We should create a new test case, and then document a motive for this lint.

Published on Fri Oct 10 22:54:00 UTC 2025.