Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
// {"kind":"complete","signature":"swift::GenericSignatureImpl::isValidTypeParameter(swift::Type) const"}
// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
protocol a {
associatedtype c: a
var b: c
Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"kind":"complete","signature":"swift::GenericSignatureImpl::requiresClass(swift::Type) const"}
// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
protocol a { associatedtype c: a var b: c }
protocol d: a where c == Never extension Never: d extension d { b: Never { #^COMPLETE^#
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"kind":"complete","signature":"(anonymous namespace)::getEquivalentDeclContextFromSourceFile(swift::DeclContext*, swift::SourceFile*)","useSourceOrderCompletion":true}
// {"issueID":84785,"kind":"complete","signature":"(anonymous namespace)::getEquivalentDeclContextFromSourceFile(swift::DeclContext*, swift::SourceFile*)","useSourceOrderCompletion":true}
// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-order-completion -source-filename %s
// https://github.com/swiftlang/swift/issues/84785
func 0 {
Expand Down
7 changes: 0 additions & 7 deletions validation-test/compiler_crashers_2/267b1378f37f8563.swift

This file was deleted.

7 changes: 0 additions & 7 deletions validation-test/compiler_crashers_2/2c8d3a95fcb84248.swift

This file was deleted.

7 changes: 0 additions & 7 deletions validation-test/compiler_crashers_2/35c1917cd0f5ba23.swift

This file was deleted.

4 changes: 0 additions & 4 deletions validation-test/compiler_crashers_2/442f5cd1363787db.swift

This file was deleted.

6 changes: 0 additions & 6 deletions validation-test/compiler_crashers_2/5cbe6a68da313ea9.swift

This file was deleted.

7 changes: 0 additions & 7 deletions validation-test/compiler_crashers_2/6235b4422a78fa73.swift

This file was deleted.

4 changes: 0 additions & 4 deletions validation-test/compiler_crashers_2/698f276cef6d3418.swift

This file was deleted.

4 changes: 0 additions & 4 deletions validation-test/compiler_crashers_2/7315b4568a81e97d.swift

This file was deleted.

5 changes: 0 additions & 5 deletions validation-test/compiler_crashers_2/93b241538559442a.swift

This file was deleted.

Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
// {"kind":"typecheck","signature":"swift::AvailabilityScope::verify(swift::AvailabilityScope const*, swift::ASTContext&) const"}
// RUN: not --crash %target-swift-frontend -typecheck %s
if
#available({}
else {
var a
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"swift::ClassDecl::isSuperclassOf(swift::ClassDecl const*) const"}
// {"kind":"typecheck","signature":"swift::ClassDecl::isSuperclassOf(swift::ClassDecl const*) const"}
// RUN: not --crash %target-swift-frontend -typecheck %s
class a {
typealias b = <#type#>
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
// {"aliases":["swift::constraints::AllowArgumentMismatch::create(swift::constraints::ConstraintSystem&, swift::Type, swift::Type, swift::constraints::ConstraintLocator*)"],"kind":"typecheck","signature":"swift::constraints::ConstraintSystem::applySolutionFixes(swift::constraints::Solution const&)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
protocol b {
c<each d >(repeat each d, e: (
}
func bar(a: b) {
a.c(e : ""
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
// {"aliases":["swift::constraints::AllowArgumentMismatch::create(swift::constraints::ConstraintSystem&, swift::Type, swift::Type, swift::constraints::ConstraintLocator*)"],"kind":"typecheck","signature":"swift::constraints::ConstraintSystem::applySolutionFixes(swift::constraints::Solution const&)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
func a<each b>(repeat each b, repeat each b)
a(repeat (
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
// {"kind":"typecheck","signature":"swift::Decl::getResolvedCustomAttrType(swift::CustomAttr*) const"}
// RUN: not --crash %target-swift-frontend -typecheck %s
struct a {
@b c, () {
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
// {"kind":"typecheck","signature":"swift::DefaultAndMaxAccessLevelRequest::cacheResult(std::__1::pair<swift::AccessLevel, swift::AccessLevel>) const"}
// RUN: not --crash %target-swift-frontend -typecheck %s
struct a < b extension a where b : c, d == a {
protocol c struct a
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"swift::DerivedConformance::deriveDistributedActor(swift::ValueDecl*)"}
// {"kind":"typecheck","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
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"(anonymous namespace)::ExprRewriter::coerceToType(swift::Expr*, swift::Type, swift::constraints::ConstraintLocatorBuilder)"}
// {"kind":"typecheck","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
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
// {"kind":"typecheck","signature":"swift::GenericSignature::verify(llvm::ArrayRef<swift::Requirement>) const"}
// RUN: not --crash %target-swift-frontend -typecheck %s
protocol a {
typealias b where Self : a protocol a
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"swift::GenericSignatureImpl::lookupNestedType(swift::Type, swift::Identifier) const"}
// {"kind":"typecheck","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
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
// {"kind":"typecheck","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= {
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
// {"diagnosticStyle":"llvm","kind":"typecheck","signature":"swift::PrintingDiagnosticConsumer::printDiagnostic(swift::SourceManager&, swift::DiagnosticInfo const&)"}
// RUN: not --crash %target-swift-frontend -typecheck -diagnostic-style=llvm %s
' '
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"swift::rewriting::PropertyBag::getAssociatedType(swift::Identifier)"}
// {"kind":"typecheck","signature":"swift::rewriting::PropertyBag::getAssociatedType(swift::Identifier)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
protocol b : a{typealias a} protocol a : b {
typealias a
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
// {"issueID":84490,"kind":"typecheck","signature":"swift::rewriting::RewriteContext::getRelativeTermForType(swift::CanType, llvm::ArrayRef<swift::rewriting::Term>)","signatureAssert":"Assertion failed: (result.back().getKind() != Symbol::Kind::Shape), function getRelativeTermForType"}
// RUN: not --crash %target-swift-frontend -typecheck %s
// https://github.com/swiftlang/swift/issues/84490
struct a < b > {
func
c < each d where (repeat each d , b) == b>()
}
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"swift::rewriting::RewriteSystem::decomposeTermIntoConformanceRuleLeftHandSides(swift::rewriting::MutableTerm, llvm::SmallVectorImpl<unsigned int>&) const"}
// {"kind":"typecheck","signature":"swift::rewriting::RewriteSystem::decomposeTermIntoConformanceRuleLeftHandSides(swift::rewriting::MutableTerm, llvm::SmallVectorImpl<unsigned int>&) const"}
// RUN: not --crash %target-swift-frontend -typecheck %s
protocol a{associatedtype b : c} protocol c { associatedtype d }
struct e : a struct f < g : a, h : c where g.b.d == Int extension f where g == e
Loading