Re: [heycam/webidl] Type association restrictions for extended attributes break with unions (#827)

> In particular, do we want to have [AllowShared] on things like the arg to XHR send()?

I don't think we do? Instead you should annotate the buffer-source types specifically, i.e. it should change to

```webidl
typedef (Blob or [AllowShared] BufferSource or FormData or URLSearchParams or ReadableStream or USVString) BodyInit;
```

> If we wanted to also allow `[AllowShared] (ArrayBuffer or DOMString)` we could fix union propagation to only propagate if the extended attr applies to the inner type, right? I don't really see a reason to forbid it...

I think we should forbid it because it's significantly less clear than `([AllowShared] ArrayBuffer or DOMString)`

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/issues/827#issuecomment-565124321

Received on Thursday, 12 December 2019 18:20:10 UTC