[attr-px-invalid-cast.html]
  expected: FAIL