package disjointFeatures

/* XPECT validationIssues ---
error at 'class A { String a op String getA() }' message 'There may not be an operation 'disjointFeatures.A.getA' with the same signature as an accessor method for feature 'disjointFeatures.A.a''
--- */

class A
{
  String a
  op String getA()
}