'HTMLElement' is not defined when used in markup event handler

Describe the bug

If HTMLElement is used in an event handler, for example:

<button on:click={e => { if (e.target instanceof HTMLElement) { } }}>Click me</button>

It produces the following unexpected warning:

‘HTMLElement’ is not defined. Consider adding a <script> block with ‘export let HTMLElement’ to declare a prop (5:49)

If you use Element in the handler, no warning is produced:

<button on:click={e => { if (e.target instanceof Element) { } }}>Click me</button>

or if you pull the handler into a function within <script>

<script>
  function onClick() {
    if (e.target instanceof HTMLElement) {

    }
  }
</script>

<button on:click={onClick}>Click me</button>

Reproduction

REPL

Logs

No response

System Info

See REPL

Severity

annoyance

[Conduitry]

HTMLElement and SVGElement are both now marked as known globals in 3.42.2. Thanks @vicky1999!

[vicky1999]

Hi, I would like to work on this issue. can I try it?