Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Error if not an annotation #11428
Consider this example:
I would say an error is warranted. One guess is that it was lost under scala/scala#1901.
Description copied from lampepfl/dotty#3617.