Files
swift-mirror/validation-test/compiler_crashers_fixed/ConstraintSystem-applySolution-082642.swift
Hamish Knight f205f469a9 [CS] Replace error type with hole for projected value
Missed this in my previous patch, make sure we replace an error with
a hole if necessary.
2025-11-05 20:29:15 +00:00

11 lines
472 B
Swift

// {"kind":"typecheck","signature":"swift::constraints::ConstraintSystem::applySolution(swift::constraints::Solution&, swift::constraints::SyntacticElementTarget)","signatureAssert":"Assertion failed: (isValidType(solution.simplifyType(type)) && \"node type has invalid type\"), function applySolution"}
// RUN: not %target-swift-frontend -typecheck %s
@propertyWrapper struct a<b > {
init(wrappedValue: b)
projectedValue:
var wrappedValue: b
}
{
@a var c = false
}