Robert Jaros
11/11/2022, 1:43 PMdom.html.*
external classes? Is dom.html.HTMLDivElement
the same as org.w3c.dom.HTMLDivElement
? Can I safely cast one to the other? @turanskyturansky
11/11/2022, 2:00 PMWhy do we haveBecause we want have “fresh” declarations to use current Browser API. Also we want common declarations for Node and Browser -external classes?dom.html.*
kotlin-web
turansky
11/11/2022, 2:02 PMIsYes, they describe the same runtime typethe same asdom.html.HTMLDivElement
?org.w3c.dom.HTMLDivElement
turansky
11/11/2022, 2:02 PMCan I safely cast one to the other?Yes
Robert Jaros
11/11/2022, 2:02 PM