[SR-13190] Swift Source Compatibility Suite (master): SRP 5.1 - Assertion failed: (isCanonicalAnchor(secondType))

[nate-chandler]

Previous ID	SR-13190
Radar	rdar://problem/65283485
Original Reporter	@nate-chandler
Type	Bug
Status	Resolved
Resolution	Done

Additional Detail from JIRA

Votes	0
Component/s
Labels	Bug
Assignee	None
Priority	Medium

md5: 1ed735cfde98a8b7c385de5e86766c51

Issue Description:

Jenkins URL: https://ci.swift.org/view/Source%20Compatibility/job/swift-master-source-compat-suite/5230/artifact/swift-source-compat-suite/FAIL_SRP_5.1_BuildSwiftPackage.logJenkins URL: https://ci.swift.org/view/Source%20Compatibility/job/swift-master-source-compat-suite/5230/artifact/swift-source-compat-suite/FAIL_SRP_5.1_BuildSwiftPackage.log

Assertion failed: (isCanonicalAnchor(secondType)), function getCanonical, file /Volumes/swift-ci/jenkins/workspace-private/swift-master-source-compat-suite/swift/lib/AST/GenericSignature.cpp, line 251.Stack dump:0. Program arguments: /Volumes/swift-ci/jenkins/workspace-private/swift-master-source-compat-suite/build/compat_macos/install/toolchain/usr/bin/swift-frontend -frontend -c /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/Addition.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/BigInt.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/BigUInt.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/BitwiseOps.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/Codable.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/Comparable.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/DataConversion.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/Division.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/Exponentiation.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/FloatingPointConversion.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/GCD.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/Hashable.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/IntegerConversion.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/Multiplication.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/PrimeTest.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/Random.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/Shifts.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/SquareRoot.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/Strideable.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/StringConversion.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/Subtraction.swift /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/WordsAndBits.swift -supplementary-output-file-map /var/folders/_8/79jmzf2142z2xydc_01btlx00000gn/T/supplementaryOutputs-e8f9a8 -target x86_64-apple-macosx10.10 -enable-objc-interop -sdk /Applications/Xcode-beta.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.16.sdk -I /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release -I /Applications/Xcode-beta.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/lib -F /Applications/Xcode-beta.app/Contents/Developer/Platforms/MacOSX.platform/Developer/Library/Frameworks -g -module-cache-path /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/ModuleCache -swift-version 4 -O -D SWIFT_PACKAGE -target-sdk-version 10.16 -parse-as-library -module-name BigInt -num-threads 4 -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/Addition.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/BigInt.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/BigUInt.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/BitwiseOps.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/Codable.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/Comparable.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/DataConversion.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/Division.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/Exponentiation.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/FloatingPointConversion.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/GCD.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/Hashable.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/IntegerConversion.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/Multiplication.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/PrimeTest.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/Random.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/Shifts.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/SquareRoot.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/Strideable.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/StringConversion.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/Subtraction.swift.o -o /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/x86_64-apple-macosx/release/BigInt.build/WordsAndBits.swift.o 1. Apple Swift version 5.3-dev (LLVM 7bfb26d, Swift 6061fe6)2. While evaluating request TypeCheckSourceFileRequest(source_file "/Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/Division.swift")3. While type-checking extension of FixedWidthInteger (at /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/Division.swift:11:1)4. While type-checking declaration 0x7fe1a8fc2db8 (at /Volumes/swift-ci/jenkins/workspace/swift-master-source-compat-suite/swift-source-compat-suite/project_cache/SRP/.build/checkouts/BigInt.swift/BigInt/Classes/Division.swift:12:13)5. While evaluating request PatternBindingEntryRequest((unknown decl), 0)6. While evaluating request PatternTypeRequest((pattern @ 0x7fe1a8fc29a0))7. While canonicalizing generic signature <τ_0_0 where τ_0_0 : FixedWidthInteger, τ_0_0 == τ_0_0.Magnitude, τ_0_0.Magnitude == τ_0_0.Magnitude.Magnitude.Magnitude> in requirement #​20 swift-frontend 0x0000000113237945 llvm::sys::PrintStackTrace(llvm::raw_ostream&) + 371 swift-frontend 0x0000000113236918 llvm::sys::RunSignalHandlers() + 2482 swift-frontend 0x0000000113237f26 SignalHandler(int) + 2623 libsystem_platform.dylib 0x00007fff6fe795fd _sigtramp + 294 libsystem_platform.dylib 000000000000000000 _sigtramp + 184466033386387154245 libsystem_c.dylib 0x00007fff6fd4f808 abort + 1206 libsystem_c.dylib 0x00007fff6fd4eac6 err + 07 swift-frontend 0x0000000113727813 swift::CanGenericSignature::getCanonical(swift::ArrayRefView<swift::Type, swift::GenericTypeParamType*, swift::GenericTypeParamType* swift::staticCastHelperswift::GenericTypeParamType(swift::Type const&), true>, llvm::ArrayRefswift::Requirement, bool) (.cold.35) + 358 swift-frontend 0x000000010fe3e863 swift::CanGenericSignature::getCanonical(swift::ArrayRefView<swift::Type, swift::GenericTypeParamType*, swift::GenericTypeParamType* swift::staticCastHelperswift::GenericTypeParamType(swift::Type const&), true>, llvm::ArrayRefswift::Requirement, bool) + 37639 swift-frontend 0x000000010fe3d830 swift::GenericSignatureImpl::getCanonicalSignature() const + 4810 swift-frontend 0x000000010fe3d74f swift::GenericSignatureImpl::getGenericSignatureBuilder() const + 3111 swift-frontend 0x000000010fe3ec37 swift::GenericSignatureImpl::getGenericEnvironment() const + 2312 swift-frontend 0x000000010fb20fa5 swift::TypeResolution::forContextual(swift::DeclContext*, swift::TypeResolutionOptions, llvm::function_ref<swift::Type (swift::UnboundGenericType*)>) + 3713 swift-frontend 0x000000010fab50d0 swift::PatternTypeRequest::evaluate(swift::Evaluator&, swift::ContextualPattern) const + 120014 swift-frontend 0x000000010fafb5db swift::SimpleRequest<swift::PatternTypeRequest, swift::Type (swift::ContextualPattern), (swift::RequestFlags)2>::evaluateRequest(swift::PatternTypeRequest const&, swift::Evaluator&) + 2715 swift-frontend 0x000000010fabb71e llvm::Expectedswift::PatternTypeRequest::OutputType swift::Evaluator::getResultUncachedswift::PatternTypeRequest(swift::PatternTypeRequest const&) + 36616 swift-frontend 0x000000010fabb327 llvm::Expectedswift::PatternTypeRequest::OutputType swift::Evaluator::getResultCached<swift::PatternTypeRequest, (void*)0>(swift::PatternTypeRequest const&) + 19917 swift-frontend 0x000000010fab4b2e swift::PatternTypeRequest::OutputType swift::evaluateOrDefaultswift::PatternTypeRequest(swift::Evaluator&, swift::PatternTypeRequest, swift::PatternTypeRequest::OutputType) + 3018 swift-frontend 0x000000010fab4b06 swift::TypeChecker::typeCheckPattern(swift::ContextualPattern) + 8619 swift-frontend 0x000000010fb08885 swift::PatternBindingEntryRequest::evaluate(swift::Evaluator&, swift::PatternBindingDecl*, unsigned int) const + 51720 swift-frontend 0x000000010fb35405 llvm::Expectedswift::PatternBindingEntryRequest::OutputType swift::Evaluator::getResultUncachedswift::PatternBindingEntryRequest(swift::PatternBindingEntryRequest const&) + 35721 swift-frontend 0x000000010fb35163 llvm::Expectedswift::PatternBindingEntryRequest::OutputType swift::Evaluator::getResultCached<swift::PatternBindingEntryRequest, (void*)0>(swift::PatternBindingEntryRequest const&) + 5122 swift-frontend 0x000000010fb327e8 swift::PatternBindingEntryRequest::OutputType swift::evaluateOrDefaultswift::PatternBindingEntryRequest(swift::Evaluator&, swift::PatternBindingEntryRequest, swift::PatternBindingEntryRequest::OutputType) + 4023 swift-frontend 0x000000010fa8fefb swift::ASTVisitor<(anonymous namespace)::DeclChecker, void, void, void, void, void, void>::visit(swift::Decl*) + 242724 swift-frontend 0x000000010fa8edcf (anonymous namespace)::DeclChecker::visit(swift::Decl*) + 15925 swift-frontend 0x000000010fa91c0b swift::ASTVisitor<(anonymous namespace)::DeclChecker, void, void, void, void, void, void>::visit(swift::Decl*) + 986726 swift-frontend 0x000000010fa8edcf (anonymous namespace)::DeclChecker::visit(swift::Decl*) + 15927 swift-frontend 0x000000010fa8ed12 swift::TypeChecker::typeCheckDecl(swift::Decl*) + 13028 swift-frontend 0x000000010fb32118 swift::TypeCheckSourceFileRequest::evaluate(swift::Evaluator&, swift::SourceFile*) const + 20029 swift-frontend 0x000000010fb32ee5 llvm::Expectedswift::TypeCheckSourceFileRequest::OutputType swift::Evaluator::getResultUncachedswift::TypeCheckSourceFileRequest(swift::TypeCheckSourceFileRequest const&) + 45330 swift-frontend 0x000000010fb32c04 llvm::Expectedswift::TypeCheckSourceFileRequest::OutputType swift::Evaluator::getResultCached<swift::TypeCheckSourceFileRequest, (void*)0>(swift::TypeCheckSourceFileRequest const&) + 5231 swift-frontend 0x000000010fb32b76 llvm::Expectedswift::TypeCheckSourceFileRequest::OutputType swift::Evaluator::operator()<swift::TypeCheckSourceFileRequest, (void*)0>(swift::TypeCheckSourceFileRequest const&) + 11832 swift-frontend 0x000000010fb31f70 swift::TypeCheckSourceFileRequest::OutputType swift::evaluateOrDefaultswift::TypeCheckSourceFileRequest(swift::Evaluator&, swift::TypeCheckSourceFileRequest, swift::TypeCheckSourceFileRequest::OutputType) + 3233 swift-frontend 0x000000010ee9897e swift::CompilerInstance::forEachFileToTypeCheck(llvm::function_ref<void (swift::SourceFile&)>) + 15834 swift-frontend 0x000000010ee9882a swift::CompilerInstance::performSema() + 7435 swift-frontend 0x000000010edad6ee performCompile(swift::CompilerInstance&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*) + 267036 swift-frontend 0x000000010edacaf1 swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) + 376137 swift-frontend 0x000000010ed4820d main + 86138 libdyld.dylib 0x00007fff6fc80cc9 start + 139 libdyld.dylib 0x0000000000000061 start + 18446603338640782233

[slavapestov]

#42113