I only get the warning once, but it's correct-ish since "stylus" is an alias for "pencil". I'll find the bug about fixing the warning text.

Reopening and deduplicating because the underlying issues of the duplicate and duplicated issues have diverged as explained below.

#33336 silenced this SIL warning for non-expression patterns, causing the reported test cases to be left completely undiagnosed, which is a regression. The duplicated issue (#50745) is now aimed at diagnosing its test case via the space engine. On the other hand, the test case reported here cannot be diagnosed via the space engine by design, so the SIL warning must be reinstated to accommodate this case before we address the wording of the message.

@theblixguy Tagging you since you authored the aforementioned PR.

Meanwhile, here is a self-contained reproduction of the misleading message:

enum E {
  case a

  static let b = E.a
}

func foo(e: E) {
  switch e {
    case .a, .b: break
    default: break
  }
}

warning: case will never be executed
    case .a, .b: break
    ^