Predicate foreachEmptiness
Holds if cfe is the element inside foreach statement fs that has the emptiness
completion.
Import path
import semmle.code.csharp.controlflow.internal.CompletionHolds if cfe is the element inside foreach statement fs that has the emptiness
completion.
import semmle.code.csharp.controlflow.internal.Completion