// RUN: %target-typecheck-verify-swift

class A {
  static var a: Int = 0
  static var b: Int = 42

  func foo(_ ptr: UnsafeMutableRawPointer?) {
    switch ptr {
      case (&A.a)?: break
      case (&A.b)?: break
      default: break
    }
  }

  func bar(_ ptr: UnsafeRawPointer) {
    switch ptr {
      case &A.a: break
      case &A.b: break
      default: break
    }
  }
}