Commit 2024-10-18 01:51 3f9cdcd1

feat(Tactic/Linter/Lint): improve dupNamespace linter (#17631) Refactor the the way the ids are extracted for the dupNamespace linter. We also extract this to a new file in anticipation of re-using that function in another linter. The new version finds auto-generated names, such as to_additive names, but ignores "internal" names. Like the previous linter, it also supports export and alias.