mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
11 lines
412 B
Swift
11 lines
412 B
Swift
// {"kind":"typecheck","original":"b3234b81","signature":"swift::constraints::ConstraintSystem::recordImpliedResult(swift::Expr*, swift::constraints::ImpliedResultKind)","signatureAssert":"Assertion failed: (inserted && \"Duplicate implied result?\"), function recordImpliedResult"}
|
|
// RUN: not --crash %target-swift-frontend -typecheck %s
|
|
[
|
|
switch 0 {
|
|
case .a(
|
|
if <#expression#> {
|
|
b
|
|
}):
|
|
}
|
|
]
|