Predicate SsaSource::pattern_alias_definition

Holds if v is defined by as the alias of an as-pattern.

Import path

import semmle.python.essa.SsaDefinitions

predicate pattern_alias_definition(Variable v, ControlFlowNode defn)