mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
11 lines
544 B
Swift
11 lines
544 B
Swift
// {"kind":"typecheck","signature":"swift::TypeTransform<swift::Type::transformRec(llvm::function_ref<std::__1::optional<swift::Type> (swift::TypeBase*)>) const::Transform>::doIt(swift::Type, swift::TypePosition)","signatureAssert":"Assertion failed: (type->isTypeParameter() && \"Expected a type parameter\"), function requiresProtocol"}
|
|
// RUN: not --crash %target-swift-frontend -typecheck %s
|
|
protocol a {
|
|
associatedtype b
|
|
typealias c = a
|
|
}
|
|
struct d : e
|
|
protocol e : a {
|
|
associatedtype c where b == c.b
|
|
associatedtype f = Self
|