averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

[test] Update some crasher signatures

Browse Source
This commit is contained in:
Hamish Knight
2025-11-17 13:09:17 +00:00
parent 82f4a10971
commit 4cc9ea5ed4
16 changed files with 25 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
validation-test/IDE/crashers/ConformanceChecker-resolveWitnessViaLookup-1f12cf.swift → validation-test/IDE/crashers/ConformanceChecker-recordWitness-1f12cf.swift
View File

@@ -1,4 +1,4 @@
// {"kind":"complete","original":"0116e8cd","signature":"swift::ConformanceChecker::resolveWitnessViaLookup(swift::ValueDecl*)","signatureAssert":"Assertion failed: (Conformance->getWitnessUncached(requirement).getDecl() == match.Witness && \"Deduced different witnesses?\"), function recordWitness"}
// {"kind":"complete","original":"0116e8cd","signature":"swift::ConformanceChecker::recordWitness(swift::ValueDecl*, swift::RequirementMatch const&)","signatureAssert":"Assertion failed: (Conformance->getWitnessUncached(requirement).getDecl() == match.Witness && \"Deduced different witnesses?\"), function recordWitness"}
// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
struct a: OptionSet {
static rawValue = a init(rawValue: Int ) {

2
validation-test/IDE/crashers/DeclContext-getDeclaredInterfaceType-dffa2c.swift → validation-test/IDE/crashers/DeclContext-getDeclaredTypeInContext-dffa2c.swift
View File

@@ -1,4 +1,4 @@
// {"kind":"complete","original":"7f4bcc9e","signature":"swift::DeclContext::getDeclaredInterfaceType() const","signatureAssert":"Assertion failed: (detail::isPresent(Val) && \"dyn_cast on a non-existent value\"), function dyn_cast"}
// {"kind":"complete","original":"7f4bcc9e","signature":"swift::DeclContext::getDeclaredTypeInContext() const"}
// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
extension Sequence where a == b[ {
func c() -> #^^#

3
validation-test/IDE/crashers/TypeChecker-typeCheckCondition-974abc.swift Normal file
View File

@@ -0,0 +1,3 @@
// {"kind":"complete","original":"e6459edc","signature":"swift::TypeChecker::typeCheckCondition(swift::Expr*&, swift::DeclContext*)","signatureAssert":"Assertion failed: (!expr->getType() && \"the bool condition is already type checked\"), function typeCheckCondition"}
// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
(if) {}#^^#

3
validation-test/IDE/crashers/TypeChecker-typeCheckStmtConditionElement-974abc.swift
View File

@@ -1,3 +0,0 @@
// {"kind":"complete","original":"e6459edc","signature":"swift::TypeChecker::typeCheckStmtConditionElement(swift::StmtConditionElement&, bool&, swift::DeclContext*)","signatureAssert":"Assertion failed: (!E->getType() && \"the bool condition is already type checked\"), function typeCheckBooleanStmtConditionElement"}
// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
(if) {}#^^#

2
validation-test/compiler_crashers/ASTScopeImpl-checkSourceRangeBeforeAddingChild-e4b31d.swift → validation-test/compiler_crashers/ASTScopeImpl-addChild-e4b31d.swift
View File

@@ -1,4 +1,4 @@
// {"kind":"typecheck","original":"cb3e622a","signature":"swift::ast_scope::ASTScopeImpl::checkSourceRangeBeforeAddingChild(swift::ast_scope::ASTScopeImpl*, swift::ASTContext const&) const"}
// {"kind":"typecheck","original":"cb3e622a","signature":"swift::ast_scope::ASTScopeImpl::addChild(swift::ast_scope::ASTScopeImpl*, swift::ASTContext&)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
{
let a,

4
validation-test/compiler_crashers/AbstractStorageDecl-mutability-98fb6d.swift
View File

@@ -1,4 +0,0 @@
// {"kind":"typecheck","signature":"swift::AbstractStorageDecl::mutability(swift::DeclContext const*, std::__1::optional<swift::DeclRefExpr const*>) const","signatureAssert":"Assertion failed: (detail::isPresent(Val) && \"dyn_cast on a non-existent value\"), function dyn_cast"}
// RUN: not --crash %target-swift-frontend -typecheck %s
@propertyWrapper struct a {
@a $b:

4
validation-test/compiler_crashers/AvailabilityContext-forDeclSignature-6cbf07.swift Normal file
View File

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

4
validation-test/compiler_crashers/Decl-getLoc-6cbf07.swift
View File

@@ -1,4 +0,0 @@
// {"kind":"typecheck","signature":"swift::Decl::getLoc(bool) const","signatureAssert":"Assertion failed: (Val && \"isa<> used on a null pointer\"), function doit"}
// RUN: not --crash %target-swift-frontend -typecheck %s
@_typeEraser(a) protocol b dynamic func c->some b {
d

3
validation-test/compiler_crashers/Expr-canAppendPostfixExpression-7e19cb.swift Normal file
View File

@@ -0,0 +1,3 @@
// {"kind":"typecheck","signature":"swift::Expr::canAppendPostfixExpression(bool) const","signatureAssert":"Assertion failed: (isa<To>(Val) && \"cast<Ty>() argument of incompatible type!\"), function cast"}
// RUN: not --crash %target-swift-frontend -typecheck %s
struct a<let b: Int?{ int: Int { b

3
validation-test/compiler_crashers/MissingOptionalUnwrapFailure-offerForceUnwrapFixIt-7e19cb.swift
View File

@@ -1,3 +0,0 @@
// {"kind":"typecheck","signature":"swift::constraints::MissingOptionalUnwrapFailure::offerForceUnwrapFixIt(swift::Expr const*) const","signatureAssert":"Assertion failed: (isa<To>(Val) && \"cast<Ty>() argument of incompatible type!\"), function cast"}
// RUN: not --crash %target-swift-frontend -typecheck %s
struct a<let b: Int?{ int: Int { b

4
validation-test/compiler_crashers/PropertyWrapperAuxiliaryVariablesRequest-evaluate-98fb6d.swift Normal file
View File

@@ -0,0 +1,4 @@
// {"kind":"typecheck","signature":"swift::PropertyWrapperAuxiliaryVariablesRequest::evaluate(swift::Evaluator&, swift::VarDecl*) const"}
// RUN: not --crash %target-swift-frontend -typecheck %s
@propertyWrapper struct a {
@a $b:

3
validation-test/compiler_crashers/SILGenBuilder-createEnum-845e70.swift Normal file
View File

@@ -0,0 +1,3 @@
// {"kind":"emit-silgen","original":"7b4a72a9","signature":"swift::Lowering::SILGenBuilder::createEnum(swift::SILLocation, swift::Lowering::ManagedValue, swift::EnumElementDecl*, swift::SILType)","signatureAssert":"Assertion failed: (v->getType().isObject()), function operator()"}
// RUN: not --crash %target-swift-frontend -emit-silgen %s
var a: Any = ["": [a]] as [String: [AnyObject?]]

4
validation-test/compiler_crashers/SameTypeRequirementFailure-SameTypeRequirementFailure-438c8a.swift
View File

@@ -1,4 +0,0 @@
// {"kind":"typecheck","signature":"swift::constraints::SameTypeRequirementFailure::SameTypeRequirementFailure(swift::constraints::Solution const&, swift::Type, swift::Type, swift::constraints::ConstraintLocator*)","signatureAssert":"Assertion failed: (getGenericContext() && \"Affected decl not within a generic context?\"), function RequirementFailure"}
// RUN: not --crash %target-swift-frontend -typecheck %s
protocol a struct b extension Dictionary : a where Value == let func !c {
let d : [Int:b] let : a = d

4
validation-test/compiler_crashers/SkipSameTypeRequirement-diagnose-438c8a.swift Normal file
View File

@@ -0,0 +1,4 @@
// {"kind":"typecheck","signature":"swift::constraints::SkipSameTypeRequirement::diagnose(swift::constraints::Solution const&, bool) const","signatureAssert":"Assertion failed: (getGenericContext() && \"Affected decl not within a generic context?\"), function RequirementFailure"}
// RUN: not --crash %target-swift-frontend -typecheck %s
protocol a struct b extension Dictionary : a where Value == let func !c {
let d : [Int:b] let : a = d

2
validation-test/compiler_crashers/TypeJoin-join-79ac90.swift → validation-test/compiler_crashers/TypeJoin-visitProtocolCompositionType-79ac90.swift
View File

@@ -1,4 +1,4 @@
// {"kind":"typecheck","signature":"(anonymous namespace)::TypeJoin::join(swift::CanType, swift::CanType)","signatureAssert":"Assertion failed: (isa<To>(Val) && \"cast<Ty>() argument of incompatible type!\"), function cast"}
// {"kind":"typecheck","signature":"(anonymous namespace)::TypeJoin::visitProtocolCompositionType(swift::CanType)","signatureAssert":"Assertion failed: (isa<To>(Val) && \"cast<Ty>() argument of incompatible type!\"), function cast"}
// RUN: not --crash %target-swift-frontend -typecheck %s
class a protocol b < c { associatedtype c }
[ b<a>, a & b

3
validation-test/compiler_crashers/getSILValueOwnership-845e70.swift
View File

@@ -1,3 +0,0 @@
// {"kind":"emit-silgen","original":"7b4a72a9","signature":"swift::getSILValueOwnership(llvm::ArrayRef<swift::SILValue>, swift::SILType)","signatureAssert":"Assertion failed: (v->getType().isObject()), function operator()"}
// RUN: not --crash %target-swift-frontend -emit-silgen %s
var a: Any = ["": [a]] as [String: [AnyObject?]]