This pattern compiles with u but throws an early error with v. The pattern/value combination is invalid with u and valid with v:
u
v
This pattern throws an early error with u but compiles with v. The pattern/value combination is valid with u and invalid with v: