<div class="chatlog__message-group"> <div id="chatlog__message-container-980693306650550275" class="chatlog__message-container" data-message-id="980693306650550275"> <div class="chatlog__message"> <div class="chatlog__message-aside"> <div class="chatlog__reply-symbol"></div><img class="chatlog__avatar" src="https://cdn.discordapp.com/avatars/446840817689034763/d923305b7e58e7c4af8ae60073d8a2e9.png?size=512" alt="Avatar" loading="lazy"> </div> <div class="chatlog__message-primary"> <div class="chatlog__reply"><img class="chatlog__reply-avatar" src="https://cdn.discordapp.com/avatars/189711109966659584/95280765d1be73ce985dce15ea3585f6.png?size=512" alt="Avatar" loading="lazy"> <div class="chatlog__reply-author" style="color:rgb(237,171,161)" title="omochimetaru">omochimetaru</div> <div class="chatlog__reply-content"><span class="chatlog__reply-link" onclick="scrollToMessage(event,'980693305564229693')"> <span class="chatlog__markdown-mention" title="swiftNightly#5501">@swift-main</span> -Xfrontend -enable-experimental-named-opaque-types -Xfrontend -enable-parameterized-protocol-types <code class="chatlog__markdown-pre chatlog__markdown-pre--multiline language-swift">protocol P<A> { associatedtype A } protocol Q {} struct S<A>: P {} struct K: Q {} func makePair() -> <T0: Q, T1: Q> (S<T0>, S<T1>) { (S<K>(), S<K>()) } func usePair<T: Q>(_ pair: (S<T>, S<T>)) {} func main() { let pair = makePair() usePair(pair) }</code> </span></div> </div> <div class="chatlog__header"><span class="chatlog__author" style="color:rgb(52,152,219)" title="swiftNightly#5501" data-user-id="446840817689034763">swiftNightly</span> <span class="chatlog__author-tag">BOT</span> <a href="/channels/430242233468452865?category=main&channel=swiftbot-sandbox&message_id=980693306650550275"><span class="chatlog__timestamp" title="Monday, May 30, 2022 4:45 AM"></span></a><a href="#chatlog__message-container-980693306650550275">5/30/2022 4:45 AM</a></div> <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">exit status: 134 with stderr:<code class="chatlog__markdown-pre chatlog__markdown-pre--multiline nohighlight">swift-frontend: /home/build-user/swift/lib/Sema/CSSimplify.cpp:3221: ConstraintSystem::TypeMatchResult swift::constraints::ConstraintSystem::matchDeepEqualityTypes(swift::Type, swift::Type, swift::constraints::ConstraintLocatorBuilder): Assertion `opaque1->getCanonicalInterfaceType(arch1->getInterfaceType())->isEqual( opaque2->getCanonicalInterfaceType(arch2->getInterfaceType()))' failed. Stack dump: 0. Program arguments: /usr/bin/swift-frontend -frontend -interpret - -disable-objc-interop -new-driver-path /usr/bin/swift-driver -enable-experimental-named-opaque-types -enable-parameterized-protocol-types -empty-abi-descriptor -resource-dir /usr/lib/swift -module-name main 1. Swift version 5.7-dev (LLVM aac709978dda363, Swift 8c308d0ff137dde) 2. Compiling with the current language version 3. While evaluating request TypeCheckSourceFileRequest(source_file "<stdin>") 4. While evaluating request TypeCheckFunctionBodyRequest(main.(file).main()@<stdin>:15:6) 5. While type-checking statement at [<stdin>:15:13 - line:18:1] RangeText="{ let pair = makePair() usePair(pair) " 6. While type-checking expression at [<stdin>:17:5 - line:17:17] RangeText="usePair(pair" 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): /usr/bin/swift-frontend[0x62f7253] /usr/bin/swift-frontend[0x62f4dfe] /usr/bin/swift-frontend[0x62f75e6] /lib/x86_64-linux-gnu/libpthread.so.0(+0x12980)[0x7fdc4ba8b980] /lib/x86_64-linux-gnu/libc.so.6(gsignal+0xc7)[0x7fdc49cfee87] /lib/x86_64-linux-gnu/libc.so.6(abort+0x141)[0x7fdc49d007f1] /lib/x86_64-linux-gnu/libc.so.6(+0x303fa)[0x7fdc49cf03fa] /lib/x86_64-linux-gnu/libc.so.6(+0x30472)[0x7fdc49cf0472] /usr/bin/swift-frontend[0x13579fe] /usr/bin/swift-frontend[0x137e7d5] /usr/bin/swift-frontend[0x1363e37] /usr/bin/swift-frontend[0x1351451] /usr/bin/swift-frontend[0x1357c11] /usr/bin/swift-frontend[0x13573c8] /usr/bin/swift-fronten</code></span></div> </div> </div> </div> </div>