No errors in template with ts-check enabled in Vue >= 3.5.7

[twisterniq]

Vue version

3.5.9

Link to minimal reproduction

https://github.com/twisterniq/vuejs-ts-check-template-bug

Steps to reproduce

1. Clone the minimal reproduction.
2. Run npm install
3. Check that there are no errors in App.vue.
4. If you downgrade to vue 3.5.6 and check again, you will see that setDate has an error.

What is expected?

The errors in <template> should be shown when // @ts-check exists.

What is actually happening?

The errors in <template> are not shown when // @ts-check exists.

System Info

No response

Any additional comments?

As I reported in vuejs/language-tools#4891:

It seems like it is caused by #11644

I figured it out by installing the vue version from that commit.
npm i https://pkg.pr.new/vuejs/core/vue@9eca65ee9871d1ac878755afa9a3eb1b02030350 (can reproduce the issue).

Then I installed the vue version from the commit before that one in the main branch:
npm i https://pkg.pr.new/vuejs/core/vue@235ea4772ed2972914cf142da8b7ac1fb04f7585 (can't reproduce the issue).

[yyx990803]

/cc @KazariEX

[KazariEX]

In JS, the default type for TypeProps is ↓ which is different from the performance under TS.