mirror of
https://github.com/apple/swift.git
synced 2026-10-10 13:50:43 +02:00
24 lines
730 B
Swift
24 lines
730 B
Swift
// {"kind":"typecheck","original":"1acdb58d","signature":"swift::AbstractGenericSignatureRequest::evaluate(swift::Evaluator&, swift::GenericSignatureImpl const*, llvm::SmallVector<swift::GenericTypeParamType*, 2u>, llvm::SmallVector<swift::Requirement, 2u>, swift::optionset::OptionSet<swift::DefaultRequirementFlags, unsigned char>) const","signatureNext":"AbstractGenericSignatureRequest::OutputType"}
|
|
// RUN: not --crash %target-swift-frontend -typecheck %s
|
|
protocol a {
|
|
associatedtype b : c
|
|
}
|
|
protocol c {
|
|
associatedtype d : a
|
|
associatedtype e
|
|
: a
|
|
func
|
|
f< g : c where g.d ==
|
|
e>()
|
|
struct h< i >
|
|
: c {
|
|
typealias e =
|
|
j< i >
|
|
func f()
|
|
struct j< k >
|
|
: a {
|
|
typealias b = h
|
|
}
|
|
}
|
|
}
|