[SIL] Add test case for crash triggered in swift::IterativeTypeChecker::satisfy(…) #3714
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…r::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
```
|
@practicalswift For these sorts of things, can you just smoke test and merge? |
|
@swift-ci Please smoke test and merge |
|
@practicalswift I believe you can trigger "test and merge". |
|
@rintaro @practicalswift I believe rintaro is correct. Why not take it for a swim? |
|
@practicalswift I think you missed this mail. |
kateinoigakukun
pushed a commit
that referenced
this pull request
Aug 31, 2022
[pull] swiftwasm from main
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Stack trace: