omochimetaru

@swift-6.2.3 @swift-main

@dynamicMemberLookup struct B { var base: Int subscript<T>(dynamicMember keyPath: KeyPath<Int, T>) -> T { base[keyPath: keyPath] } } @dynamicMemberLookup struct C { var base: B subscript<T>(dynamicMember keyPath: KeyPath<B, T>) -> T { base[keyPath: keyPath] } } struct D { var base: C subscript<T>(dynamicMember keyPath: KeyPath<C, T>) -> T { base[keyPath: keyPath] } }

signal: aborted (core dumped) with stderr:

swift-frontend: /home/build-user/swift/lib/Sema/CSSimplify.cpp:16392: void swift::constraints::ConstraintSystem::addKeyPathApplicationRootConstraint(Type, ConstraintLocatorBuilder): Assertion `(path.size() == 1 && path[0].getKind() == ConstraintLocator::SubscriptMember) || (path.size() == 2 && path[1].getKind() == ConstraintLocator::KeyPathDynamicMember)' failed. Stack dump: 0. Program arguments: /usr/bin/swift-frontend -frontend -interpret - -Xllvm -aarch64-use-tbi -disable-objc-interop -no-color-diagnostics -Xcc -fno-color-diagnostics -empty-abi-descriptor -no-auto-bridging-header-chaining -module-name main -in-process-plugin-server-path /usr/lib/swift/host/libSwiftInProcPluginServer.so -plugin-path /usr/lib/swift/host/plugins -plugin-path /usr/local/lib/swift/host/plugins 1. Swift version 6.3-dev (LLVM 352c368501af159, Swift 83d82a5af50dc7b) 2. Compiling with effective version 5.10 3. While evaluating request TypeCheckPrimaryFileRequest(source_file "<stdin>") 4. While evaluating request TypeCheckFunctionBodyRequest(main.(file).D.subscript(dynamicMember:).getter@<stdin>:15:61) 5. While type-checking statement at [<stdin>:15:61 - line:15:86] RangeText="{ base[keyPath: keyPath] " 6. While type-checking statement at [<stdin>:15:63 - line:15:84] RangeText="base[keyPath: keyPath" 7. While type-checking-target starting at <stdin>:15:67 #0 0x0000bde45ed69514 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/usr/bin/swift-frontend+0x8309514) #1 0x0000bde45ed66fe8 llvm::sys::RunSignalHandlers() (/usr/bin/swift-frontend+0x8306fe8) #2 0x0000bde45ed6a340 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0 #3 0x0000f054691598f8 (linux-vdso.so.1+0x8f8) #4 0x0000f05466ec7608 (/lib/aarch64-linux-gnu/libc.so.6+0x87608) #5 0x0000f05466e7cb3c raise (/lib/aarch64-linux-gnu/libc.so.6+0x3cb3c) #6 0x0000f05466e67e00 abort (/lib/aarch64-linux-gnu/libc.so.6+0x27e00) #7 0x0000f05466e75cc0 (/lib/aarch64-linux-gnu/libc.so.6+0x35c

stderr.log

22.59 KB