Slot props producing no-undef on <svelte:fragment>

[kjagiello]

Experimenting a bit with sveltekit and although the following code is working just fine, eslint gets confused and considers it invalid.

.svelte

  <svelte:fragment slot="loaded" let:stdout let:stderr let:render let:executionTime>
    <Playground {initialContent} {stdout} {stderr} {render} {executionTime} />
  </svelte:fragment>

eslint output

  39:35  error  'stdout' is not defined         no-undef
  39:44  error  'stderr' is not defined         no-undef
  39:53  error  'render' is not defined         no-undef
  39:62  error  'executionTime' is not defined  no-undef

Using eslint-plugin-svelte3 v3.1.2.

Let me know if I can assist with any more details.

[kjagiello]

Just an update. It seems that this is related to the fact that I'm using a <svelte:fragment> here. Switching it out for, for example, a <div> suppresses the error.