Skip to content

Code lens to display type signature for local bindings in where clauses #2943

Open
@July541

Description

@July541

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 RenamedSource, please let me know if there is a more efficient way. Should be TypeCheckedSource.

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions