PR !4#12181: lint also `let` vs `have`

Stream: triage

[Random Issue Bot]

Today I chose PR 12181 for discussion!

lint also let vs have
Created by @damiano (@adomani) on 2024-04-16
Labels: merge-conflict

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

[Damiano Testa]

This PR is one of the follow ups of the have vs let linter. The linter is PRed at #12190, I just updated and I expect it to pass CI.