[test] Add some more known type-checker crashers

validation-test/compiler_crashers_2/12b9d4c832862a3.swift

@@ -0,0 +1,7 @@
+// {"signature":"swift::rewriting::RewriteSystem::verifyRewriteRules(swift::rewriting::RewriteSystem::ValidityPolicy) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a { associatedtype b : Collection }
+struct c < d : Collection where d.Element : a,
+    e == d.Element.b.Element struct f < d : Collection where d.Element : a,
+    d.Element.b.Element == d.Index extension c where g == f<d>,
+    d : RangeReplaceableCollection

validation-test/compiler_crashers_2/1a9cf8aaa2cfa83f.swift

@@ -0,0 +1,5 @@
+// {"signature":"swift::InFlightDiagnostic swift::DiagnosticEngine::diagnose<swift::Type>(swift::Decl const*, swift::Diag<swift::Type>, swift::detail::PassArgument<swift::Type>::type)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+@objcMembers class a open extension a {
+  func 0.0

validation-test/compiler_crashers_2/1b94fce977ad935d.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::DifferentiableAttr::DifferentiableAttr(bool, swift::SourceLoc, swift::SourceRange, swift::DifferentiabilityKind, llvm::ArrayRef<swift::ParsedAutoDiffParameter>, swift::TrailingWhereClause*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a(@differentiable _ =

validation-test/compiler_crashers_2/29cff4b25b728d.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::TypeChecker::typeCheckStmtConditionElement(swift::StmtConditionElement&, bool&, swift::DeclContext*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+a guard let b let a = b

validation-test/compiler_crashers_2/438c8a321d9be3de.swift

@@ -0,0 +1,4 @@
+// {"signature":"swift::constraints::SameTypeRequirementFailure::SameTypeRequirementFailure(swift::constraints::Solution const&, swift::Type, swift::Type, swift::constraints::ConstraintLocator*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a struct b extension Dictionary : a where Value == let func !c {
+  let d : [Int:b] let : a = d

validation-test/compiler_crashers_2/489d4cf70584858.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::Parser::consumeTokenWithoutFeedingReceiver()"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@_extern(a

validation-test/compiler_crashers_2/49ab67ad3514bb58.swift

@@ -0,0 +1,3 @@
+// {"signature":"cloneRawLiteralExpr(swift::ASTContext&, swift::LiteralExpr*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+a enum a : Double { case = 3.7 case

validation-test/compiler_crashers_2/4ae85881765dc0db.swift

@@ -0,0 +1,4 @@
+// {"signature":"diagnoseAmbiguityWithContextualType(swift::constraints::ConstraintSystem&, swift::constraints::SolutionDiff&, llvm::ArrayRef<std::__1::pair<swift::constraints::Solution const*, swift::constraints::ConstraintFix const*>>, llvm::ArrayRef<swift::constraints::Solution>)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a func b< c >(c = a(
+    func a

validation-test/compiler_crashers_2/4c48b3ae4546aed.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::constraints::ConstraintSystem::recordKeyPath(swift::KeyPathExpr const*, swift::TypeVariableType*, swift::TypeVariableType*, swift::DeclContext*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+enum a { b->a{switch self{case.c(\ d) e

validation-test/compiler_crashers_2/4c84d3d852cdd1d4.swift

@@ -1,4 +1,7 @@
 // {"signature":"swift::ProtocolConformanceRef::forAbstract(swift::Type, swift::ProtocolDecl*)"}
-// RUN: not --crash %target-swift-frontend -typecheck %s
+// RUN: env DYLD_INSERT_LIBRARIES=/usr/lib/libgmalloc.dylib not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: OS=macosx
+// REQUIRES: target-same-as-host
+// REQUIRES: no_asan
 var sixDoubles
     : Double "six has the value [\( ( sixDoubles \[]) }0 \0\0 \0 \sixDoubles)"

validation-test/compiler_crashers_2/4e921915ae337fb5.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::NormalProtocolConformance::setTypeWitness(swift::AssociatedTypeDecl*, swift::Type, swift::TypeDecl*) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a typealias b<c> = () extension b : a

validation-test/compiler_crashers_2/50b52589da464db0.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::ExprPatternMatchRequest::evaluate(swift::Evaluator&, swift::ExprPattern const*) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+enum a { b(c : a){{guard case.b = c

validation-test/compiler_crashers_2/5367d3b1ce20b9aa.swift

@@ -0,0 +1,5 @@
+// {"signature":"swift::NominalTypeDecl::lookupConformance(swift::ProtocolDecl*, llvm::SmallVectorImpl<swift::ProtocolConformance*>&) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+@objc protocol a{a} extension a {
+  a class b : a

validation-test/compiler_crashers_2/548b48b935d4153a.swift

@@ -0,0 +1,4 @@
+// {"signature":"swift::NominalType::get(swift::NominalTypeDecl*, swift::Type, swift::ASTContext const&)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+extension() {
+  struct a extension a

validation-test/compiler_crashers_2/557cde75b2fa4b56.swift

@@ -0,0 +1,4 @@
+// {"signature":"isParamListRepresentableInLanguage(swift::AbstractFunctionDecl const*, swift::ParameterList const*, swift::ObjCReason)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+class a { @objc b(@c & d Int) @propertyWrapper enum c

validation-test/compiler_crashers_2/5cbe6a68da313ea9.swift

@@ -0,0 +1,6 @@
+// {"signature":"swift::AvailabilityScope::verify(swift::AvailabilityScope const*, swift::ASTContext&) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+if
+#available({}
+  else {
+    var a

validation-test/compiler_crashers_2/5e8f12d4126e38b.swift

@@ -0,0 +1,7 @@
+// {"signature":"swift::ClosureHasResultExprRequest::evaluate(swift::Evaluator&, swift::ClosureExpr*) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a (Int -> Int , Int =
+#sourceLocation5
+ func b {
+  a {
+    $0

validation-test/compiler_crashers_2/5ed6119e7b5941e8.swift

@@ -0,0 +1,4 @@
+// {"signature":"swift::constraints::TrailingClosureRequiresExplicitLabel::fixIt(swift::InFlightDiagnostic&, swift::constraints::FunctionArgApplyInfo const&) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+a {}
+func a<each b, c>(repeat each b, c)

validation-test/compiler_crashers_2/5f942981131dbcab.swift

@@ -0,0 +1,3 @@
+// {"signature":"matchCallArguments(swift::constraints::ConstraintSystem&, swift::FunctionType*, swift::ArgumentList*, llvm::ArrayRef<swift::AnyFunctionType::Param>, llvm::ArrayRef<swift::AnyFunctionType::Param>, swift::constraints::ConstraintKind, swift::constraints::ConstraintLocatorBuilder, std::__1::optional<swift::constraints::TrailingClosureMatching>, llvm::SmallVectorImpl<std::__1::pair<swift::TypeVariableType*, swift::ExistentialArchetypeType*>>&)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a< b, c >(b, d : KeyPath< b, c >b ) a ((e, at: f\g

validation-test/compiler_crashers_2/624dafcf406667e8.swift

@@ -0,0 +1,5 @@
+// {"signature":"(anonymous namespace)::SyntacticElementSolutionApplication::visitReturnStmt(swift::ReturnStmt*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+enum a func b(c : a) {
+let:
+  ()->Copyable = { c return

validation-test/compiler_crashers_2/72eed0e8ff21c1a.swift

@@ -0,0 +1,5 @@
+// {"signature":"swift::InFlightDiagnostic swift::diagnoseAttrWithRemovalFixIt<swift::Diag<swift::AccessorDecl const*>&, swift::AccessorDecl const*&>(swift::Decl const*, swift::DeclAttribute const*, swift::Diag<swift::AccessorDecl const*>&, swift::AccessorDecl const*&)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+class a open extension a {
+  @objc b(_)

validation-test/compiler_crashers_2/73082a7a311258.swift

@@ -0,0 +1,3 @@
+// {"signature":"(anonymous namespace)::ABIDependencyEvaluator::computeABIDependenciesForModule(swift::ModuleDecl*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a let _ a.init = 0

validation-test/compiler_crashers_2/7375195b753c3ca3.swift

@@ -0,0 +1,3 @@
+// {"signature":"fixRequirementFailure(swift::constraints::ConstraintSystem&, swift::Type, swift::Type, swift::ASTNode, llvm::ArrayRef<swift::constraints::ConstraintLocator::PathElement>)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a func b< each c : a >(repeat each c) b( d repeat {

validation-test/compiler_crashers_2/76b298dbdff34f1.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::TypeBase::getContextSubstitutions(swift::DeclContext const*, swift::GenericEnvironment*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@propertyWrapper struct a < b { wrappedValue : c var projectedValue init(projectedValue d) func e(@a & f g : b

validation-test/compiler_crashers_2/84cb3a91833322c6.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::constraints::OutOfOrderArgumentFailure::diagnoseAsError()"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a(b : Int c : Int) a ((c: 1 b: 2

validation-test/compiler_crashers_2/8b3bbe2fe5878590.swift

@@ -0,0 +1,10 @@
+// {"signature":"swift::TypeBase::getContextSubstitutions(swift::DeclContext const*, swift::GenericEnvironment*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a< b {
+  @propertyWrapper struct c {
+    var wrappedValue
+        projectedValue : a
+                                        init(projectedValue
+                                             a) {
+      func d(@c b) d($e
+                                                            : f

validation-test/compiler_crashers_2/8d73bb4170a0c447.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::ParamDecl::setTypeCheckedDefaultExpr(swift::Expr*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a<b>(b= a(

validation-test/compiler_crashers_2/93b241538559442a.swift

@@ -0,0 +1,5 @@
+// {"signature":"swift::ASTWalker::PostWalkResult<swift::MakeTemporarilyEscapableExpr*> (anonymous namespace)::Verifier::dispatchVisitPost<swift::MakeTemporarilyEscapableExpr*>(swift::MakeTemporarilyEscapableExpr*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a(b: () -> Void, c: (() -> Void?) -> Void) {
+   withoutActuallyEscaping(b, do : c)
+ }

validation-test/compiler_crashers_2/9ae5dcaffa1a80.swift

@@ -0,0 +1,6 @@
+// {"signature":"void (anonymous namespace)::StmtChecker::checkSiblingCaseStmts<swift::CaseStmt* const*>(swift::CaseStmt* const*, swift::CaseStmt* const*, swift::CaseParentKind, bool&, swift::Type)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+enum a func b(c : a) -> Int {
+  switch
+    c {
+    case (let \d)d

validation-test/compiler_crashers_2/9c465a4c5d33b28c.swift

@@ -0,0 +1,3 @@
+// {"signature":"void llvm::function_ref<void (llvm::raw_ostream&)>::callback_fn<getTypeForSymbolRange(swift::rewriting::Symbol const*, swift::rewriting::Symbol const*, llvm::ArrayRef<swift::GenericTypeParamType*>, swift::rewriting::PropertyMap const&)::$_0::operator()(swift::GenericTypeParamType*) const::'lambda'(auto&)>(long, llvm::raw_ostream&)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a<each b { extension a!

validation-test/compiler_crashers_2/a014efdc2cfb729.swift

@@ -0,0 +1,4 @@
+// {"signature":"swift::getDistributedActorSystemSerializationType(swift::NominalTypeDecl*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: OS=macosx
+import Distributed typealias a = LocalTestingDistributedActorSystem protocol a{distributed actor b:a

validation-test/compiler_crashers_2/af7dc08992398ff.swift

@@ -0,0 +1,4 @@
+// {"signature":"constrainDomainInfos(llvm::SmallVectorImpl<swift::AvailabilityContext::DomainInfo>&, llvm::ArrayRef<swift::AvailabilityContext::DomainInfo>)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@available(*, unavailable) @available(_PackageDescription 3) func a {
+  @available(_PackageDescription 5) func b

validation-test/compiler_crashers_2/b2548f4cd9bcd52d.swift

@@ -0,0 +1,4 @@
+// {"signature":"isEscaping(swift::Type)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a->String{ b}
+         func b(c : (sending String

validation-test/compiler_crashers_2/b33dbab8ed3643.swift

@@ -0,0 +1,7 @@
+// {"signature":"swift::TypeBase::computeCanonicalType()"}
+// RUN: env DYLD_INSERT_LIBRARIES=/usr/lib/libgmalloc.dylib not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: OS=macosx
+// REQUIRES: target-same-as-host
+// REQUIRES: no_asan
+func a (Int -> Int = { $0 func b( () = {}? ) func b {
+    / 1

validation-test/compiler_crashers_2/b862de77602e6bcf.swift

@@ -1,4 +1,4 @@
-// {"signature":"$s11swiftASTGen19addQueuedDiagnostic20queuedDiagnosticsPtr011perFrontende5StateH04text8severity4cLoc12categoryName17documentationPath015highlightRangesH0012numHighlightT013fixItsUntypedySv_SvSo16BridgedStringRefVSo0zE8SeverityVSo0z6SourceN0VA2NSPySo0Z15CharSourceRangeVGSgSiSo0Z8ArrayRefVtF"}
+// {"signature":"$s11swiftASTGen19addQueuedDiagnostic20queuedDiagnosticsPtr011perFrontende5StateH04text8severity4cLoc12categoryName17documentationPath015highlightRangesH0012numHighlightT013fixItsUntypedySv_SvSo16BridgedStringRefVSo0A0O0E4KindVSo0z6SourceN0VA2NSPySo0Z15CharSourceRangeVGSgSiSo0Z8ArrayRefVtF"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 // REQUIRES: swift_swift_parser
 class a { @objc ( : ( b

validation-test/compiler_crashers_2/bf67776f769fa0f1.swift

@@ -0,0 +1,5 @@
+// {"signature":"(anonymous namespace)::TypeResolver::resolveType(swift::TypeRepr*, swift::TypeResolutionOptions)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+class a open extension a {
+  @objc b : _

validation-test/compiler_crashers_2/c3b37ed583f2402b.swift

@@ -0,0 +1,5 @@
+// {"signature":"swift::TypeTransform<(anonymous namespace)::MapTypeIntoContext>::doIt(swift::Type, swift::TypePosition)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a < b protocol
+    c{associatedtype f : a<d> associatedtype d : a<f>} func e < b : c {
+  b.f = b.d

validation-test/compiler_crashers_2/c8277c165c1ebfa.swift

@@ -0,0 +1,5 @@
+// {"signature":"swift::CallerSideDefaultArgExprRequest::evaluate(swift::Evaluator&, swift::DefaultArgumentExpr*) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@expression macro a (() =
+#b)
+#a

validation-test/compiler_crashers_2/c8563a4a60b27cf3.swift

@@ -0,0 +1,7 @@
+// {"signature":"swift::CanTypeVisitor<swift::TypeMatcher<desugarSameTypeRequirement(swift::Requirement, swift::SourceLoc, llvm::SmallVectorImpl<swift::Requirement>&, llvm::SmallVectorImpl<swift::InverseRequirement>&, llvm::SmallVectorImpl<swift::rewriting::RequirementError>&)::Matcher>::MatchVisitor, bool, swift::Type, swift::Type>::visit(swift::CanType, swift::Type, swift::Type)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a {
+  associatedtype b associatedtype c associatedtype d func e(b, c) -> d
+}
+struct f < j, g : a where h == g.c struct i<j> : a {
+  e(j, _) extension f where g == i<j>

validation-test/compiler_crashers_2/ca37c33bbdab835.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::constraints::NonEphemeralConversionFailure::emitSuggestionNotes() const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a(@_nonEphemeral UnsafePointer<Int8>?? ) var b = "" a(b

validation-test/compiler_crashers_2/cec5966bff434957.swift

@@ -0,0 +1,4 @@
+// {"signature":"swift::getAssociatedTypeOfDistributedSystemOfActor(swift::DeclContext*, swift::Identifier)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: OS=macosx
+import Distributed distributed var a{{

validation-test/compiler_crashers_2/dc31b2ef4315855a.swift

@@ -0,0 +1,5 @@
+// {"signature":"swift::rewriting::RewriteSystem::verifyMinimizedRules(llvm::DenseSet<unsigned int, llvm::DenseMapInfo<unsigned int, void>> const&) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a: Collection where Element == b!{ associatedtype b: c }
+                        protocol d { associatedtype e where e == Self.b.e associatedtype f: a where f.Element == e }
+                        protocol c { associatedtype e: g associatedtype h: i where h.b == Self protocol i: d protocol g { associatedtype b: c where b.e == Self

validation-test/compiler_crashers_2/dd217e2a416bc8a.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::rewriting::RewriteContext::getProtocolComponentRec(swift::ProtocolDecl const*, llvm::SmallVectorImpl<swift::ProtocolDecl const*>&)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a : b protocol b : c protocol d : a class c < e : d

validation-test/compiler_crashers_2/e6a483a39992886f.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::BuiltinTupleDecl::getTupleSelfType(swift::ExtensionDecl const*) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+typealias a<b, c> = () extension a

validation-test/compiler_crashers_2/e714818ef0d04b52.swift

@@ -0,0 +1,4 @@
+// {"signature":"(anonymous namespace)::AssociatedTypeInference::findSolutionsRec(llvm::ArrayRef<swift::AssociatedTypeDecl*>, llvm::SmallVectorImpl<(anonymous namespace)::InferredTypeWitnessesSolution>&, llvm::SmallVectorImpl<(anonymous namespace)::InferredTypeWitnessesSolution>&, llvm::SmallVector<std::__1::pair<swift::ValueDecl*, swift::ValueDecl*>, 4u>&, unsigned int, unsigned int, unsigned int)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a : b protocol b {
+  typealias c typealias c : = c

validation-test/compiler_crashers_2/eb61865acc77c50.swift

@@ -0,0 +1,3 @@
+// {"signature":"(anonymous namespace)::SyntacticElementConstraintGenerator::visitBraceStmt(swift::BraceStmt*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+[ switch { case (let a)print(

validation-test/compiler_crashers_2/efd413faa5b859c9.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::constraints::ConstraintSystem::recordOpenedTypes(swift::constraints::ConstraintLocatorBuilder, llvm::SmallVectorImpl<std::__1::pair<swift::GenericTypeParamType*, swift::TypeVariableType*>>&, bool)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct b let c = { (a : b)in switch a { case .d(... e

validation-test/compiler_crashers_2/f3ef80da3095d840.swift

@@ -0,0 +1,4 @@
+// {"signature":"swift::AutoClosureExpr::getUnwrappedCurryThunkExpr() const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a { associatedtype b associatedtype c where c == Dictionary<String, b> func d -> c? }
+                  let e: a e.d

validation-test/compiler_crashers_2/f8296a9a293c6ae7.swift

@@ -0,0 +1,5 @@
+// {"signature":"void swift::Diagnostic::gatherArgs<swift::Type>(swift::Type)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+class a open extension a {
+  @objc b : Int &

validation-test/compiler_crashers_2/fca26dd570bcdf1c.swift

@@ -0,0 +1,5 @@
+// {"signature":"(anonymous namespace)::TypeResolver::resolveVarargType(swift::VarargTypeRepr*, swift::TypeResolutionOptions)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+class a open extension a {
+  @objc b : Int...

validation-test/compiler_crashers_2/ffc098188a1c39ca.swift

@@ -0,0 +1,10 @@
+// {"signature":"createPropertyStoreOrCallSuperclassSetter(swift::AccessorDecl*, swift::Expr*, swift::AbstractStorageDecl*, (anonymous namespace)::TargetImpl, llvm::SmallVectorImpl<swift::ASTNode>&, swift::ASTContext&)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@propertyWrapper struct a < b {
+  wrappedValue : b static subscript<c>(_enclosingInstance d
+                                       : c, wrapped e
+                                       : ReferenceWritableKeyPath<c, b>
+                                           storage f
+                                       : ReferenceWritableKeyPath<c, Self>) Self
+} class g {
+  @a h = 7

validation-test/compiler_crashers_2_fixed/2e698e9f7b48e8c.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::constraints::ConstraintSystem::simplifyRestrictedConstraintImpl(swift::constraints::ConversionRestrictionKind, swift::Type, swift::Type, swift::constraints::ConstraintKind, swift::optionset::OptionSet<swift::constraints::ConstraintSystem::TypeMatchFlags, unsigned int>, swift::constraints::ConstraintLocatorBuilder)"}
+// RUN: not %target-swift-frontend -typecheck %s
+struct a < b struct c func d .0 c<a> struct c < a, e

validation-test/compiler_crashers_2_fixed/4d5c64ab845e174f.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::rewriting::RewriteSystem::computeCandidateConformancePaths(swift::rewriting::PropertyMap const&, llvm::MapVector<unsigned int, std::__1::vector<llvm::SmallVector<unsigned int, 2u>, std::__1::allocator<llvm::SmallVector<unsigned int, 2u>>>, llvm::DenseMap<unsigned int, unsigned int, llvm::DenseMapInfo<unsigned int, void>, llvm::detail::DenseMapPair<unsigned int, unsigned int>>, llvm::SmallVector<std::__1::pair<unsigned int, std::__1::vector<llvm::SmallVector<unsigned int, 2u>, std::__1::allocator<llvm::SmallVector<unsigned int, 2u>>>>, 0u>>&) const::$_0::operator()(unsigned int) const"}
+// RUN: not %target-swift-frontend -typecheck %s
+protocol a { associatedtype b associatedtype c : a where c.c.c == Self, c.c.b== Self!