[test] Add some more known type-checker crashers

hamishknight · hamishknight · commit aec446521a38 · 2025-06-23T10:05:22.000+01:00
diff --git a/validation-test/compiler_crashers_2/1491559f83458126.swift b/validation-test/compiler_crashers_2/1491559f83458126.swift
@@ -0,0 +1,7 @@
+// {"signature":"swift::constraints::ConstraintGraph::removeConstraint(swift::TypeVariableType*, swift::constraints::Constraint*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+[{
+    a
+    b
+  }
+c.d<b>
diff --git a/validation-test/compiler_crashers_2/21fbeea5d06bd55.swift b/validation-test/compiler_crashers_2/21fbeea5d06bd55.swift
@@ -0,0 +1,4 @@
+// {"signature":"std::__1::__function::__func<deriveBodyDecodable_enum_init(swift::AbstractFunctionDecl*, void*)::$_0, std::__1::allocator<deriveBodyDecodable_enum_init(swift::AbstractFunctionDecl*, void*)::$_0>, std::__1::tuple<swift::EnumElementDecl*, swift::BraceStmt*> (swift::EnumElementDecl*, swift::EnumElementDecl*, llvm::ArrayRef<swift::VarDecl*>)>::operator()(swift::EnumElementDecl*&&, swift::EnumElementDecl*&&, llvm::ArrayRef<swift::VarDecl*>&&)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+enum a : Codable { case x( x : Int b : Double enum XCodingKeys : CodingKey{
+x case x case b let c = a
diff --git a/validation-test/compiler_crashers_2/22119c306663e633.swift b/validation-test/compiler_crashers_2/22119c306663e633.swift
@@ -0,0 +1,8 @@
+// {"signature":"swift::NamingPatternRequest::evaluate(swift::Evaluator&, swift::VarDecl*) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{
+  let a = $0.c ;
+  switch a {
+    case let \ (b) where b:
+  }
+}
diff --git a/validation-test/compiler_crashers_2/2571144ba4dfcd.swift b/validation-test/compiler_crashers_2/2571144ba4dfcd.swift
@@ -0,0 +1,13 @@
+// {"signature":"swift::ASTPrinter::printName(swift::Identifier, swift::PrintNameContext, bool)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a: Collection where Element == b.Element! {
+  associatedtype b: Collection
+}
+protocol c {
+  associatedtype d: a where d.b: a, d.Element == Self
+}
+func e () {
+  func f<e : c>() {
+    e.g
+  }
+}
diff --git a/validation-test/compiler_crashers_2/275b15e1edc79b4f.swift b/validation-test/compiler_crashers_2/275b15e1edc79b4f.swift
@@ -0,0 +1,7 @@
+// {"signature":"swift::TypeTransform<(anonymous namespace)::TypeSubstituter>::doIt(swift::Type, swift::TypePosition)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a: Collection where Iterator == Self
+  struct b<c: a>: IteratorProtocol {next -> c.Element? struct c: a {
+      struct Element
+        subscript(Int) Element
+        func makeIterator -> b<Self>
diff --git a/validation-test/compiler_crashers_2/32bd25d0f0f96b1e.swift b/validation-test/compiler_crashers_2/32bd25d0f0f96b1e.swift
@@ -0,0 +1,5 @@
+// {"signature":"swift::constraints::ConstraintSystem::getTypeOfReference(swift::ValueDecl*, swift::FunctionRefInfo, swift::constraints::ConstraintLocatorBuilder, swift::DeclContext*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a<b>((__shared b) -> Void)
+func c(UnsafeMutablePointer<UInt8>) a {
+  c(&$0
diff --git a/validation-test/compiler_crashers_2/3b6836d8e254e362.swift b/validation-test/compiler_crashers_2/3b6836d8e254e362.swift
@@ -0,0 +1,9 @@
+// {"signature":"(anonymous namespace)::Traversal::doIt(swift::Expr*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{
+  for b 0 ..< 10 {
+    let a = Array(0 ..< b)
+    for c d a{
+      for e d c... {
+        Array(a[c ..< e].reversed())
+        f
diff --git a/validation-test/compiler_crashers_2/488f1cb353826d0.swift b/validation-test/compiler_crashers_2/488f1cb353826d0.swift
@@ -0,0 +1,5 @@
+// {"signature":"swift::TypeChecker::typeCheckCheckedCast(swift::Type, swift::Type, swift::CheckedCastContextKind, swift::DeclContext*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+init(a : () -> ()) {
+  [.init ?? a]
+}
diff --git a/validation-test/compiler_crashers_2/497c938db36de8f.swift b/validation-test/compiler_crashers_2/497c938db36de8f.swift
@@ -0,0 +1,10 @@
+// {"signature":"swift::IsObjCRequest::evaluate(swift::Evaluator&, swift::ValueDecl*) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+class a {
+  @objc var b : Int {
+    get throws {
+    }
+    set
+  }
+}
diff --git a/validation-test/compiler_crashers_2/63d065624970638a.swift b/validation-test/compiler_crashers_2/63d065624970638a.swift
@@ -0,0 +1,8 @@
+// {"signature":"swift::GenericSignatureImpl::lookupNestedType(swift::Type, swift::Identifier) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+a.b
+protocol c where a.d == Self
+  protocol a {
+    associatedtype e : c
+    typealias b
+    typealias d = Self.f
diff --git a/validation-test/compiler_crashers_2/7d21b6234014b45d.swift b/validation-test/compiler_crashers_2/7d21b6234014b45d.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::TypeResolution::applyUnboundGenericArguments(swift::GenericTypeDecl*, swift::Type, swift::SourceLoc, llvm::ArrayRef<swift::Type>) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+enum a < let b : a<Int>> {
+}
diff --git a/validation-test/compiler_crashers_2/863c70cdebd3a8f9.swift b/validation-test/compiler_crashers_2/863c70cdebd3a8f9.swift
@@ -0,0 +1,9 @@
+// {"signature":"swift::Decl::getSemanticAvailableAttr(swift::AvailableAttr const*) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{
+  @available(*, renamed : "process0") func a () {
+    async {
+      a
+    }
+  }
+}
diff --git a/validation-test/compiler_crashers_2/961e1ccf3c48ef8.swift b/validation-test/compiler_crashers_2/961e1ccf3c48ef8.swift
@@ -0,0 +1,5 @@
+// {"signature":"swift::constraints::ConstraintSystem::simplifyKeyPathConstraint(swift::Type, swift::Type, swift::Type, llvm::ArrayRef<swift::TypeVariableType*>, swift::optionset::OptionSet<swift::constraints::ConstraintSystem::TypeMatchFlags, unsigned int>, swift::constraints::ConstraintLocatorBuilder)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a<each b>() -> (repeat Array<each b>) {
+  (repeat \ [<#type#>])
+}
diff --git a/validation-test/compiler_crashers_2/9b5b207a0e08434.swift b/validation-test/compiler_crashers_2/9b5b207a0e08434.swift
@@ -0,0 +1,10 @@
+// {"signature":"swift::rewriting::RewriteSystem::buildRewritePathForJoiningTerms(swift::rewriting::MutableTerm, swift::rewriting::MutableTerm, swift::rewriting::RewritePath*) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a : b
+  protocol c {
+    associatedtype d
+    associatedtype e: f where e.g == Self
+  }
+  protocol f: a
+    protocol b {
+      associatedtype g: c where g.d == Self!
diff --git a/validation-test/compiler_crashers_2/aa9ebb248dabc27b.swift b/validation-test/compiler_crashers_2/aa9ebb248dabc27b.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::ConformanceChecker::recordOptionalWitness(swift::ValueDecl*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a : Codable {
+  b = a(
diff --git a/validation-test/compiler_crashers_2/ac7123f2338b128.swift b/validation-test/compiler_crashers_2/ac7123f2338b128.swift
@@ -0,0 +1,13 @@
+// {"signature":"swift::TypeChecker::typeCheckTarget(swift::constraints::SyntacticElementTarget&, swift::optionset::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::DiagnosticTransaction*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+enum a
+  protocol b {
+    associatedtype c
+    associatedtype d
+    init(
+      e
+      : c -> d
+    struct f
+    : b {
+g: d init(e
+        : a -> _
diff --git a/validation-test/compiler_crashers_2/d620416563a95ae9.swift b/validation-test/compiler_crashers_2/d620416563a95ae9.swift
@@ -0,0 +1,11 @@
+// {"signature":"swift::constraints::TrailingClosureAmbiguityFailure::diagnoseAsNote()"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{
+  struct a {
+    init ();
+    init ();
+    func callAsFunction< b >(c : b)
+  } ;
+  a {
+  }
+}
diff --git a/validation-test/compiler_crashers_2/dc3a3e26162b43be.swift b/validation-test/compiler_crashers_2/dc3a3e26162b43be.swift
@@ -0,0 +1,12 @@
+// {"signature":"(anonymous namespace)::SetExprTypes::walkToExprPost(swift::Expr*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+typealias a<b, c> = c
+struct d < each b {
+  typealias e< c > =
+  (repeat a< each b, c >)
+  typealias f< each c > = (repeat e< each c >
+  func 1 {
+    typealias g = h
+    (g<
+    i >
+    typealias g< each c > = f< repeat each c >
diff --git a/validation-test/compiler_crashers_2/dcd4ff25dbde99.swift b/validation-test/compiler_crashers_2/dcd4ff25dbde99.swift
@@ -0,0 +1,7 @@
+// {"signature":"swift::ExtensionDecl::getObjCCategoryName() const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+protocol a
+  @objc protocol b : c
+    @objc protocol d : b
+      @objc protocol c : d, a
diff --git a/validation-test/compiler_crashers_2/dd784376d0f127e9.swift b/validation-test/compiler_crashers_2/dd784376d0f127e9.swift
@@ -0,0 +1,10 @@
+// {"signature":"swift::GenericSignatureImpl::prohibitsIsolatedConformance(swift::Type) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a {
+  associatedtype b
+  typealias c = a
+}
+struct d : e
+  protocol e : a {
+    associatedtype c where b == c.b
+    associatedtype f = Self
diff --git a/validation-test/compiler_crashers_2/e5dc6197d5ae06b.swift b/validation-test/compiler_crashers_2/e5dc6197d5ae06b.swift
@@ -0,0 +1,12 @@
+// {"signature":"swift::QueryInterfaceTypeSubstitutions::operator()(swift::SubstitutableType*) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a {
+  typealias b = Int
+}
+protocol c {
+  associatedtype b
+}
+extension a where b == Int
+  extension a where Self : c {
+    protocol Int : c {
+d
diff --git a/validation-test/compiler_crashers_2/ebe41bf99641e618.swift b/validation-test/compiler_crashers_2/ebe41bf99641e618.swift
@@ -0,0 +1,6 @@
+// {"signature":"swift::constraints::ConstraintSystem::recordDisjunctionChoice(swift::constraints::ConstraintLocator*, unsigned int)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a {
+  init! ( b: Int, () -> Int = {
+    }
+() -> Int = a(b : 1) {
diff --git a/validation-test/compiler_crashers_2/eeeed99e112fc53.swift b/validation-test/compiler_crashers_2/eeeed99e112fc53.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::Parser::consumeIfAttributeLParen()"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@opened)
diff --git a/validation-test/compiler_crashers_2/ef29fed11b57662.swift b/validation-test/compiler_crashers_2/ef29fed11b57662.swift
@@ -0,0 +1,4 @@
+// {"signature":"fixMissingArguments(swift::constraints::ConstraintSystem&, swift::ASTNode, llvm::SmallVectorImpl<swift::AnyFunctionType::Param>&, llvm::ArrayRef<swift::AnyFunctionType::Param>, unsigned int, swift::constraints::ConstraintLocatorBuilder)"}
+// RUN: not --crash %target-swift-frontend -typecheck -swift-version 6 %s
+func a((Int, Int, Int)) a > {
+  b, c in

-Original file line number
+Diff line change
@@ @@ -0,0 +1,7 @@ @@
 +// {"signature":"swift::constraints::ConstraintGraph::removeConstraint(swift::TypeVariableType*, swift::constraints::Constraint*)"}
 +// RUN: not --crash %target-swift-frontend -typecheck %s
 +[{
 +    a
 +    b
 +  }
 +c.d<b>