Hide @nonVirtual methods in autocomplete?

[goderbauer]

When a method is marked @nonVirtual it should not be overridden. Yet, my IDE suggests it as an overridable method (see below) and as soon as I accept that suggestion, the analyzer complains that I should not be overriding this method (invalid_override_of_non_virtual_member). Should @nonVirtual methods just be excluded from the suggestion list of overridable methods?

[goderbauer]

cc @bwilkerson as I assume these suggestions are powered by the analyzer?

I ran into this working on the @Stateful macro while looking for ways to stop the "fake" superclass methods (that are only there to satisfy the type system hack) from messing up people's autocomplete.

[bwilkerson]

Yes, these suggestions come from the analysis server, and yes, we should exclude non-virtual methods.