[test] Add a few more known type-checker crashers

validation-test/compiler_crashers_2/9d8144a4e9141c6d.swift → validation-test/compiler_crashers_2/13a11e92edec70b6.swift

@@ -1,3 +1,3 @@
 // {"signature":"swift::Parser::parseStmtConditionElement(llvm::SmallVectorImpl<swift::StmtConditionElement>&, swift::Diag<>, swift::StmtKind, llvm::StringRef&)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-func a: b[        if let
+func a: b[ if let

validation-test/compiler_crashers_2/708df9aa47bf25c1.swift → validation-test/compiler_crashers_2/16194a387970a2e6.swift

@@ -1,3 +1,3 @@
 // {"signature":"swift::TuplePattern::createSimple(swift::ASTContext&, swift::SourceLoc, llvm::ArrayRef<swift::TuplePatternElt>, swift::SourceLoc)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-switch {                          case (repeat a
+switch { case (repeat a

validation-test/compiler_crashers_2/1b16ff2a2ad5be.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::Parser::parseAbstractFunctionBody(swift::AbstractFunctionDecl*, swift::optionset::OptionSet<swift::Parser::ParseDeclFlags, unsigned short>)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@abi(func a {

validation-test/compiler_crashers_2/1c4f5ed8bb743453.swift

@@ -0,0 +1,4 @@
+// {"signature":"swift::Parser::parseNewDeclAttribute(swift::DeclAttributes&, swift::SourceLoc, swift::DeclAttrKind, bool)::$_4::operator()() const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a {
+  class override b

validation-test/compiler_crashers_2/1f1b9ed16e283e76.swift

@@ -0,0 +1,4 @@
+// {"signature":"swift::LazyStoragePropertyRequest::evaluate(swift::Evaluator&, swift::VarDecl*) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a {
+  lazy(b, c) {

validation-test/compiler_crashers_2/fc35131688595b.swift → validation-test/compiler_crashers_2/1f6ae695bebb359b.swift

@@ -1,3 +1,3 @@
 // {"signature":"makeBinOp(swift::ASTContext&, swift::Expr*, swift::Expr*, swift::Expr*, swift::PrecedenceGroupDecl*, bool)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-let a=  switch a {                      case &b as? b
+let a= switch a { case &b as? b

validation-test/compiler_crashers_2/1fb63f2dc87bc9b9.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::Parser::parseDecl(bool, bool, llvm::function_ref<void (swift::Decl*)>, bool)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a { class override ( override

validation-test/compiler_crashers_2/23dbe8bd74c95a.swift

@@ -0,0 +1,4 @@
+// {"signature":"swift::TypeChecker::checkDeclAttributes(swift::Decl*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a { b }
+@_implements(a, b) typealias c =

validation-test/compiler_crashers_2/259dac55924ef426.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::GenericContext::getGenericParams() const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+typealias a = () extension a : Comparable

validation-test/compiler_crashers_2/2617a198505b47e4.swift

@@ -0,0 +1,6 @@
+// {"signature":"swift::rewriting::RequirementMachine::getReducedShape(swift::Type, llvm::ArrayRef<swift::GenericTypeParamType*>) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a{ b < c > (c, _ : c}
+         protocol d : a{
+  b<c : e>(c, c.c) protocol e {
+    associatedtype c struct f : d

validation-test/compiler_crashers_2/2b51707df3736f.swift

@@ -0,0 +1,4 @@
+// {"signature":"swift::constraints::ConstraintSystem::recordMatchCallArgumentResult(swift::constraints::ConstraintLocator*, swift::constraints::MatchCallArgumentResult)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+if
+case.a(a.b) = {

validation-test/compiler_crashers_2/2bc220ee62d5d65.swift → validation-test/compiler_crashers_2/2e58d3af692e43c.swift

@@ -1,3 +1,3 @@
 // {"signature":"swift::Parser::parseTypeSimple(swift::Diag<>, swift::Parser::ParseTypeReason)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-subscript(a: ~b          <
+subscript(a: ~b <

validation-test/compiler_crashers_2/83d5136a1ea615f9.swift → validation-test/compiler_crashers_2/3070c3e372b52e7e.swift

@@ -3,4 +3,4 @@
 struct a func b(c : a) {
   {
     switch
-      c {                       case .baz(c==
+      c { case .baz(c==

validation-test/compiler_crashers_2/bb317d94bc705750.swift → validation-test/compiler_crashers_2/33b407eb167aba5.swift

@@ -1,3 +1,3 @@
 // {"signature":"(anonymous namespace)::ExprRewriter::coerceCallArguments(swift::ArgumentList*, swift::AnyFunctionType*, swift::ConcreteDeclRef, swift::ApplyExpr*, swift::constraints::ConstraintLocatorBuilder, llvm::ArrayRef<swift::AppliedPropertyWrapper>)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-func a<b, each c>(body : (repeat each c)->b) {                        body(
+func a<b, each c>(body : (repeat each c)->b) { body(

validation-test/compiler_crashers_2/fa3981f71bc0d522.swift → validation-test/compiler_crashers_2/35129b57d7eb80f4.swift

@@ -1,3 +1,3 @@
 // {"signature":"(anonymous namespace)::ExprWalker::rewriteTarget(swift::constraints::SyntacticElementTarget)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-{                   Sendable(Sendable<<a
+{ Sendable(Sendable<<a

validation-test/compiler_crashers_2/fea44854b27673b7.swift → validation-test/compiler_crashers_2/441e44e28042d5a3.swift

@@ -1,3 +1,3 @@
 // {"signature":"deriveBodyRawRepresentable_init(swift::AbstractFunctionDecl*, void*)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-a enum a : Int {              case = #/
+a enum a : Int { case = #/

validation-test/compiler_crashers_2/d9fe6f57e64fee5.swift → validation-test/compiler_crashers_2/45e1131d17a7561c.swift

@@ -1,6 +1,6 @@
 // {"signature":"swift::constraints::simplifyLocator(swift::ASTNode&, llvm::ArrayRef<swift::constraints::ConstraintLocator::PathElement>&, swift::SourceRange&)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-struct a {                        eq = ""    b "Self ecuador1 Self) > Bool {
+struct a { eq = "" b "Self ecuador1 Self) > Bool {
     let getProperties = (
       \.eq as Self -> _
   let eq = ""

validation-test/compiler_crashers_2/41a8ab272521be7.swift → validation-test/compiler_crashers_2/486a70c43d10bda5.swift

@@ -1,4 +1,4 @@
 // {"signature":"(anonymous namespace)::ConnectedComponents::unionSets(swift::TypeVariableType*, swift::TypeVariableType*)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-let b = (       c  ,       d  a {
+let b = ( c , d a {
 e b

validation-test/compiler_crashers_2/4b5eac547c7b87.swift

@@ -0,0 +1,4 @@
+// {"signature":"checkDistributedTargetResultType(swift::ValueDecl*, swift::Type, bool)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: OS=macosx
+import Distributed protocol a:DistributedActor{distributed actor:

validation-test/compiler_crashers_2/4c84d3d852cdd1d4.swift

@@ -0,0 +1,4 @@
+// {"signature":"swift::ProtocolConformanceRef::forAbstract(swift::Type, swift::ProtocolDecl*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+var sixDoubles
+    : Double "six has the value [\( ( sixDoubles \[]) }0 \0\0 \0 \sixDoubles)"

validation-test/compiler_crashers_2/d55c5b967af3ce9d.swift → validation-test/compiler_crashers_2/51e2471a4cadad3d.swift

@@ -1,4 +1,4 @@
 // {"signature":"(anonymous namespace)::ExprRewriter::buildSingleCurryThunk(swift::Expr*, swift::Expr*, swift::DeclContext*, swift::FunctionType*, swift::constraints::ConstraintLocatorBuilder)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 // REQUIRES: OS=macosx
-import Foundation func a(b: AnyClass?)  {                     	b (b
+import Foundation func a(b: AnyClass?) { b (b

validation-test/compiler_crashers_2/52afb182b33879f5.swift

@@ -0,0 +1,4 @@
+// {"signature":"swift::TypeBase::getSuperclassForDecl(swift::ClassDecl const*, bool)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a {
+  typealias b = c class e : a protocol d : e, d.b

validation-test/compiler_crashers_2/56edea24a97933f.swift

@@ -0,0 +1,5 @@
+// {"signature":"swift::isRepresentableInObjC(swift::VarDecl const*, swift::ObjCReason)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+class a class b open extension b {
+  @objc c : a

validation-test/compiler_crashers_2/5716fcca10bf3ff7.swift

@@ -0,0 +1,6 @@
+// {"signature":"createImplicitConstructor(swift::NominalTypeDecl*, ImplicitConstructorKind, swift::ASTContext&)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a @propertyWrapper struct b < c {
+  wrappedValue : c
+} @propertyWrapper struct d {
+  var wrappedValue @b var e : a @d var f

validation-test/compiler_crashers_2/57c3871466765f0.swift

@@ -0,0 +1,4 @@
+// {"signature":"swift::constraints::ConstraintGraph::computeConnectedComponents(llvm::ArrayRef<swift::TypeVariableType*>)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+let i = Array(... a { " ? \(i Array* )" }
+                        , b 1

validation-test/compiler_crashers_2/b698c95ef914d7.swift → validation-test/compiler_crashers_2/5939b8697dd25c0.swift

@@ -1,3 +1,3 @@
 // {"signature":"diagSyntacticUseRestrictions(swift::Expr const*, swift::DeclContext const*, bool)::DiagnoseWalker::walkToExprPre(swift::Expr*)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-{        @#b([a:
+{ @#b([a:

validation-test/compiler_crashers_2/5ccf43ee108a37e9.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::GenericEnvironment::mapTypeIntoContext(swift::Type) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@abi(func a->b) func a < b

validation-test/compiler_crashers_2/64915463735bcf5b.swift

@@ -0,0 +1,4 @@
+// {"signature":"swift::SimpleRequest<swift::IsStaticRequest, bool (swift::FuncDecl*), (swift::RequestFlags)4>::noteCycleStep(swift::DiagnosticEngine&) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: OS=macosx
+import Distributed typealias DefaultDistributedActorSystem = LocalTestingDistributedActorSystem distributed actor a{distributed...

validation-test/compiler_crashers_2/32f7abe7416344a.swift → validation-test/compiler_crashers_2/685973a04a9055ad.swift

@@ -1,9 +1,9 @@
 // {"signature":"(anonymous namespace)::ExprRewriter::coerceToType(swift::Expr*, swift::Type, swift::constraints::ConstraintLocatorBuilder)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 struct a < each b : Collection {
-      c : (     repeat each b
-        extension   
+      c : ( repeat each b
+        extension
   struct Index {
           d : (repeat(each b.Index
   } var endIndex : Index {
-                      Index(d:  repeat (each c).endIndex
+                      Index(d: repeat (each c).endIndex

validation-test/compiler_crashers_2/6cbf7908427d45f.swift

@@ -0,0 +1,4 @@
+// {"signature":"swift::Decl::getLoc(bool) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@_typeEraser(a) protocol b dynamic func c->some b {
+  d

validation-test/compiler_crashers_2/7459efb59886f47d.swift

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

validation-test/compiler_crashers_2/75874d2cf6f384c8.swift

@@ -0,0 +1,11 @@
+// {"signature":"swift::constraints::ArrayLiteralToDictionaryConversionFailure::diagnoseAsError()"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@propertyWrapper struct a<b{
+         wrappedValue: b
+       }
+        @propertyWrapper struct c<b{
+         wrappedValue: b
+       }
+           {
+               @c @a var value = if true
+                 let : c<a<Bool>> = _value

validation-test/compiler_crashers_2/7643813f44ce5b.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::DeclContext::getSelfInterfaceType() const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+distributed func a

validation-test/compiler_crashers_2/771c5a9342d7660.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::BoundGenericType::getExpandedGenericArgs()"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a func b [{ lazy var c = a(d var e = b

validation-test/compiler_crashers_2/79ac90c35c46dbab.swift

@@ -0,0 +1,4 @@
+// {"signature":"(anonymous namespace)::TypeJoin::visitExistentialType(swift::CanType)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a protocol b < c { associatedtype c }
+                                 [ b<a>, a & b

validation-test/compiler_crashers_2/7aa9d3699dddb337.swift

@@ -0,0 +1,5 @@
+// {"signature":"swift::PatternTypeRequest::evaluate(swift::Evaluator&, swift::ContextualPattern) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+@objcMembers class a open extension a {
+  var b

validation-test/compiler_crashers_2/7e19cb4cc0598c1b.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::Expr::getArgs() const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a<let b: Int?{ int: Int { b

validation-test/compiler_crashers_2/84d2d3eac9e9a0.swift

@@ -0,0 +1,5 @@
+// {"signature":"swift::emitLoadedModuleTraceIfNeeded(swift::ModuleDecl*, swift::DependencyTracker*, swift::FrontendOptions const&, swift::InputFile const&)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@propertyWrapper struct a {
+  wrappedValue : b var projectedValue init(projectedValue c) {
+    func d(@a Int) d

validation-test/compiler_crashers_2/eae1c23b8661884.swift → validation-test/compiler_crashers_2/88ba80199b702649.swift

@@ -1,3 +1,3 @@
 // {"signature":"(anonymous namespace)::ExprRewriter::finishApply(swift::ApplyExpr*, swift::Type, swift::constraints::ConstraintLocatorBuilder, swift::constraints::ConstraintLocatorBuilder)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-func a(b : ()->Void c : _->Void) {          withoutActuallyEscaping(b do : c
+func a(b : ()->Void c : _->Void) { withoutActuallyEscaping(b do : c

validation-test/compiler_crashers_2/e38f396e3ac8635.swift → validation-test/compiler_crashers_2/89bcf379b8d4d092.swift

@@ -2,5 +2,5 @@
 // RUN: not --crash %target-swift-frontend -typecheck %s
 struct a < b : FixedWidthInteger extension a : Sequence {
   c {
-    {                           for
-        d self {                            b(truncatingIfNeeded : d
+    { for
+        d self { b(truncatingIfNeeded : d

validation-test/compiler_crashers_2/8a6431938ab864b3.swift

@@ -0,0 +1,5 @@
+// {"signature":"swift::rewriting::RequirementMachine::checkCompletionResult(swift::rewriting::CompletionResult) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a : b protocol b{associatedtype c} protocol d : e,
+                                                         f protocol e
+    : g where c : e protocol g : b protocol f : a where c : f

validation-test/compiler_crashers_2/8a6584ca91fedd9.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::TypeChecker::typesSatisfyConstraint(swift::Type, swift::Type, bool, swift::constraints::ConstraintKind, swift::DeclContext*, bool*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a<each b>(c : repeat each b) { repeat !(d c

validation-test/compiler_crashers_2/90773c979d435f7.swift

@@ -0,0 +1,8 @@
+// {"signature":"swift::isOverrideBasedOnType(swift::ValueDecl const*, swift::Type, swift::ValueDecl const*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a < b {
+  protocol c { associatedtype d init(e : d
+  }
+  class f {
+    init(e : Int) {
+      class 4 : f, c { init(e : d

validation-test/compiler_crashers_2/8dc888b8948ac9a.swift → validation-test/compiler_crashers_2/912b50e86d7f221c.swift

@@ -1,5 +1,5 @@
 // {"signature":"swift::constraints::AllowTypeOrInstanceMemberFailure::diagnoseAsError()"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-struct a func b<c >(c = a [ 
+struct a func b<c >(c = a [
        extension a {
 subscript->Int

validation-test/compiler_crashers_2/933fe28af784ae94.swift

@@ -0,0 +1,4 @@
+// {"signature":"(anonymous namespace)::ASTScopeDeclConsumerForUnqualifiedLookup::consume(llvm::ArrayRef<swift::ValueDecl*>, swift::NullablePtr<swift::DeclContext>)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{
+  @abi(func a) var b : c

validation-test/compiler_crashers_2/28df9f73eb89a38.swift → validation-test/compiler_crashers_2/93553842ae73253.swift

@@ -1,3 +1,3 @@
 // {"signature":"lookupReplacedDecl(swift::DeclNameRef, swift::DeclAttribute const*, swift::ValueDecl const*, llvm::SmallVectorImpl<swift::ValueDecl*>&)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-{                     @_dynamicReplacement(for: )   func a
+{ @_dynamicReplacement(for: ) func a

validation-test/compiler_crashers_2/93eaba9fd0e76cdf.swift

@@ -0,0 +1,3 @@
+// {"signature":"diagnoseDictionaryLiteralDuplicateKeyEntries(swift::Expr const*, swift::DeclContext const*)::DiagnoseWalker::walkToExprPre(swift::Expr*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+[ 1.01: "" 1.01: ""

validation-test/compiler_crashers_2/975116cdaa9f417.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::ExprPattern::updateMatchExpr(swift::Expr*) const::FindMatchOperatorDeclRef::walkToExprPre(swift::Expr*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func ~= (a) if case ~= b

validation-test/compiler_crashers_2/983a37d76b4923e.swift

@@ -0,0 +1,4 @@
+// {"signature":"swift::TypeBase::getNominalParent()"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a {
+  typealias b<c> = () extension b

validation-test/compiler_crashers_2/98887170a0bfefc0.swift

@@ -0,0 +1,4 @@
+// {"signature":"$s11swiftASTGen24evaluatePoundIfCondition10astContext13diagEnginePtr16sourceFileBuffer02ifF4Text14shouldEvaluateSiSo17BridgedASTContextV_SvSo0S9StringRefVAKSbtF"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: swift_swift_parser
+#if canImport(#available

validation-test/compiler_crashers_2/9967f3fc56f84a1e.swift

@@ -0,0 +1,3 @@
+// {"signature":"formatDiagnosticArgument(llvm::StringRef, llvm::StringRef, llvm::ArrayRef<swift::DiagnosticArgument>, unsigned int, swift::DiagnosticFormatOptions, llvm::raw_ostream&)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@propertyWrapper struct a func b(@a Int) b($c:d

validation-test/compiler_crashers_2/9adf18151655a6ae.swift

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

validation-test/compiler_crashers_2/f14720755187419.swift → validation-test/compiler_crashers_2/9f75fc85a5c32bf2.swift

@@ -1,4 +1,4 @@
 // {"signature":"swift::constraints::ConstraintSystem::setTargetFor(swift::constraints::SyntacticElementTargetKey, swift::constraints::SyntacticElementTarget)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-{$0=[{}  }(
+{$0=[{} }(
 [a:

validation-test/compiler_crashers_2/aea9b13219906649.swift → validation-test/compiler_crashers_2/a04f67aa8fb22efa.swift

@@ -2,4 +2,4 @@
 // RUN: not --crash %target-swift-frontend -typecheck %s
 struct a < Element {
   b {
-    class c : Collection {          typealias Index = d subscript(e                                                               :
+    class c : Collection { typealias Index = d subscript(e :

validation-test/compiler_crashers_2/a0b4d94ad0e977d0.swift

@@ -0,0 +1,4 @@
+// {"signature":"swift::findSyntacticErrorForConsume(swift::ModuleDecl*, swift::SourceLoc, swift::Expr*, llvm::function_ref<swift::Type (swift::Expr*)>)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a(consume : String) {
+  consume consume consume

validation-test/compiler_crashers_2/2a41be58398eb21.swift → validation-test/compiler_crashers_2/a12deef4ea31815.swift

@@ -1,4 +1,4 @@
 // {"signature":"swift::DeclContext::getASTContext() const"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-@a({                              struct b                 }
+@a({ struct b }
                         var c

validation-test/compiler_crashers_2/a1776e4598146d49.swift

@@ -0,0 +1,3 @@
+// {"signature":"(anonymous namespace)::ResolvePattern::visitCallExpr(swift::CallExpr*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+enum a { b : _const a

validation-test/compiler_crashers_2/ccbe6b312cbec2.swift → validation-test/compiler_crashers_2/a53b65eef074b0fa.swift

@@ -1,4 +1,4 @@
 // {"signature":"swift::constraints::MissingConformanceFailure::diagnoseTypeCannotConform(swift::Type, swift::Type) const"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 protocol a extension a {
-  b {                     func * (Self=  {
+  b { func * (Self= {

validation-test/compiler_crashers_2/a81ff5cc2d29ef15.swift

@@ -0,0 +1,5 @@
+// {"signature":"void swift::Diagnostic::gatherArgs<swift::Identifier, bool, swift::TypeRepr*>(swift::Identifier, bool, swift::TypeRepr*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+@objcMembers class a open extension a {
+  ...

validation-test/compiler_crashers_2/a9f541ae5c40ef35.swift

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

validation-test/compiler_crashers_2/ab146c5c26ca113.swift

@@ -0,0 +1,3 @@
+// {"signature":"getIsolationFromAttributes(swift::Decl const*, bool, bool)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+isolated let a

validation-test/compiler_crashers_2/b44bf5a5a8274.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::constraints::ContextualFailure::getDiagnosticFor(swift::ContextualTypePurpose, swift::Type)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{ struct a func b< c >->c->() var : (inout a)->() = b(

validation-test/compiler_crashers_2/b7d484d056661ff.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::PackExpansionType::PackExpansionType(swift::Type, swift::Type, swift::RecursiveTypeProperties, swift::ASTContext const*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+[Int : Int](Int) { a, b in a[b b= b * b

validation-test/compiler_crashers_2/42a0e5e85861da7e.swift → validation-test/compiler_crashers_2/b862de77602e6bcf.swift

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

validation-test/compiler_crashers_2/b8a659988983457.swift

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

validation-test/compiler_crashers_2/b93e9e54c72f13c9.swift

@@ -0,0 +1,6 @@
+// {"signature":"swift::rewriting::RewriteSystem::processTypeDifference(swift::rewriting::TypeDifference const&, unsigned int, unsigned int, swift::rewriting::RewritePath const&)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a < b class c<b, h> : a<(b, h)> protocol d {
+  associatedtype b : c<e, f> associatedtype e associatedtype f associatedtype b
+      : a<g>
+            associatedtype g where g == e

validation-test/compiler_crashers_2/b98d91945bd93d30.swift

@@ -0,0 +1,3 @@
+// {"signature":"swift::adjustFunctionTypeForConcurrency(swift::AnyFunctionType*, swift::ValueDecl*, swift::DeclContext*, unsigned int, bool, llvm::function_ref<swift::Type (swift::AbstractClosureExpr const*)>, llvm::function_ref<bool (swift::ClosureExpr const*)>, llvm::function_ref<swift::Type (swift::Type)>)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+actor a func b(isolated a...) b

validation-test/compiler_crashers_2/bafa48a4eecbfb62.swift

@@ -0,0 +1,5 @@
+// {"signature":"swift::InFlightDiagnostic swift::DiagnosticEngine::diagnose<unsigned int, unsigned int, bool>(swift::SourceLoc, swift::Diag<unsigned int, unsigned int, bool>, swift::detail::PassArgument<unsigned int>::type, swift::detail::PassArgument<unsigned int>::type, swift::detail::PassArgument<bool>::type)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+class b open extension b {
+  @objc c : a

validation-test/compiler_crashers_2/5ca07be48f3dc630.swift → validation-test/compiler_crashers_2/bf28fe4f10fb3dc.swift

@@ -1,3 +1,3 @@
 // {"signature":"swift::TuplePatternElt& llvm::SmallVectorTemplateBase<swift::TuplePatternElt, true>::growAndEmplaceBack<swift::Identifier, swift::SourceLoc, swift::Pattern*&>(swift::Identifier&&, swift::SourceLoc&&, swift::Pattern*&)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-switch {                           case .a(&b
+switch { case .a(&b