[idlharness.https.any.html]
  expected:
    if os == "android": [OK, CRASH]
  [PushSubscriptionOptions interface: attribute userVisibleOnly]
    expected: FAIL

  [PushSubscription interface: attribute expirationTime]
    expected:
      if os == "win": PASS
      [PASS, FAIL]

  [Window interface: attribute pushManager]
    expected: FAIL


[idlharness.https.any.worker.html]
  expected:
    if (os == "mac") and not debug: [OK, CRASH]
    if os == "android": [OK, CRASH]
  [PushSubscriptionOptions interface: attribute userVisibleOnly]
    expected: FAIL


[idlharness.https.any.serviceworker.html]
  expected:
    if os == "android": [OK, CRASH]
  [PushSubscriptionOptions interface: attribute userVisibleOnly]
    expected: FAIL

  [PushSubscription interface: attribute expirationTime]
    expected:
      if os == "win": PASS
      [PASS, FAIL]

  [PushEvent interface: attribute notification]
    expected: FAIL

  [PushEvent interface: new PushEvent("type") must inherit property "notification" with the proper type]
    expected: FAIL


[idlharness.https.any.sharedworker.html]
  [PushSubscriptionOptions interface: attribute userVisibleOnly]
    expected: FAIL