You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I think document.scrollingElement should be of type Document["documentElement"] | null instead of Element | null. The spec (e.g. this and this) says that in standards mode scrollingElement returns the document root, which is document.documentElement and in quirks mode returns document.body or null.
document.body is always HTMLElement (right?) In principle, document.documentElement does not have to be HTMLElement (and there's an open issue about this, #29052, but currently Document.documentElement is still defined as HTMLElement, for some reason. So how come document.scrollingElement is not HTMLElement | null?
🕗 Version & Regression Information
N/A
⏯ Playground Link
No response
💻 Code
// Your code here
🙁 Actual behavior
document.scrollingElement is of type Element | null whereas document.documentElement and document.body are both of type HTMLElement.
🙂 Expected behavior
The non-null part of document.scrollingElement should be the same type as document.documentElement, which technically should be Element, but if document.documentElement is left as HTMLElement, as is currently, then document.scrollingElement should also be this.
Additional information about the issue
No response
The text was updated successfully, but these errors were encountered:
🔎 Search Terms
I think
document.scrollingElement
should be of typeDocument["documentElement"] | null
instead ofElement | null
. The spec (e.g. this and this) says that in standards modescrollingElement
returns the document root, which isdocument.documentElement
and in quirks mode returnsdocument.body
ornull
.document.body
is alwaysHTMLElement
(right?) In principle,document.documentElement
does not have to beHTMLElement
(and there's an open issue about this, #29052, but currentlyDocument.documentElement
is still defined asHTMLElement
, for some reason. So how comedocument.scrollingElement
is notHTMLElement | null
?🕗 Version & Regression Information
N/A
⏯ Playground Link
No response
💻 Code
// Your code here
🙁 Actual behavior
document.scrollingElement
is of typeElement | null
whereasdocument.documentElement
anddocument.body
are both of typeHTMLElement
.🙂 Expected behavior
The non-null part of
document.scrollingElement
should be the same type asdocument.documentElement
, which technically should beElement
, but ifdocument.documentElement
is left asHTMLElement
, as is currently, thendocument.scrollingElement
should also be this.Additional information about the issue
No response
The text was updated successfully, but these errors were encountered: