Once we implement precompiled queries, we can introduce a new analyzer to flag queries which aren't compatible with that mechanism (any query which contains any form of dynamicity). Concretely, this means that the query comprises of a single LINQ operation invocation chain, from a root DbSet to a terminating operator. Any terminating operator accepting an IQueryable that doesn't doesn't ultimately hang off of a DbSet is a broken-up, potentially dynamic query:

// OK query:
_ = context.Blogs.Where(...).OrderBy(...).ToList();

// Flagged query:
var query = context.Blogs.Where(...).OrderBy(...);
// Method with an IEnumerable parameter accepting an IQueryable argument, which does not trace back to an inline DbSet root
_ = query.ToList(); 

Note that the analyzer provides a non-exhaustive 1st pass; the actual query precompilation performed at publish time may discover more issues that the answer did not. For example, if some custom/unknown LINQ operator is used somewhere in the query, the analyzer wouldn't be able to flag that (it doesn't compile the query), but query precompilation will fail, raising a warning. This is a bit similar to how the trimming/NativeAOT analyzer(s) may not produce all warnings that the linker does, e.g. because they don't have visibility into the entire code being linked, only to the current project.

Finally, neither the analyzer nor precompilation can provide a 100% guarantee that the program will run correctly with NativeAOT. Doing so isn't possible: the user's program may have a dependency on a 3rd-party package which uses LINQ queries, and there's no way for us to analyze or flag those. More generally, LINQ is an abstraction, and since queryable/EF LINQ queries invoke the same methods (e.g. ToList()) as regular LINQ-to-Objects, the usual annotation-based approach doesn't work here.

Note: the analyzer can also propose a code fix for foreach directly on DbSet properties, which cannot be intercepted as there's no method to intercept:

foreach (var blog in context.Blogs)

The codefix would be to add AsEnumerable().