[heycam/webidl] Where does it say that a nullable record cannot be the type of a dictionary member? (#295)

There is a note in https://heycam.github.io/webidl/#idl-nullable-type that says:

> Note: Although dictionary and record types can in general be nullable, they cannot when used as the type of an operation argument or a dictionary member.

but I see nothing in the spec supporting the claim that a nullable record type cannot be the type of a dictionary member.  The nullable-dictionary case is covered by this language in <https://heycam.github.io/webidl/#idl-dictionaries>:

> If the Type is an identifier followed by ?, then the identifier must identify an interface, enumeration, callback function or typedef.

(But even that doesn't handle a typedef of a dictionary!)  But nothing there says anything about records.

/cc @jyasskin @domenic @tobie @annevk 

-- 
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/295