Однако у MS в code analysis rules (https://learn.microsoft.com/en-us/dotnet/fundamentals/code-analysis/overview) на этот счёт похоже ничего нет.

Из сторонних анализаторов кода:
https://rules.sonarsource.com/csharp/tag/yield/RSPEC-4456/

Therefore it is recommended to split the method into two: an outer method handling the validation (no longer lazy) and an inner (lazy) method to handle the iteration.