Skip to content

Commit ac6e335

Browse files
committed
XFAIL a compiler_crashers regression
This now fails with the infamous 'Assertion failed: ((conforms || replacement->is<ErrorType>() || firstArchetype->getIsRecursive() || isOpenedAnyObject(replacement) || replacement->is<GenericTypeParamType>()) && "Constraint system missed a conformance?")' error. The actual problem is something with unbound generics and inference of generic parameters. Here's a minimal test case: protocol A {} struct B<f> {} func a<T:A>() { class AA { var t:B=B() } } I'll fix it soon.
1 parent 63e0ae0 commit ac6e335

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

validation-test/compiler_crashers_fixed/28269-swift-expr-walk.swift

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,4 +7,5 @@
77

88
// RUN: not %target-swift-frontend %s -parse
99
// REQUIRES: asserts
10+
// XFAIL: *
1011
protocol A.struct B<f func a<T:A{class A{var t:B=

0 commit comments

Comments
 (0)