For Blob and File (a subclass of Blob), internal structured clone lists the types explicitly, which implies that "is a Blob object" actually means "is a Blob object" and not "inherits from the Blob interface".

However, the "is an ArrayBufferView object" case obviously means "inherits from ArrayBufferView", since you can only ever have subclasses of ArrayBufferView.

I'd recommend removing the File case, and using the same approach as ArrayBufferView: "Let output be a newly constructed object of the same type as input, corresponding to the same underlying data.", so it's clearer that these cases do apply to subclasses.