Details
-
Enhancement
-
Status: Open
-
P5
-
Resolution: Unresolved
-
8, 9
Description
Currently the only diagnostic which indicates that a type annotation cannot be applied to a given piece of syntax reads "cannot annotate scoping construct". This is unclear and in some cases, outright misleading (particularly for annotations on .class expressions). There ought to be better diagnostics.