These semantics are currently contested, but the test reflects the intended behavior of the latest version of the specification.