Description
After #3156, @ case pattern:
in switch statement is diagnosed as "expected type in attribute", but it should be "expected name in attribute" or more preferably "expected attribute name after '@'"
Steps to Reproduce
switch expr {
@ case foo: // expected type in attribute
}