// warning CS1041: Identifier expected, 'true' is a keyword
// warning CS1041: Identifier expected, 'catch' is a keyword
// Compiler options: -warnaserror -doc:dummy.xml
/// ,
public enum Test {
/// Maybe
@true,
/// Maybe
@catch
}
class Foo { static void Main () {} }