PHPLIB-1752 Upgrade to psalm 6.14

[GromNaN]

Fix PHPLIB-1752

[codecov-commenter]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 87.74%. Comparing base (8eb0501) to head (2d1895b).
⚠️ Report is 1 commits behind head on v2.x.
✅ All tests successful. No failed tests found.

Additional details and impacted files

@@             Coverage Diff              @@
##               v2.x    #1814      +/-   ##
============================================
+ Coverage     87.72%   87.74%   +0.01%     
+ Complexity     3195     3185      -10     
============================================
  Files           424      424              
  Lines          6296     6289       -7     
============================================
- Hits           5523     5518       -5     
+ Misses          773      771       -2     

Flag	Coverage Δ
6.0-replica_set	85.72% <ø> (+0.01%)	⬆️
6.0-server	81.71% <ø> (+0.01%)	⬆️
6.0-sharded_cluster	85.51% <ø> (+0.22%)	⬆️
8.0-replica_set	87.66% <ø> (+0.01%)	⬆️
8.0-server	82.55% <ø> (+0.01%)	⬆️
8.0-sharded_cluster	87.50% <ø> (+0.19%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[github-advanced-security]

This pull request sets up GitHub code scanning for this repository. Once the scans have completed and the checks have passed, the analysis results for this pull request branch will appear on this overview. Once you merge this pull request, the 'Security' tab will show more code scanning analysis results (for example, for the default branch). Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results. For more information about GitHub code scanning, check out the documentation.

[GromNaN]

psalm is unable to understand the return type of $client->__get():

mongo-php-library/src/Client.php

Line 176 in 8eb0501

public function __get(string $databaseName): Database

[GromNaN]

Fixed the UndefinedMagicPropertyFetch
https://psalm.dev/r/d84fc926ce

[GromNaN]

Psalm doesn't know this new attribute.

[Copilot]

Pull request overview

This PR upgrades the Psalm static analysis tool from version 6.5 to 6.14.2 and updates the PHP version used in CI workflows from 8.2 to 8.5.

Key changes:

• Upgraded Psalm dependency and updated baseline file with new version-specific suppressions
• Added @psalm-no-seal-properties annotations to Client and Database classes
• Updated static analysis workflow to use PHP 8.5

Reviewed changes

Copilot reviewed 6 out of 6 changed files in this pull request and generated 1 comment.

Show a summary per file

File	Description
composer.json	Updated Psalm version constraint from 6.5.* to ~6.14.2
psalm-baseline.xml	Updated baseline with new Psalm version and added/removed issue suppressions
psalm.xml.dist	Added suppressions for MissingOverrideAttribute and ClassMustBeFinal issues
src/Client.php	Added @psalm-no-seal-properties annotation to prevent property sealing
src/Database.php	Added @psalm-no-seal-properties annotation to prevent property sealing
.github/workflows/static-analysis.yml	Updated PHP version from 8.2 to 8.5 for static analysis

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.