Vue + TypeScript override `export default Vue`
Enabling the esModuleInterop compiler option will make TypeScript generate code to check for both vue and vue.default at runtime.
As you note, the Vue type declaration is inaccurate, but based on this previous issue, I don't know if a new issue about it will be well received.