mirror of
https://github.com/apple/swift.git
synced 2026-09-28 10:03:29 +02:00
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.
4 lines
355 B
Swift
4 lines
355 B
Swift
// {"kind":"typecheck","original":"cb606608","signature":"swift::constraints::SubscriptMisuseFailure::diagnoseAsError()","signatureAssert":"Assertion failed: (isa<To>(Val) && \"cast<Ty>() argument of incompatible type!\"), function cast","signatureNext":"UseSubscriptOperator::diagnose"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
a(.subscript < b)
|