Fix restrictions of or-patterns#2108

ehuss merged 1 commit into

rust-lang:masterrust-lang/reference:masterfrom

kirtchev-adacore:pr/fix-or-pattern-definitionkirtchev-adacore/kirtchev-reference:pr/fix-or-pattern-definitionCopy head branch name to clipboard