mirror of
https://github.com/apple/swift.git
synced 2026-10-04 11:58:22 +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.
7 lines
556 B
Swift
7 lines
556 B
Swift
// {"kind":"typecheck","original":"d896f132","signature":"swift::constraints::MissingConformanceFailure::MissingConformanceFailure(swift::constraints::Solution const&, swift::constraints::ConstraintLocator*, std::__1::pair<swift::Type, swift::Type>)","signatureAssert":"Assertion failed: (getGenericContext() && \"Affected decl not within a generic context?\"), function RequirementFailure","signatureNext":"MissingConformance::diagnose"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
let a =
|
|
{
|
|
0 ? [a] : [1&&: <#expression#>]
|
|
}[<#expression#>]
|