Hello,

I wanted to use vue-tsc to create d.ts for my web components by following the guide found on vue.

However I'm not able to get it to work. Unless I export the interface directly from the vue components, or remove the component export I get the same error.

src/main.ts:5:14 - error TS4023: Exported variable 'SomeElement' has or is using name 'Props' from external module "/Users/kjetilvb/vite-vue-playground/src/components/HelloWorld.ce.vue" but cannot be named.

5 export const SomeElement = defineCustomElement(SomeComponent);
         

Something I have missed or are the docs wrong here?

Example repo - run npx vue-tsc -p tsconfig.build.json or npm run types
https://codesandbox.io/p/devbox/vsc-custom-element-w7g5cl

Any help would be greatly appreciated.