search

modularml / mojo

The Mojo Programming Language
https://docs.modular.com/mojo
Other
22.41k stars 2.55k forks source link

[Feature Request] Have the LSP warn about redundant `self` annotation `self: Self` #3204

Open soraros opened 2 weeks ago

soraros commented 2 weeks ago

Review Mojo's priorities

What is your request?

As title. Having a yellow squiggly would be great.

What is your motivation for this change?

It's noisy especially since we have conditional conformance now: explicit annotation on self should indicate a refinement.

Any other details?

N/A.

walter-erquinigo commented 2 weeks ago

Thank you for your suggestion. It seems very valid. We'll work on it at some point this year.