swiftlang · slavapestov · Jun 2, 2025 · Jun 2, 2025
diff --git a/validation-test/compiler_crashers_2/181de8a256df48e.swift b/validation-test/compiler_crashers_2/181de8a256df48e.swift
@@ -1,4 +1,5 @@
 // {"signature":"swift::rewriting::RequirementMachine::verify(swift::rewriting::MutableTerm const&) const"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 protocol a {
   typealias Index extension Collection where Self : a{b : Index} protocol a
diff --git a/validation-test/compiler_crashers_2/1be7dd4882cd8c39.swift b/validation-test/compiler_crashers_2/1be7dd4882cd8c39.swift
@@ -1,5 +1,6 @@
 // {"signature":"swift::RootProtocolConformance::getWitness(swift::ValueDecl*) const"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 protocol a{typealias b : IteratorProtocol} extension a{typealias Element =
                                                            b.Element} protocol c
     : a{typealias b typealias Element} protocol d

diff --git a/validation-test/compiler_crashers_2/34a73a7299992de3.swift b/validation-test/compiler_crashers_2/34a73a7299992de3.swift
@@ -1,3 +1,4 @@
 // {"signature":"(anonymous namespace)::OpaqueUnderlyingTypeChecker::check()"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 Array {
diff --git a/validation-test/compiler_crashers_2/3ba9659c56ebf6a.swift b/validation-test/compiler_crashers_2/3ba9659c56ebf6a.swift
@@ -1,4 +1,5 @@
 // {"signature":"swift::ast_scope::SpecializeAttributeScope::getSourceRangeOfThisASTNode(bool) const"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 {
   @in
diff --git a/validation-test/compiler_crashers_2/4414db6acd8120aa.swift b/validation-test/compiler_crashers_2/4414db6acd8120aa.swift
@@ -1,3 +1,4 @@
 // {"signature":"swift::ast_scope::ASTScopeImpl::printRange(llvm::raw_ostream&) const"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 func a < >>
