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
{{ message }}
This repository has been archived by the owner on Feb 26, 2024. It is now read-only.
I saw 2 instances of this error, there might be more. Basically, the Closure type system has much broader base types than the TypeScript type system. So in Closure, the type Event had all the properties of the TypeScript type KeyboardEvent. Gents translated the type to just Event, so it had to be manually changed to the more precise KeyboardEvent. There was a similar issue with Element and HTMLElement.
I think the fix is to introduce ClosureEvent and ClosureElement types that match the actual types of the Closure Event and Element (and probably more built-ins).
The text was updated successfully, but these errors were encountered:
I saw 2 instances of this error, there might be more. Basically, the Closure type system has much broader base types than the TypeScript type system. So in Closure, the type
Event
had all the properties of the TypeScript typeKeyboardEvent
. Gents translated the type to justEvent
, so it had to be manually changed to the more preciseKeyboardEvent
. There was a similar issue withElement
andHTMLElement
.I think the fix is to introduce
ClosureEvent
andClosureElement
types that match the actual types of the ClosureEvent
andElement
(and probably more built-ins).The text was updated successfully, but these errors were encountered: