infer custom element type in HTML code

[Kokujou]

this is a feature i'm waiting for a very long time. assume you dispatch a CustomEvent

this.dispatchEvent(new CustomEvent("my-event", { detail: {myProperty: 'whatever'} });

and then you listen to it via HTML code, or even using an addEventListener

<my-element @my-event="${e => doStuffWith(e.detail.myProperty)}"

you will get an error. now you need to define the type of the event in 2 places and this is of course not type safe.
the thing is, when hovering over @My-event we already have the information of the event type.
if we could have this mixed in the typescript plugin, that overrides the type detection in this special scenario with the type we already have on hover, we're good.

can someone please look into that?