mirror of
https://github.com/apple/swift.git
synced 2026-10-22 19:15:50 +02:00
Pavel Yaskevich
201e76bfa6
In diagnostic mode, propagate function value placeholder/hole to arguments and result. This helps to avoid recording extraneous fixes because generic parameters and leading-dot syntax arguments cannot be inferred in this case.
17 lines
560 B
Swift
17 lines
560 B
Swift
// {"kind":"typecheck","original":"19492e52","signature":"swift::constraints::ConstraintSystem::setTargetFor(swift::constraints::SyntacticElementTargetKey, swift::constraints::SyntacticElementTarget)","signatureAssert":"Assertion failed: (inserted), function setTargetFor","signatureNext":"ConstraintSystem::generateConstraints"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
enum a {
|
|
func c(d: a) {
|
|
switch d {
|
|
case let b:
|
|
e {
|
|
switch b {
|
|
case .f(
|
|
switch <#expression#> {
|
|
}):
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|