override inheriting targetName annotation

lampepfl / dotty-feature-requests

Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-requests

31 stars 2 forks source link

override inheriting targetName annotation #237

Closed Adam-Vandervorst closed 1 year ago

Adam-Vandervorst commented 3 years ago

Right now, overriding a meet method /\ needs tagging with @targetName("meet") and use of the symbolic name def /\. However, this seems to defeat the purpose

of having a symbolic name, because you still need the lengthy annotation
of having a qualified name, because you still need to write out/look up the symbols.