diff --git a/validation-test/compiler_crashers_2/442f5cd1363787db.swift b/validation-test/compiler_crashers_2/442f5cd1363787db.swift
@@ -1,4 +1,5 @@
 // {"signature":"swift::Decl::getResolvedCustomAttrType(swift::CustomAttr*) const"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 struct a {
   @b c, () {
diff --git a/validation-test/compiler_crashers_2/457eda8bf9011b6.swift b/validation-test/compiler_crashers_2/457eda8bf9011b6.swift
@@ -1,4 +1,5 @@
 // {"signature":"swift::constraints::ConstraintSystem::setCapturedExpansions(swift::AnyFunctionRef, llvm::SmallVector<swift::PackExpansionExpr*, 1u>)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 {
   repeat a {
diff --git a/validation-test/compiler_crashers_2/462166deb3165a25.swift b/validation-test/compiler_crashers_2/462166deb3165a25.swift
@@ -1,3 +1,4 @@
 // {"signature":"swift::constraints::ConstraintSystem::repairFailures(swift::Type, swift::Type, swift::constraints::ConstraintKind, swift::optionset::OptionSet<swift::constraints::ConstraintSystem::TypeMatchFlags, unsigned int>, llvm::SmallVectorImpl<swift::constraints::RestrictionOrFix>&, swift::constraints::ConstraintLocatorBuilder)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 func a< b  , c : Sequence, d >(     b, c) where b== c.Element          a(  (    0 ,     [ (0 0), (
diff --git a/validation-test/compiler_crashers_2/462ee2aa7dc23cf3.swift b/validation-test/compiler_crashers_2/462ee2aa7dc23cf3.swift
@@ -1,5 +1,6 @@
 // {"signature":"recordTypeWitness(swift::NormalProtocolConformance*, swift::AssociatedTypeDecl*, swift::Type, swift::TypeDecl*)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 protocol a{associatedtype b} protocol c
     : a{d(b)} protocol e{associatedtype f} extension e {
   protocol g : e, c { associatedtype f : c associatedtype b }

diff --git a/validation-test/compiler_crashers_2/4fbdbc38c141e94.swift b/validation-test/compiler_crashers_2/4fbdbc38c141e94.swift
@@ -1,3 +1,4 @@
 // {"signature":"swift::TypeChecker::typeCheckParameterDefault(swift::Expr*&, swift::DeclContext*, swift::Type, bool, bool)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 init<a>(b: a == {
diff --git a/validation-test/compiler_crashers_2/5ca07be48f3dc630.swift b/validation-test/compiler_crashers_2/5ca07be48f3dc630.swift
@@ -1,3 +1,4 @@
 // {"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
+// REQUIRES: asserts
 switch {                           case .a(&b
diff --git a/validation-test/compiler_crashers_2/64bfdff1cfbfc74.swift b/validation-test/compiler_crashers_2/64bfdff1cfbfc74.swift
@@ -1,5 +1,6 @@
 // {"signature":"swift::constraints::ConstraintSystem::simplifySameShapeConstraint(swift::Type, swift::Type, swift::optionset::OptionSet<swift::constraints::ConstraintSystem::TypeMatchFlags, unsigned int>, swift::constraints::ConstraintLocatorBuilder)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 struct a < each b {
   c(d : repeat each b) {
     c(preacidte : b) {
diff --git a/validation-test/compiler_crashers_2/651fea1b598eb09d.swift b/validation-test/compiler_crashers_2/651fea1b598eb09d.swift
@@ -1,4 +1,5 @@
 // {"signature":"swift::constraints::ConjunctionStep::SolverSnapshot::~SolverSnapshot()"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 // REQUIRES: OS=macosx
+// REQUIRES: asserts
 import Foundation{let a = malloc(b.c <d>
diff --git a/validation-test/compiler_crashers_2/666bd08556187ed3.swift b/validation-test/compiler_crashers_2/666bd08556187ed3.swift
@@ -1,3 +1,4 @@
 // {"signature":"(anonymous namespace)::DeclChecker::visitExtensionDecl(swift::ExtensionDecl*)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 extension repeat (
diff --git a/validation-test/compiler_crashers_2/698f276cef6d3418.swift b/validation-test/compiler_crashers_2/698f276cef6d3418.swift
@@ -1,4 +1,5 @@
 // {"signature":"swift::DefaultAndMaxAccessLevelRequest::cacheResult(std::__1::pair<swift::AccessLevel, swift::AccessLevel>) const"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 struct a < b extension a where b : c, d == a {
   protocol c struct a
diff --git a/validation-test/compiler_crashers_2/708df9aa47bf25c1.swift b/validation-test/compiler_crashers_2/708df9aa47bf25c1.swift
@@ -1,3 +1,4 @@
 // {"signature":"swift::TuplePattern::createSimple(swift::ASTContext&, swift::SourceLoc, llvm::ArrayRef<swift::TuplePatternElt>, swift::SourceLoc)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 switch {                          case (repeat a
diff --git a/validation-test/compiler_crashers_2/756ba8587e7eb26b.swift b/validation-test/compiler_crashers_2/756ba8587e7eb26b.swift
@@ -1,5 +1,6 @@
 // {"signature":"(anonymous namespace)::Verifier::verifyChecked(swift::Type)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 class a < b {
   d {
     class e<c, b> : a struct f subscript<g>(h : e<f, g>) {

diff --git a/validation-test/compiler_crashers_2/78a5afee5d5b95.swift b/validation-test/compiler_crashers_2/78a5afee5d5b95.swift
@@ -1,3 +1,4 @@
 // {"signature":"swift::Parser::parseStmtConditionElement(llvm::SmallVectorImpl<swift::StmtConditionElement>&, swift::Diag<>, swift::StmtKind, llvm::StringRef&)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
      func a: b[        if let
diff --git a/validation-test/compiler_crashers_2/807f13dbbc4a604f.swift b/validation-test/compiler_crashers_2/807f13dbbc4a604f.swift
@@ -1,4 +1,5 @@
 // {"signature":"swift::AccessLevelRequest::cacheResult(swift::AccessLevel) const"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 class a < b extension a where c == d {
   protocol d
diff --git a/validation-test/compiler_crashers_2/a7ee60c01ddf9624.swift b/validation-test/compiler_crashers_2/a7ee60c01ddf9624.swift
@@ -1,5 +1,6 @@
 // {"signature":"(anonymous namespace)::LookupResultBuilder::add(swift::ValueDecl*, swift::DeclContext*, swift::ValueDecl*, swift::Type, bool)::'lambda'(swift::ValueDecl*)::operator()(swift::ValueDecl*) const"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 protocol a{b} protocol c : a protocol d : c extension d {
   struct e : d {
     f {

diff --git a/validation-test/compiler_crashers_2/c24f9fc998e2886.swift b/validation-test/compiler_crashers_2/c24f9fc998e2886.swift
@@ -1,3 +1,4 @@
 // {"signature":"swift::PrintingDiagnosticConsumer::printDiagnostic(swift::SourceManager&, swift::DiagnosticInfo const&)"}
 // RUN: not --crash %target-swift-frontend -typecheck -diagnostic-style=llvm %s
+// REQUIRES: asserts
 ''
diff --git a/validation-test/compiler_crashers_2/c9ec50236e69e012.swift b/validation-test/compiler_crashers_2/c9ec50236e69e012.swift
@@ -1,5 +1,6 @@
 // {"signature":"(anonymous namespace)::Verifier::verifyParsed(swift::AbstractClosureExpr*)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 func == {
   switch {
   case.a {
diff --git a/validation-test/compiler_crashers_2/ca6d8aa86398959.swift b/validation-test/compiler_crashers_2/ca6d8aa86398959.swift
@@ -1,3 +1,4 @@
 // {"signature":"swift::SubstitutionMap::get(swift::GenericSignature, swift::InFlightSubstitution&)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 struct a < each b {                     class c protocol d        init(e: c & d
diff --git a/validation-test/compiler_crashers_2/d9fe6f57e64fee5.swift b/validation-test/compiler_crashers_2/d9fe6f57e64fee5.swift
@@ -1,5 +1,6 @@
 // {"signature":"swift::constraints::simplifyLocator(swift::ASTNode&, llvm::ArrayRef<swift::constraints::ConstraintLocator::PathElement>&, swift::SourceRange&)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 struct a {                        eq = ""    b "Self ecuador1 Self) > Bool {
     let getProperties = (
       \.eq as Self -> _

diff --git a/validation-test/compiler_crashers_2/dfe03ade76b34fdb.swift b/validation-test/compiler_crashers_2/dfe03ade76b34fdb.swift
@@ -1,4 +1,5 @@
 // {"signature":"swift::ASTContext::getSpecializedConformance(swift::Type, swift::NormalProtocolConformance*, swift::SubstitutionMap)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 protocol a{ < } protocol b { associatedtype c : a where d == Self }
 class e<f> : a where f : b, f.c == e
diff --git a/validation-test/compiler_crashers_2/edd39c475521d4d.swift b/validation-test/compiler_crashers_2/edd39c475521d4d.swift
@@ -1,3 +1,4 @@
 // {"signature":"swift::ForeignRepresentationInfo::isRepresentableAsOptional() const"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 a!!= 1
diff --git a/validation-test/compiler_crashers_2/f864514671159f38.swift b/validation-test/compiler_crashers_2/f864514671159f38.swift
@@ -1,5 +1,6 @@
 // {"signature":"swift::constraints::MissingContextualConformanceFailure::diagnoseAsError()"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 protocol a }
                        {
                       b -> a? in return .c<d e
diff --git a/validation-test/compiler_crashers_2/f9e59e692b1a6124.swift b/validation-test/compiler_crashers_2/f9e59e692b1a6124.swift
@@ -1,3 +1,4 @@
 // {"signature":"swift::constraints::Solution::getFunctionArgApplyInfo(swift::constraints::ConstraintLocator*) const"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: asserts
 func a<b, each c>(d : repeat(b)->each c) {                               repeat d(e = f