Open
Description
Reminded by #2019 (comment), I think it would be great to have a configurable plugin to display a signature code lens for local bindings in where clauses.
Please let me know if there has more places need code lenses.
Edited: I'll try to pick bindings from Should be TypeCheckedSource.RenamedSource
, please let me know if there is a more efficient way.