[AhmedSadek10]

Fixes #38565

• I've read the guidelines for contributing and seen the walkthrough
• I've posted a comment on an issue with a detailed description of how I am planning to contribute and got approval from a member of the team
• The code builds and tests pass locally (also verified by our automated build checks)
• Commit messages follow this format:

        Summary of the changes
        - Detail 1
        - Detail 2

        Fixes #bugnumber

• Tests for the changes have been added (for bug fixes / features)
• Code follows the same patterns and style as existing code in this repo

[Copilot]

🟡 Changes recommended

A critical active finding shows the rewrite can change null-branch member access from a CLR NullReferenceException into null for all providers, so its eligibility condition is not semantics-preserving.

1 open issue

• Preserve null-branch exceptions in conditional member-access rewrites · New

What changed in this PR

This PR fixes issue #38565 by supporting member access over conditional projections guarded by compound null checks (&& and ||). The generalized optimizer rewrite requires a null-safety restriction to avoid changing behavior for arbitrary conditionals with one null branch.

Changes:

• Broadens conditional member-access optimization for compound null-check predicates.
• Adds shared synchronous and asynchronous regression coverage for conjunctive and disjunctive null checks.
• Adds SQL Server and SQLite query baselines.

File	Description
test/​EFCore.SqlServer.FunctionalTests/​Query/​AdHocNavigationsQuerySqlServerTest.cs	Adds SQL Server query baselines covering the conditional projection regression cases.
test/​EFCore.Sqlite.FunctionalTests/​Query/​AdHocNavigationsQuerySqliteTest.cs	Adds SQLite query baselines covering the conditional projection regression cases.
test/​EFCore.Specification.Tests/​Query/​AdHocNavigationsQueryTestBase.cs	Adds shared synchronous and asynchronous regression tests, seed data, and assertions for compound null checks.
src/​EFCore/​Query/​Internal/​QueryOptimizingExpressionVisitor.cs	Generalizes conditional projection member-access optimization to handle null branches regardless of the conditional test expression.

_{Review effort: Lite}