Predicate switchMatching
Holds if pe is the pattern inside case c, belonging to switch s, that
has the matching completion.
Import path
import semmle.code.csharp.controlflow.internal.Completionpredicate switchMatching(Switch s, Case c, PatternExpr pe)