Is "sequence<File or Directory>" syntax correct/legal?

[AFBarstow]

The use cases imply the APIs needs to support a sequence of Files and/or Directory objects and the Web IDL syntax used is:

Promise<sequence<(File or Directory)>>

My take on Web IDL sequences is that they support a single type. As such, the above doesn't seem correct; perhaps a union or some type of abstract type (for File plus Directory objects) is needed?

[aliams]

From the Type definition, it appears that the syntax is correct:

[73] Type → SingleType | UnionType Null

Specifically, a Type can be a UnionType:

[75] UnionType → "(" UnionMemberType "or" UnionMemberType UnionMemberTypes ")"

[jwatt]

It is correct. This issue can be closed.