Skip to content

Commit 5b88f42

Browse files
[SIL] Add test case for crash triggered in swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest)
Stack trace: ``` <stdin>:3:12: error: expected '=' in typealias declaration typealias E:<__>__ ^ = <stdin>:3:13: error: only syntactic function types can be generic typealias E:<__>__ ^ sil-opt: /path/to/swift/lib/Sema/IterativeTypeChecker.cpp:103: void swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest): Assertion `isSatisfied(request)' failed. 9 sil-opt 0x0000000000bff669 swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) + 889 12 sil-opt 0x0000000000aeac64 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 3396 15 sil-opt 0x0000000000aef886 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 150 16 sil-opt 0x0000000000b13f92 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) + 1026 17 sil-opt 0x00000000007726e9 swift::CompilerInstance::performSema() + 3289 18 sil-opt 0x000000000075bb9d main + 1805 Stack dump: 0. Program arguments: sil-opt -enable-sil-verify-all 1. While type-checking 'E' at <stdin>:3:1 2. While type-checking 'E' at <stdin>:3:1 ```
1 parent 9870b8e commit 5b88f42

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed
Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// RUN: not --crash %target-sil-opt %s
2+
// REQUIRES: asserts
3+
typealias E:<__>__

0 commit comments

Comments
 (0)