// {"kind":"typecheck","original":"809d89d9","signature":"swift::constraints::SubscriptMisuseFailure::diagnoseAsError()","signatureAssert":"Assertion failed: (isa<To>(Val) && \"cast<Ty>() argument of incompatible type!\"), function cast","signatureNext":"UseSubscriptOperator::diagnose"}
// RUN: not --crash %target-swift-frontend -typecheck %s
var a = "" {
  .subscript(<#expression#>)
}
