fix(semantic): use FormalParameter::has_modifier to detect parameter properties

[ulrichstark]

Checks for the override and readonly modifier were missing before.

This PR is the result of splitting #10081 into smaller PRs.

[graphite-app]

How to use the Graphite Merge Queue

Add either label to this PR to merge it via the merge queue:

• 0-merge - adds this PR to the back of the merge queue
• hotfix - for urgent hot fixes, skip the queue and merge this PR next

You must have a Graphite account in order to use the merge queue. Sign up using this link.

An organization admin has enabled the Graphite Merge Queue in this repository.

Please do not merge from GitHub as this will restart CI on PRs being processed by the merge queue.

[codspeed-hq]

CodSpeed Instrumentation Performance Report

Merging #10096 will not alter performance

_{Comparing ulrichstark:use-formalparameter-hasmodifier-in-semantic (987c423) with main (d82dff9)}

Summary

✅ 36 untouched benchmarks

[Dunqing]

Good catch! I am going to merge it later. Because there is a huge stack that is going to merge, and it probably will conflict with this PR.

[ulrichstark]

I rebased onto main to fix the merge conflicts.