     case Whichever.title: // expected-error {{expression pattern of type 'String' cannot match values of type 'Whichever'}}
         break
   }
+  switch y {
+    case .alias:
+      break
+    default:
+      break
+  }
 }
 
 

    }
}

// sr-720
enum Whichever {
  case Thing
  static let title = "title"

  }
}

// https://github.com/apple/swift/issues/42798
enum Whatever { case Thing }
func f0(values: [Whatever]) { // expected-note {{'values' declared here}}
    switch value { // expected-error {{cannot find 'value' in scope; did you mean 'values'?}}
