Merge pull request #82834 from hamishknight/fuzzy

hamishknight · web-flow · commit 5cbdcaf6554e · 2025-07-08T08:32:52.000+01:00
[test] Add some more known crashers
diff --git a/tools/swift-ide-test/swift-ide-test.cpp b/tools/swift-ide-test/swift-ide-test.cpp
@@ -448,6 +448,10 @@ RandomSeed("random-seed", llvm::cl::value_desc("seed"),
                     llvm::cl::cat(Category),
                     llvm::cl::init(0));
 
+static llvm::cl::opt<bool> SourceOrderCompletion(
+    "source-order-completion",
+    llvm::cl::desc("Perform batch completion in source order"),
+    llvm::cl::cat(Category));
 
 static llvm::cl::opt<std::string>
 CompletionOutputDir("completion-output-dir", llvm::cl::value_desc("path"),
@@ -1501,7 +1505,7 @@ static int doBatchCodeCompletion(const CompilerInvocation &InitInvok,
                    << TargetTokName << "\"\n";
       return 1;
     }
-  } else {
+  } else if (!options::SourceOrderCompletion) {
     // Shuffle tokens to detect order-dependent bugs.
     if (CCTokens.empty()) {
       llvm::errs()
diff --git a/validation-test/IDE/crashers/0798f041dcc07b.swift b/validation-test/IDE/crashers/0798f041dcc07b.swift
@@ -0,0 +1,12 @@
+// {"kind":"complete","signature":"matchCallArgumentsImpl(llvm::SmallVectorImpl<swift::AnyFunctionType::Param>&, llvm::ArrayRef<swift::AnyFunctionType::Param>, swift::ParameterListInfo const&, std::__1::optional<unsigned int>, bool, swift::constraints::TrailingClosureMatching, swift::constraints::MatchCallArgumentListener&, llvm::SmallVectorImpl<llvm::SmallVector<unsigned int, 1u>>&)::$_5::operator()(unsigned int&, swift::Identifier, bool, bool) const"}
+// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
+struct a {
+  @dynamicMemberLookup enum b {
+    subscript <c>(dynamicMember d: KeyPath<a, c>) -> c {
+      @dynamicMemberLookup class e {c { self[
+#^COMPLETE^#}
+        subscript(dynamicMember d: KeyPath<b, c>) -> c
+      }
+    }
+  }
+}
diff --git a/validation-test/IDE/crashers/10223dd7c9d04e.swift b/validation-test/IDE/crashers/10223dd7c9d04e.swift
@@ -0,0 +1,5 @@
+// {"kind":"complete","signature":"swift::IterableDeclContext::addMemberSilently(swift::Decl*, swift::Decl*, bool) const"}
+// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
+{
+  class a {
+    lazy b: = #^COMPLETE^#
diff --git a/validation-test/IDE/crashers/2310a05b9a395ec4.swift b/validation-test/IDE/crashers/2310a05b9a395ec4.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","signature":"swift::ide::AfterPoundExprCompletion::sawSolutionImpl(swift::constraints::Solution const&)"}
+// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
+{##^COMPLETE^#
diff --git a/validation-test/IDE/crashers/27fbd11892a31ee.swift b/validation-test/IDE/crashers/27fbd11892a31ee.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","signature":"(anonymous namespace)::getEquivalentDeclContextFromSourceFile(swift::DeclContext*, swift::SourceFile*)"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+do { func a { #^^# #^b^#
diff --git a/validation-test/IDE/crashers/2b1c3dd8eaf1b69.swift b/validation-test/IDE/crashers/2b1c3dd8eaf1b69.swift
@@ -0,0 +1,5 @@
+// {"kind":"complete","signature":"swift::ide::IDEInspectionInstance::performCachedOperationIfPossible(llvm::hash_code, llvm::IntrusiveRefCntPtr<llvm::vfs::FileSystem>, swift::SearchPathOptions const&, llvm::MemoryBuffer*, unsigned int, swift::DiagnosticConsumer*, std::__1::shared_ptr<std::__1::atomic<bool>>, llvm::function_ref<void (swift::ide::CancellableResult<swift::ide::IDEInspectionInstanceResult>)>)","useSourceOrderCompletion":true}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s -source-order-completion
+#^^#
+#if a)#^COMPLETE3^#
+var
diff --git a/validation-test/IDE/crashers/539adae64314fae.swift b/validation-test/IDE/crashers/539adae64314fae.swift
@@ -0,0 +1,7 @@
+// {"kind":"complete","signature":"void std::__1::__introsort<std::__1::_ClassicAlgPolicy, printCodeCompletionLookedupTypeNames(llvm::ArrayRef<swift::NullTerminatedStringRef>, llvm::raw_ostream&)::$_0&, swift::NullTerminatedStringRef*, false>(swift::NullTerminatedStringRef*, swift::NullTerminatedStringRef*, printCodeCompletionLookedupTypeNames(llvm::ArrayRef<swift::NullTerminatedStringRef>, llvm::raw_ostream&)::$_0&, std::__1::iterator_traits<swift::NullTerminatedStringRef*>::difference_type, bool)"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+struct a<each b: Collection
+{
+c: (repeat each b.Index
+func == {
+repeat each d == (each c)#^^#
diff --git a/validation-test/IDE/crashers/57152fc126fa3fd.swift b/validation-test/IDE/crashers/57152fc126fa3fd.swift
@@ -0,0 +1,4 @@
+// {"kind":"complete","signature":"swift::Mangle::ASTMangler::appendType(swift::Type, swift::GenericSignature, swift::ValueDecl const*)"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+// REQUIRES: OS=macosx
+import Foundation switch Foundation { case #^^#
diff --git a/validation-test/IDE/crashers/587183a047cbcead.swift b/validation-test/IDE/crashers/587183a047cbcead.swift
@@ -0,0 +1,6 @@
+// {"kind":"complete","signature":"swift::FragileFunctionKindRequest::evaluate(swift::Evaluator&, swift::DeclContext*) const"}
+// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
+enum a {
+  case ( = {
+      enum b :
+        #^COMPLETE^#
diff --git a/validation-test/IDE/crashers/64cbd48634eb9eac.swift b/validation-test/IDE/crashers/64cbd48634eb9eac.swift
@@ -0,0 +1,4 @@
+// {"kind":"complete","signature":"swift::irgen::IRGenModule::emitLazyObjCProtocolDefinition(swift::ProtocolDecl*)"}
+// Actual signature: matchCallArguments
+// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
+{ switch { case let c(#^COMPLETE^# b) a
diff --git a/validation-test/IDE/crashers/78f1273d34b9916a.swift b/validation-test/IDE/crashers/78f1273d34b9916a.swift
@@ -0,0 +1,6 @@
+// {"kind":"complete","signature":"swift::constraints::ConstraintSystem::addConstraintImpl(swift::constraints::ConstraintKind, swift::Type, swift::Type, swift::constraints::ConstraintLocatorBuilder, bool)"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+@propertyWrapper struct a {
+wrappedValue: Bool init(wrappedValue: Bool
+var projectedValue init(projectedValue: ) func b(@a ) {
+b#^^#
diff --git a/validation-test/IDE/crashers/7b2825e90bfce47.swift b/validation-test/IDE/crashers/7b2825e90bfce47.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","signature":"swift::SourceManager::findBufferContainingLocInternal(swift::SourceLoc) const"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+class a { lazy b: () = { answer {}#^^#
diff --git a/validation-test/IDE/crashers/7d168ea6c6715a7c.swift b/validation-test/IDE/crashers/7d168ea6c6715a7c.swift
@@ -0,0 +1,8 @@
+// {"kind":"complete","signature":"swift::GenericSignatureImpl::getSuperclassBound(swift::Type) const"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+protocol a {
+  associatedtype b: Error
+}
+extension a {c
+  #^^#
+  class Error
diff --git a/validation-test/IDE/crashers/81f0b4a8709d344d.swift b/validation-test/IDE/crashers/81f0b4a8709d344d.swift
@@ -0,0 +1,5 @@
+// {"kind":"complete","signature":"checkLabeledStmtShadowing(swift::ASTContext&, swift::SourceFile*, swift::LabeledStmt*)"}
+// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
+let:{ let a=
+#^COMPLETE^#{
+b:{
diff --git a/validation-test/IDE/crashers/9949f94be543b413.swift b/validation-test/IDE/crashers/9949f94be543b413.swift
@@ -0,0 +1,7 @@
+// {"kind":"complete","signature":"swift::ConformanceLookupTable::compareConformances(swift::ConformanceLookupTable::ConformanceEntry*, swift::ConformanceLookupTable::ConformanceEntry*, bool&)","useSourceOrderCompletion":true}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s -source-order-completion
+class a {
+  #^^#
+}
+extension a? : RandomAccessCollection {
+  #^b^#
diff --git a/validation-test/IDE/crashers/9b90cd875bff6ab4.swift b/validation-test/IDE/crashers/9b90cd875bff6ab4.swift
@@ -0,0 +1,5 @@
+// {"kind":"complete","signature":"(anonymous namespace)::Remangler::trySubstitution(swift::Demangle::Node*, swift::Demangle::SubstitutionEntry&, bool)"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+protocol a:c{ b(a=
+#^^#}
+protocol c:a
diff --git a/validation-test/IDE/crashers/c9107b491555f468.swift b/validation-test/IDE/crashers/c9107b491555f468.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","signature":"(anonymous namespace)::CodeCompletionCallbacksImpl::completeNominalMemberBeginning(llvm::SmallVectorImpl<llvm::StringRef>&, swift::SourceLoc)"}
+// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
+case = switch { case #^COMPLETE^#<#expression#>
diff --git a/validation-test/IDE/crashers/d7b68d1c9ccf2f4.swift b/validation-test/IDE/crashers/d7b68d1c9ccf2f4.swift
@@ -0,0 +1,6 @@
+// {"kind":"complete","signature":"swift::Mangle::Mangler::verify(llvm::StringRef, swift::Mangle::ManglingFlavor)"}
+// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
+protocol a {
+  fileprivate associatedtype b
+  func c ->
+  #^COMPLETE^#
diff --git a/validation-test/IDE/crashers/dac216ff43c557e.swift b/validation-test/IDE/crashers/dac216ff43c557e.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","signature":"swift::DeclContext::isInnermostContextGeneric() const"}
+// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
+case ( <#expression#>= { enum a : #^COMPLETE^#
diff --git a/validation-test/IDE/crashers/e6f077eee83be8a7.swift b/validation-test/IDE/crashers/e6f077eee83be8a7.swift
@@ -0,0 +1,4 @@
+// {"kind":"complete","signature":"swift::constraints::ConstraintSystem::getType(swift::ASTNode) const"}
+// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
+if case (
+#a,#^COMPLETE^# is b
diff --git a/validation-test/IDE/crashers/f1328ad669bd7cf8.swift b/validation-test/IDE/crashers/f1328ad669bd7cf8.swift
@@ -0,0 +1,4 @@
+// {"kind":"complete","signature":"Extension must have already been bound"}
+// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
+extension a [ { func b {
+#^COMPLETE^#
diff --git a/validation-test/IDE/crashers/f75dad9059dcd5e4.swift b/validation-test/IDE/crashers/f75dad9059dcd5e4.swift
@@ -0,0 +1,9 @@
+// {"kind":"complete","signature":"swift::GenericSignatureImpl::requiresProtocol(swift::Type, swift::ProtocolDecl*) const"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+protocol a {
+  associatedtype b
+}
+protocol c : a where c== d
+  extension c {
+    typealias c = b
+    #^^#
diff --git a/validation-test/IDE/crashers_fixed/4e946c4a77ce8d.swift b/validation-test/IDE/crashers_fixed/4e946c4a77ce8d.swift
@@ -0,0 +1,4 @@
+// {"kind":"complete","signature":"swift::ide::CompletionLookup::getValueCompletionsInDeclContext(swift::SourceLoc, std::__1::function<bool (swift::ValueDecl*, swift::DeclVisibilityKind, swift::DynamicLookupInfo)>, bool, bool)"}
+// RUN: %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
+for () [
+#^COMPLETE^#, (repeat.a
diff --git a/validation-test/IDE/crashers_fixed/b59b74aac149f67f.swift b/validation-test/IDE/crashers_fixed/b59b74aac149f67f.swift
@@ -0,0 +1,5 @@
+// {"kind":"complete","signature":"swift::MetatypeType::get(swift::Type, std::__1::optional<swift::MetatypeRepresentation>, swift::ASTContext const&)"}
+// RUN: %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
+[ .
+#^COMPLETE^#,
+( repeat.a ), (3, .b
diff --git a/validation-test/compiler_crashers_2/1e4b431ffe374ef1.swift b/validation-test/compiler_crashers_2/1e4b431ffe374ef1.swift
@@ -0,0 +1,8 @@
+// {"kind":"typecheck","signature":"swift::TypeTransform<swift::Type::transformRec(llvm::function_ref<std::__1::optional<swift::Type> (swift::TypeBase*)>) const::Transform>::doIt(swift::Type, swift::TypePosition)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@dynamicMemberLookup struct a<b {
+  init(() -> b, subscript
+   <c>(dynamicMember d: WritableKeyPath<b, c>)
+  a<c>
+}
+let binding = a { ?? buffer ?? binding.e
diff --git a/validation-test/compiler_crashers_2/259af6e17cc94d25.swift b/validation-test/compiler_crashers_2/259af6e17cc94d25.swift
@@ -0,0 +1,4 @@
+// {"kind":"typecheck","signature":"void llvm::function_ref<void (swift::constraints::Constraint*, swift::ValueDecl*, swift::FunctionType*)>::callback_fn<(anonymous namespace)::findFavoredChoicesBasedOnArity(swift::constraints::ConstraintSystem&, swift::constraints::Constraint*, swift::ArgumentList*, llvm::function_ref<void (swift::constraints::Constraint*)>)::$_0>(long, swift::constraints::Constraint*, swift::ValueDecl*, swift::FunctionType*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+var a: Any
+let a : () -> Void = a (b)
diff --git a/validation-test/compiler_crashers_2/2d564dafb1f91.swift b/validation-test/compiler_crashers_2/2d564dafb1f91.swift
@@ -0,0 +1,6 @@
+// {"kind":"typecheck","signature":"swift::constraints::ConstraintSystem::getTypeOfMemberReference(swift::Type, swift::ValueDecl*, swift::DeclContext*, bool, swift::FunctionRefInfo, swift::constraints::ConstraintLocator*, llvm::SmallVectorImpl<std::__1::pair<swift::GenericTypeParamType*, swift::TypeVariableType*>>*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a {
+  macro b()
+  var c = b
+}
diff --git a/validation-test/compiler_crashers_2/3b24e8bed8732c5c.swift b/validation-test/compiler_crashers_2/3b24e8bed8732c5c.swift
@@ -0,0 +1,12 @@
+// {"kind":"emit-ir","signature":"std::__1::optional<swift::Type> llvm::function_ref<std::__1::optional<swift::Type> (swift::TypeBase*, swift::TypePosition)>::callback_fn<swift::rewriting::PropertyMap::getTypeFromSubstitutionSchema(swift::Type, llvm::ArrayRef<swift::rewriting::Term>, llvm::ArrayRef<swift::GenericTypeParamType*>, swift::rewriting::MutableTerm const&) const::$_0>(long, swift::TypeBase*, swift::TypePosition)"}
+// RUN: not --crash %target-swift-frontend -emit-ir %s
+class a<b> {
+}
+protocol c {
+  associatedtype f: a<d>
+  associatedtype d
+}
+extension c where Self == f, f == d {
+  func e() {
+  }
+}
diff --git a/validation-test/compiler_crashers_2/5b828cc4df77dc2e.swift b/validation-test/compiler_crashers_2/5b828cc4df77dc2e.swift
@@ -0,0 +1,8 @@
+// {"kind":"typecheck","signature":"swift::constraints::ConstraintSystem::diagnoseAmbiguity(llvm::ArrayRef<swift::constraints::Solution>)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a {
+  lazy b : Int -> Int = {
+    b(0.0
+    1
+  }
+  b : Int -> Int
diff --git a/validation-test/compiler_crashers_2/788743a67e0ba80.swift b/validation-test/compiler_crashers_2/788743a67e0ba80.swift
@@ -0,0 +1,8 @@
+// {"kind":"typecheck","signature":"swift::checkAccessControl(swift::Decl*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@dynamicMemberLookup struct a<b > {
+  subscript <c>(dynamicMember d: WritableKeyPath<b, c>) -> a
+  let binding = {
+    buffer ?? binding
+  } [<#expression#>]
+}
diff --git a/validation-test/compiler_crashers_2/98b9c480b4ec75d7.swift b/validation-test/compiler_crashers_2/98b9c480b4ec75d7.swift
@@ -0,0 +1,10 @@
+// {"kind":"typecheck","signature":"swift::constraints::Solution::getFixedType(swift::TypeVariableType*) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a {
+  static
+b {
+  return c ?? {
+    return c
+  }
+}
+c
diff --git a/validation-test/compiler_crashers_2/c037334d5426557d.swift b/validation-test/compiler_crashers_2/c037334d5426557d.swift
@@ -0,0 +1,4 @@
+// {"kind":"typecheck","signature":"swift::constraints::AllowArgumentMismatch::create(swift::constraints::ConstraintSystem&, swift::Type, swift::Type, swift::constraints::ConstraintLocator*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a<each b>(repeat each b, repeat each b)
+a(repeat (
diff --git a/validation-test/compiler_crashers_2/ce57354c94ae5aad.swift b/validation-test/compiler_crashers_2/ce57354c94ae5aad.swift
@@ -0,0 +1,10 @@
+// {"kind":"emit-silgen","signature":"swift::CanTypeVisitor<swift::Lowering::TypeConverter::computeLoweredRValueType(swift::TypeExpansionContext, swift::Lowering::AbstractionPattern, swift::CanType)::LoweredRValueTypeVisitor, swift::CanType>::visit(swift::CanType)"}
+// RUN: not --crash %target-swift-frontend -emit-silgen %s
+protocol a {
+  func b() -> _
+}
+do {
+  func c(d : a) {
+    let e = d.b
+  }
+}
diff --git a/validation-test/compiler_crashers_2/d78fbedbdfa9273.swift b/validation-test/compiler_crashers_2/d78fbedbdfa9273.swift
@@ -0,0 +1,5 @@
+// {"kind":"typecheck","signature":"swift::TypeChecker::performTypoCorrection(swift::DeclContext*, swift::DeclRefKind, swift::Type, swift::optionset::OptionSet<swift::NameLookupFlags, unsigned int>, swift::TypoCorrectionResults&, swift::GenericSignature, unsigned int)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+enum a<b {
+  @propertyWrapper class c {wrappedValue:b var projectedValue: a? {
+      @c var wrappedValue: b wrappedValue.d
diff --git a/validation-test/compiler_crashers_2/edb1d98948183f4c.swift b/validation-test/compiler_crashers_2/edb1d98948183f4c.swift
@@ -0,0 +1,10 @@
+// {"kind":"emit-silgen","signature":"emitRawApply(swift::Lowering::SILGenFunction&, swift::SILLocation, swift::Lowering::ManagedValue, swift::SubstitutionMap, llvm::ArrayRef<swift::Lowering::ManagedValue>, swift::CanTypeWrapper<swift::SILFunctionType>, swift::optionset::OptionSet<swift::ApplyFlags, unsigned char>, llvm::ArrayRef<swift::SILValue>, swift::SILValue, llvm::SmallVectorImpl<swift::SILValue>&, swift::Lowering::ExecutorBreadcrumb)"}
+// RUN: not --crash %target-swift-frontend -emit-silgen %s
+protocol a {
+  func b() -> [(_) -> Self]
+}
+do {
+  func c(d : a) {
+    let e = d.b
+  }
+}
diff --git a/validation-test/compiler_crashers_2/f4e3977ec1f2aee1.swift b/validation-test/compiler_crashers_2/f4e3977ec1f2aee1.swift
@@ -0,0 +1,3 @@
+// {"kind":"typecheck","signature":"swift::DifferentiableAttr::hasBeenTypeChecked() const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@differentiable () let a, b
diff --git a/validation-test/compiler_crashers_2_fixed/9cb8f8475c5d414b.swift b/validation-test/compiler_crashers_2_fixed/9cb8f8475c5d414b.swift
@@ -0,0 +1,5 @@
+// {"kind":"typecheck","signature":"(anonymous namespace)::ExprWalker::rewriteTarget(swift::constraints::SyntacticElementTarget)"}
+// RUN: not %target-swift-frontend -typecheck %s
+a < {
+  AnyObject ( <b)
+}
diff --git a/validation-test/compiler_crashers_2_fixed/af9b33175dd868bc.swift b/validation-test/compiler_crashers_2_fixed/af9b33175dd868bc.swift
@@ -0,0 +1,5 @@
+// {"kind":"typecheck","signature":"(anonymous namespace)::SyntacticElementConstraintGenerator::visitBraceStmt(swift::BraceStmt*)"}
+// RUN: not %target-swift-frontend -typecheck %s
+[ switch {
+  case (let a)
+    print(
diff --git a/validation-test/compiler_crashers_2_fixed/ff3414a48ee8f4cd.swift b/validation-test/compiler_crashers_2_fixed/ff3414a48ee8f4cd.swift
@@ -0,0 +1,3 @@
+// {"kind":"typecheck","signature":"swift::constraints::Solution::simplifyType(swift::Type, bool) const"}
+// RUN: not %target-swift-frontend -typecheck %s
+[ ( repeat .a ), .b, (3 c

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"kind":"complete","signature":"swift::ide::AfterPoundExprCompletion::sawSolutionImpl(swift::constraints::Solution const&)"}`
	`2`	`+// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s`
	`3`	`+{##^COMPLETE^#`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"kind":"complete","signature":"(anonymous namespace)::getEquivalentDeclContextFromSourceFile(swift::DeclContext, swift::SourceFile)"}`
	`2`	`+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s`
	`3`	`+do { func a { #^^# #^b^#`