PR !4#14731: feat: the repeated typeclass assumption linter

Stream: triage

[Random Issue Bot]

Today I chose PR 14731 for discussion!

feat: the repeated typeclass assumption linter
Created by @damiano (@adomani) on 2024-07-14
Labels: WIP, merge-conflict, t-linter

Is this PR still relevant? Any recent updates? Anyone making progress?

[Damiano Testa]

This linter is on hold. It flags situations in which a variable command introduces a typeclass assumption that is already implied the previously available ones (or the other way round, I don't remember!).