Skip to content

When a pattern variable is defined on only one side of a disjunction, #16825

When a pattern variable is defined on only one side of a disjunction,

When a pattern variable is defined on only one side of a disjunction, #16825