feat: apply correct type information to $derived argument expression

[ota-meshi]

No description provided.

[changeset-bot]

🦋 Changeset detected

Latest commit: 6953da6

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 1 package

Name	Type
svelte-eslint-parser	Minor

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

[coveralls]

Pull Request Test Coverage Report for Build 6905719951

• 69 of 72 (95.83%) changed or added relevant lines in 4 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage increased (+0.06%) to 91.318%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
src/parser/typescript/set-parent.ts	5	6	83.33%
src/parser/typescript/analyze/index.ts	49	51	96.08%

Totals
Change from base Build 6901776316:	0.06%
Covered Lines:	2386
Relevant Lines:	2528

---

💛 - Coveralls

[baseballyama]

If $derived set initial value, it can not be a falsy value, so do we need to handle this?
(Now always $__derivedArgument returns T | null right?)

https://typescript-eslint.io/play/#ts=5.2.2&fileType=.ts&code=FAEwpgxgNghgTmABAMwK4DsIBcCWB7dRAEgGcsYswAeAFQD4AKHdHXGKALkRoEouaA3KEiwEKDNnyFS5SrUZ9uiAD6IM4ZMzAgh4aPCRpMuAsXBwcAN23yGYAB4AHBCRJT%2BiwcAeO8cLIhYAJ6OSACS6Mh4iAC8iADeiOhc6KgAtgBGYHCIAL5CUGABMLHEZBTUEVGMicmIAIx5PEIlcepgmujaBUWIGaVE5lbaDAw8sXSIMAD8AHSE09OIAAyIiADUiABMzUA&eslintrc=N4KABGBEBOCuA2BTAzpAXGUEKQAIBcBPABxQGNoBLY-AWhXkoDt8B6Jge1tieQEMAZolp9oAc1gBbRC3RRE0aB2iRwYAL4h1QA&tsconfig=N4KABGBEDGD2C2AHAlgGwKYCcDyiAuysAdgM6QBcYoEEkJemy0eFYDAruuGAL4g9A&tokens=false

[ota-meshi]

I don't think falsy value has much to do with it.
So I think $derived should always be converted to virtual code.

type Info1 = { n: number };
type Info2 = { n: string };
let a = $state<Info1 | Info2>({ n: 1 });
a = { n: 1 }
let b = $derived(a.n);
//  ^? b: number
let c = $derived((() => {
//  ^? c: string | number
  return $__derivedArgument();
  function $__derivedArgument() {
    return a.n
  }
})());

https://typescript-eslint.io/play/#ts=5.2.2&fileType=.ts&code=FAEwpgxgNghgTmABAMwK4DsIBcCWB7dRAEgGcsYswAeAFQD4AKHdHXGKALkRoEouaA3KEiwEKDNnyFS5SrUZ9uiAD6IM4ZMzAgh4aPCRpMuAsXBwcAN23yGYAB4AHBCRJT%2BiwcCwBPR0gBJdGQ8AEZEAF5EAG9EdC50VABbACMwOEQAXyFff0QgkIAmSJi4rjILdABzLKEoMCxEGBKZCmoCsJV84LxCxlj4xHDMniFmqIGuYeB6xpSW8yttBhgAOnRR4AB6LcREAD0AfkQUhOS0uBmGxAgF9KWQBieeSLoY7d2D44hyrEqa1SJVLpYB7BBYVBwaQAfWhi2sIAAgnAqskwOgsAxNnsjJJTERYfDtMjUUl0ZiXtFQXtEODIYQ1uhqZlgCMsZsgA&eslintrc=N4KABGBEBOCuA2BTAzpAXGUEKQAIBcBPABxQGNoBLY-AWhXkoDt8B6Jge1tieQEMAZolp9oAc1gBbRC3RRE0aB2iRwYAL4h1QA&tsconfig=N4KABGBEDGD2C2AHAlgGwKYCcDyiAuysAdgM6QBcYoEEkJemy0eFYDAruuGAL4g9A&tokens=false