Compatibility of Dom.eventTarget with Dom.node_like<'a>?

[Zeta611]

I'd like to write something liek button->Element.contains(~child=event->Event.target)), but I get the following error:

  This has type:
    Dom.eventTarget (defined as Dom.eventTarget_like<Dom._baseClass>)
  But this function argument is expecting:
    Dom.node_like<'a> (defined as Dom.eventTarget_like<Dom._node<'a>>)

  The incompatible parts:
    Dom._baseClass vs Dom._node<'a>

Is there a way to make this work? I just sprinkled some Obj.magic here now---is creating a conversion function with identity the only way, or am I missing something here?

Thanks!

[TheSpyder]

Even in JS, assuming the shape of event.target can be unsafe. So in that spirit there are built-in unsafe identity functions:

rescript-webapi/src/Webapi/Dom/Webapi__Dom__EventTarget.res

Lines 1595 to 1597 in 18d9d55

	external unsafeAsDocument: Dom.eventTarget => Dom.document = "%identity"
	external unsafeAsElement: Dom.eventTarget => Dom.element = "%identity"
	external unsafeAsWindow: Dom.eventTarget => Dom.window = "%identity"

Which, in your case, I think translates to event->Event.target->EventTarget.unsafeAsElement.

[Zeta611]

Thank you for the answer!