[SR-14695] Assertion failed: (Conformance->getWitnessUncached(requirement).getDecl() == match.Witness && "Deduced different witnesses?") when type with circular reference has Codable conformance #57045
Description
| Previous ID | SR-14695 |
| Radar | rdar://78781017 |
| Original Reporter | @ahoppen |
| Type | Bug |
Additional Detail from JIRA
| Votes | 0 |
| Component/s | |
| Labels | Bug, FoundByStressTester |
| Assignee | None |
| Priority | Medium |
md5: 4bd8cb0ca645ffc556485d4de17e84df
Issue Description:
The following test case causes an assertion failure:
// RUN: %swift-frontend -typecheck %s
struct Movie: Codable {
let sampleMovie = Movie(id: Stack trace:
Assertion failed: (Conformance->getWitnessUncached(requirement).getDecl() == match.Witness && "Deduced different witnesses?"), function recordWitness, file /Users/alex/swift-src/swift/lib/Sema/TypeCheckProtocol.cpp, line 2698.
Please submit a bug report (https://swift.org/contributing/#reporting-bugs) and include the project and the crash backtrace.
Stack dump:
0. Program arguments: /Users/alex/swift-src/nbuild/Release+Asserts/bin/swift-frontend -module-cache-path /Users/alex/swift-src/nbuild/Release+Asserts/swift-test-results/x86_64-apple-macosx10.9/clang-module-cache -disable-objc-attr-requires-foundation-module -swift-version 4 -define-availability "SwiftStdlib 5.5:macOS 9999, iOS 9999, watchOS 9999, tvOS 9999-frontend" -typecheck /Users/alex/swift-src/swift/test/SourceKit/test.swift
1. Swift version 5.5-dev (LLVM c64e53b8742ea89, Swift 58be2bfbeab7211)
2. While evaluating request TypeCheckSourceFileRequest(source_file "/Users/alex/swift-src/swift/test/SourceKit/test.swift")
3. While type-checking 'Movie' (at /Users/alex/swift-src/swift/test/SourceKit/test.swift:3:1)
4. While evaluating request ResolveImplicitMemberRequest(test.(file).Movie@/Users/alex/swift-src/swift/test/SourceKit/test.swift:3:8, resolve CodingKeys)
5. While type-checking protocol conformance to 'Decodable' (in module 'Swift') for type 'Movie' (declared at [/Users/alex/swift-src/swift/test/SourceKit/test.swift:3:1 - line:5:27] RangeText="struct Movie: Codable {
let sampleMovie = Movie(id")
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
0 swift-frontend 0x00000001090e85f7 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 39
1 swift-frontend 0x00000001090e73f8 llvm::sys::RunSignalHandlers() + 248
2 swift-frontend 0x00000001090e8c26 SignalHandler(int) + 262
3 libsystem_platform.dylib 0x00007fff20365d7d _sigtramp + 29
4 libsystem_platform.dylib 000000000000000000 _sigtramp + 18446603339975729824
5 libsystem_c.dylib 0x00007fff20275411 abort + 120
6 libsystem_c.dylib 0x00007fff202747e8 err + 0
7 swift-frontend 0x000000010959a293 swift::ConformanceChecker::recordWitness(swift::ValueDecl*, swift::RequirementMatch const&) (.cold.2) + 35
8 swift-frontend 0x0000000105408999 swift::ConformanceChecker::recordWitness(swift::ValueDecl*, swift::RequirementMatch const&) + 169
9 swift-frontend 0x000000010540df0e swift::ConformanceChecker::resolveWitnessViaDerivation(swift::ValueDecl*) + 350
10 swift-frontend 0x000000010540f650 swift::ConformanceChecker::resolveValueWitnesses() + 432
11 swift-frontend 0x0000000105407fc7 swift::ConformanceChecker::checkConformance(swift::MissingWitnessDiagnosisKind) + 279
12 swift-frontend 0x0000000105405d6b swift::MultiConformanceChecker::checkIndividualConformance(swift::NormalProtocolConformance*, bool) + 7691
13 swift-frontend 0x0000000105403cb9 swift::MultiConformanceChecker::checkAllConformances() + 169
14 swift-frontend 0x0000000105410be4 swift::TypeChecker::checkConformance(swift::NormalProtocolConformance*) + 308
15 swift-frontend 0x00000001056d4b22 llvm::Expected<swift::ResolveImplicitMemberRequest::OutputType> swift::Evaluator::getResultUncached<swift::ResolveImplicitMemberRequest>(swift::ResolveImplicitMemberRequest const&) + 258
16 swift-frontend 0x00000001056737a1 swift::ResolveImplicitMemberRequest::OutputType swift::evaluateOrDefault<swift::ResolveImplicitMemberRequest>(swift::Evaluator&, swift::ResolveImplicitMemberRequest, swift::ResolveImplicitMemberRequest::OutputType) + 49
17 swift-frontend 0x00000001053bf452 swift::ASTVisitor<(anonymous namespace)::DeclChecker, void, void, void, void, void, void>::visit(swift::Decl*) + 3442
18 swift-frontend 0x00000001053bce04 (anonymous namespace)::DeclChecker::visit(swift::Decl*) + 228
19 swift-frontend 0x00000001053bcd02 swift::TypeChecker::typeCheckDecl(swift::Decl*) + 130
20 swift-frontend 0x000000010547e0e8 swift::TypeCheckSourceFileRequest::evaluate(swift::Evaluator&, swift::SourceFile*) const + 184
21 swift-frontend 0x000000010547f0bd llvm::Expected<swift::TypeCheckSourceFileRequest::OutputType> swift::Evaluator::getResultUncached<swift::TypeCheckSourceFileRequest>(swift::TypeCheckSourceFileRequest const&) + 429
22 swift-frontend 0x000000010547ee42 llvm::Expected<swift::TypeCheckSourceFileRequest::OutputType> swift::Evaluator::getResultCached<swift::TypeCheckSourceFileRequest, (void*)0>(swift::TypeCheckSourceFileRequest const&) + 114
23 swift-frontend 0x000000010547df2e swift::TypeCheckSourceFileRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckSourceFileRequest>(swift::Evaluator&, swift::TypeCheckSourceFileRequest, swift::TypeCheckSourceFileRequest::OutputType) + 46
24 swift-frontend 0x00000001046c09de swift::CompilerInstance::forEachFileToTypeCheck(llvm::function_ref<void (swift::SourceFile&)>) + 158
25 swift-frontend 0x00000001046c088a swift::CompilerInstance::performSema() + 74
26 swift-frontend 0x00000001045890de swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) + 6462
27 swift-frontend 0x00000001044db1d6 main + 566
28 libdyld.dylib 0x00007fff2033bf3d start + 1