feat(language-core): typed fallthrough attributes

[so1ve]

close #4049. close #4699.

Should add Co-authored-by: A5rocks <git@helvetica.moe> as a co-author

---

EDIT: This now requires adding an option fallthroughAttributes to vueCompilerOptions.

[so1ve]

I have no idea about #2472 💦

[pkg-pr-new]

commit: 938208e

vue-component-meta

pnpm add https://pkg.pr.new/vuejs/language-tools/vue-component-meta@4103

vue-component-type-helpers

pnpm add https://pkg.pr.new/vuejs/language-tools/vue-component-type-helpers@4103

@vue/language-core

pnpm add https://pkg.pr.new/vuejs/language-tools/@vue/language-core@4103

@vue/language-plugin-pug

pnpm add https://pkg.pr.new/vuejs/language-tools/@vue/language-plugin-pug@4103

@vue/language-server

pnpm add https://pkg.pr.new/vuejs/language-tools/@vue/language-server@4103

@vue/language-service

pnpm add https://pkg.pr.new/vuejs/language-tools/@vue/language-service@4103

vue-tsc

pnpm add https://pkg.pr.new/vuejs/language-tools/vue-tsc@4103

@vue/typescript-plugin

pnpm add https://pkg.pr.new/vuejs/language-tools/@vue/typescript-plugin@4103

Open in Stackblitz

[johnsoncodehk]

@A5rocks, @so1ve merged, well done! Next we can add highlighting to the target tag of fallthrough attributes.

[johnsoncodehk]

Since this feature would significantly impact type checking speed, this feature was changed in ebb8490 to require fallthroughAttributes to be explicitly enabled in tsconfig.

[johnsoncodehk]

This is a minimal reproduction of the case of slow tsc when fallthroughAttributes is enabled.

import { defineComponent } from 'vue';

const Foo = defineComponent({
	props: {} as __VLS_TypePropsToOption<{ bar?: string }>,
});
const Bar = defineComponent({
	props: {} as __VLS_TypePropsToOption<FooAttrs>,
});
defineComponent({
	setup() {
		return {};
	},
	props: {} as __VLS_TypePropsToOption<BarAttrs>,
});

type FooAttrs = __VLS_OmitIndexSignature<Partial<InstanceType<typeof Foo>['$props']>>;
type BarAttrs = __VLS_OmitIndexSignature<Partial<InstanceType<typeof Bar>['$props']>>;

type __VLS_TypePropsToOption<T> = {
	[K in keyof T]-?: {} extends Pick<T, K>
	? { type: import('vue').PropType<T[K]> }
	: { type: import('vue').PropType<T[K]>, required: true }
};
type __VLS_OmitIndexSignature<T> = { [K in keyof T as {} extends Record<K, unknown> ? never : K]: T[K]; };

[fabioconti]

Just a question: it seems that when having strictTemplates and fallthroughAttributes both enabled on vueCompilerOptions, when some emits are defined on a component and trying to use native events binding on that component (ie: @click), vue-tsc is complaining about that. When configured in this way, is it fine that it complains about that? Should I forward native events that I want to use on my component?