[class-specificity.html]
  expected: FAIL