Uploaded image for project: 'Swift'
  1. Swift
  2. SR-4737

Assertion failed: (!constraint.source->isDerivedRequirement() && "Must not be derived"), function checkSameTypeConstraints

    XMLWordPrintable

    Details

      Description

      Against 8ecc3e31cf7 from github/master, build the attached for this assertion

      Assertion failed: (!constraint.source->isDerivedRequirement() && "Must not be derived"), function checkSameTypeConstraints, file /Users/Shared/dabrahams/s/swift/lib/AST/GenericSignatureBuilder.cpp, line 4584.
      0  swift                    0x00000001124f5ab8 llvm::sys::PrintStackTrace(llvm::raw_ostream&) + 40
      1  swift                    0x00000001124f6166 SignalHandler(int) + 454
      2  libsystem_platform.dylib 0x00007fffc8943b3a _sigtramp + 26
      3  libsystem_platform.dylib 0x0000000400000000 _sigtramp + 929809632
      4  libsystem_c.dylib        0x00007fffc87c8420 abort + 129
      5  libsystem_c.dylib        0x00007fffc878f893 basename_r + 0
      6  swift                    0x000000011016f667 swift::GenericSignatureBuilder::checkSameTypeConstraints(llvm::ArrayRef<swift::GenericTypeParamType*>, swift::GenericSignatureBuilder::PotentialArchetype*) + 4663
      7  swift                    0x000000011016b274 swift::GenericSignatureBuilder::finalize(swift::SourceLoc, llvm::ArrayRef<swift::GenericTypeParamType*>, bool) + 1124
      8  swift                    0x0000000110024018 swift::TypeChecker::checkGenericEnvironment(swift::GenericParamList*, swift::DeclContext*, swift::GenericSignature*, bool, llvm::function_ref<void (swift::GenericSignatureBuilder&)>) + 664
      9  swift                    0x0000000110024442 swift::TypeChecker::validateGenericTypeSignature(swift::GenericTypeDecl*) + 162
      10 swift                    0x000000010fff86c9 swift::TypeChecker::validateDecl(swift::ValueDecl*) + 1801
      11 swift                    0x000000010ffa0312 swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) + 594
      12 swift                    0x000000010ffa03cb swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) + 779
      13 swift                    0x000000010ffa03cb swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) + 779
      14 swift                    0x000000010fff2352 swift::TypeChecker::validateDeclForNameLookup(swift::ValueDecl*) + 482
      15 swift                    0x0000000110070182 resolveTypeDecl(swift::TypeChecker&, swift::TypeDecl*, swift::SourceLoc, swift::DeclContext*, swift::GenericIdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 98
      16 swift                    0x000000011006fd87 resolveTopLevelIdentTypeComponent(swift::TypeChecker&, swift::DeclContext*, swift::ComponentIdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 1719
      17 swift                    0x000000011006a67f resolveIdentTypeComponent(swift::TypeChecker&, swift::DeclContext*, llvm::ArrayRef<swift::ComponentIdentTypeRepr*>, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 495
      18 swift                    0x000000011006a142 swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 146
      19 swift                    0x000000011006b0a3 (anonymous namespace)::TypeResolver::resolveType(swift::TypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>) + 195
      20 swift                    0x000000011006afad swift::TypeChecker::resolveType(swift::TypeRepr*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 173
      21 swift                    0x00000001100699c3 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 355
      22 swift                    0x0000000110076a56 bindExtensionDecl(swift::ExtensionDecl*, swift::TypeChecker&) + 102
      23 swift                    0x000000011007badb void llvm::function_ref<void (std::__1::pair<llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*>)>::callback_fn<swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int)::$_2>(long, std::__1::pair<llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*>) + 123
      24 swift                    0x00000001100a108b bool llvm::function_ref<bool (std::__1::pair<llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*>)>::callback_fn<swift::FileUnit::forAllVisibleModules(llvm::function_ref<void (std::__1::pair<llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*>)>)::'lambda'(std::__1::pair<llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*>)>(long, std::__1::pair<llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*>) + 59
      25 swift                    0x000000011018d19f swift::ModuleDecl::forAllVisibleModules(llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, bool, llvm::function_ref<bool (std::__1::pair<llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*>)>) + 527
      26 swift                    0x000000011018d323 swift::FileUnit::forAllVisibleModules(llvm::function_ref<bool (std::__1::pair<llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*>)>) + 83
      27 swift                    0x0000000110078081 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) + 1457
      28 swift                    0x000000010fbe6090 swift::CompilerInstance::performSema() + 3616
      29 swift                    0x000000010f151d77 performCompile(std::__1::unique_ptr<swift::CompilerInstance, std::__1::default_delete<swift::CompilerInstance> >&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) + 2279
      30 swift                    0x000000010f1503c4 swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) + 3204
      31 swift                    0x000000010f10cbb0 main + 3312
      32 libdyld.dylib            0x00007fffc8734235 start + 1
      Stack dump:
      0.	Program arguments: /Users/Shared/dabrahams/s/build/Ninja-ReleaseAssert+stdlib-DebugAssert/swift-macosx-x86_64/bin/swift -frontend -c -primary-file /Users/Shared/dabrahams/s/swift/test/Prototypes/UnicodeDecoders.swift -target x86_64-apple-macosx10.9 -enable-objc-interop -sdk /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.12.sdk -F /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.12.sdk/../../../Developer/Library/Frameworks -g -module-cache-path /var/folders/8v/9769m3ps7ds7h9pg23lzcls00000gn/T/swift-testsuite-clang-module-cacheaJ2T3N -swift-version 4 -emit-module-doc-path /var/folders/8v/9769m3ps7ds7h9pg23lzcls00000gn/T/lit_tmp_kdvr1v/UnicodeDecoders-dcba22.swiftdoc -Onone -module-name UnicodeDecoders -emit-module-path /var/folders/8v/9769m3ps7ds7h9pg23lzcls00000gn/T/lit_tmp_kdvr1v/UnicodeDecoders-dcba22.swiftmodule -o /var/folders/8v/9769m3ps7ds7h9pg23lzcls00000gn/T/lit_tmp_kdvr1v/UnicodeDecoders-dcba22.o 
      1.	While resolving type _UTF8Decoder at [/Users/Shared/dabrahams/s/swift/test/Prototypes/UnicodeDecoders.swift:579:11 - line:579:11] RangeText="_"
      2.	While validating '_UTFDecoder' at /Users/Shared/dabrahams/s/swift/test/Prototypes/UnicodeDecoders.swift:524:8
      <unknown>:0: error: unable to execute command: Abort trap: 6
      <unknown>:0: error: compile command failed due to signal 6 (use -v to see invocation)
      

      Other hashes

      clang                              e6d55005e6 Merge remote-tracking branch 'origin/swift-4.0-branch' into stable
      cmark                              d875488 Merge pull request #4 from llvm-beanz/generate-cmark-exports
      compiler-rt                        3acb58590 Merge remote-tracking branch 'origin/swift-4.0-branch' into stable
      llbuild                            7853943 Merge pull request #143 from neonichu/better-diagnostics-for-dependency-cycles
      lldb                               6deeb29d5 Merge branch 'swift-4.0-branch' into stable
      llvm                               8758fc3e9cc Merge remote-tracking branch 'origin/swift-4.0-branch' into stable
      Traceback (most recent call last):
      

        Attachments

          Activity

            People

            • Assignee:
              Unassigned
              Reporter:
              dabrahams Dave Abrahams
            • Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: