// {"signature":"swift::SimpleRequest, swift::InvertibleProtocolSet> (llvm::PointerUnion, unsigned int), (swift::RequestFlags)1>::noteCycleStep(swift::DiagnosticEngine&) const"} // RUN: not --crash %target-swift-frontend -typecheck %s class a let _ b = a class b : b.c