Commit 2026-01-15 16:12 032b8aa5

feat: unusedFintypeInType linter (#31794) Adds an UnusedInstancesInType linter which suggests replacing Fintype instances with Finite or removing them. This linter is off by default: it is turned on in #31795. The violations found by this linter are fixed in #33068 (merged) and #33148 (merged). Note that the portion of this diff corresponding to the actual linter file is relatively small (+68 -11), and is very similar to the unusedDecidableInType linter. The majority of the diff in the linter file itself is factoring out the workaround to lean4#11313 (which is used in both linters); the rest of the diff comes from reorganizing tests and adding tests.