package uniqueOperations

/* XPECT validationIssues ---
error at 'class A { op String a() op String a() }' message 'There may not be two operations 'uniqueOperations.A.a' and 'uniqueOperations.A.a' with the same signature'
--- */

class A
{
  op String a()
  op String a()
}