[EnforceRange] required is out of spec

[ChunMinChang]

By the spec here [1], it seems [EnforceRange] required * should be
replaced by required [EnforceRange] *.

[1] https://webidl.spec.whatwg.org/#extended-attributes-applicable-to-types

---

Preview | Diff

[padenot]

Looks correct, but the IDL parser chokes on the correct syntax.

I filed plinss/widlparser#70 for this.

[saschanaz]

Does it really choke? The spec had required [EnforceRange] since fe1b1f6 in 2021.

Edit: And the diff is properly generated, so I don't think there's any blocker here.

[padenot]

I double-checked, this is a bikeshed issue it seems like. It's when we attempt to describe the attribute that it fails:

<xmp class='idl'>
dictionary PlaneLayout {
  required [EnforceRange] unsigned long offset;
  required [EnforceRange] unsigned long stride;
};
</xmp>

: <dfn dict-member for=PlaneLayout>offset</dfn>
:: The offset in bytes where the given plane begins within a {{BufferSource}}.

: <dfn dict-member for=PlaneLayout>stride</dfn>
:: The number of bytes, including padding, used by each row of the plane within
    a {{BufferSource}}.

This fails like this:

$ make
Building index.html
bikeshed --die-on=warning spec index.src.html index.html
LINK ERROR: No 'idl-name' refs found for '[EnforceRange] unsigned long'.
<a data-link-type="idl-name" data-lt="[EnforceRange] unsigned long">[EnforceRange] unsigned long</a>
 ✘  Did not generate, due to errors exceeding the allowed error level.
make: *** [index.html] Error 2

bikeshed attempts to reference a type that's [EnforeRange] unsigned long and that's not a thing.