Files
swift-mirror/validation-test/compiler_crashers_fixed/SubscriptMisuseFailure-diagnoseAsError-4bacdc.swift
Pavel Yaskevich 201e76bfa6 [ConstraintSystem] Propagate a hole from function value to arguments/result
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.
2026-06-01 11:28:20 -07:00

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)