"where" on a switch case with multiple items is misleading

[Amir_Michail]

Consider:

switch x {
  case a, b where …: ...
}

this currently means:

switch x {
  case a where true, b where …: ...
}

Most people would probably think the “where" applies to both a and b.

To avoid this confusion, maybe if “where" is used for one item then it should be required for all items in that case?

[Lucas_Neiva1 (Lucas Neiva)]

Requiring “where" for all patterns seems like a good idea. I’ve run into this before.

Instinctively I tried to group using ( ), but then you’re matching tuples:

  case (a, b) where <where-expression>:

Having a way to apply the where-clause to all patterns would be nice. Maybe like this:

  case let a, b where all <where-expression>:

···

Consider:

switch x {
case a, b where …: ...
}

this currently means:

switch x {
case a where true, b where …: ...
}

Most people would probably think the “where" applies to both a and b.

To avoid this confusion, maybe if “where" is used for one item then it should be required for all items in that case?

[SlaunchaMan (Jeff Kelley)]

I just ran into this today. I had no idea that a where clause at the end of multiple case statements would only apply to the final one, especially when they’re written like this, one case on each line followed by a where clause:

switch foo {
case .a,
     .b,
     .c
     where someOtherVariable:
    break
}

[DevAndArtist (Adrian Meister)]

I pitched a potential solution for this problem:

Ability to match a condition to multiple associated values from merged switch cases

I just had a small issue with a switch statement where I for some reason assumed that the where clause was already applied to every associated value of a merged switch case. enum Permission { case notSupported(UInt8) case readOnly(UInt8) case readWrite } let permission = Permission.notSupported(0) switch permission { case .notSupported(let code), .readOnly(let code) where code > 0: /* create the right error value */ default: /* create the default error value */ } The above exa…