// {"kind":"typecheck","signature":"swift::constraints::ConstraintSystem::diagnoseAmbiguity(llvm::ArrayRef<swift::constraints::Solution>)","signatureAssert":"Assertion failed: (false && \"locator could not be simplified to anchor\"), function diagnoseAmbiguity"}
// RUN: not --crash %target-swift-frontend -typecheck %s
struct a { eq = "" b "Self ecuador1 Self) > Bool {
    let getProperties = (
      \.eq as Self -> _
  let eq = ""