mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
5 lines
434 B
Swift
5 lines
434 B
Swift
// {"kind":"typecheck","signature":"(anonymous namespace)::AssociatedTypeInference::inferAbstractTypeWitnesses(llvm::ArrayRef<swift::AssociatedTypeDecl*>, unsigned int)","signatureAssert":"Assertion failed: (!tyWitness.DefaultedAssocType && \"already recorded a default type witness\"), function addDefaultTypeWitness"}
|
|
// RUN: not --crash %target-swift-frontend -typecheck %s
|
|
class a : b protocol b {
|
|
typealias c typealias c : = c
|