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.
9 lines
299 B
Swift
9 lines
299 B
Swift
// {"kind":"typecheck","original":"8d3173cf","signature":"swift::constraints::ConstraintSystem::finalize()","signatureNext":"SplitterStep::mergePartialSolutions"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
protocol a
|
|
func b(c: Bool) -> some a {
|
|
&
|
|
if c {
|
|
return d(2.0
|
|
1.0
|