Revision bc3890e997967e29e3049cdb01a64dfe70f1e9f0 authored by Doug Gregor on 29 June 2017, 23:27:52 UTC, committed by Doug Gregor on 30 June 2017, 19:07:44 UTC
The small-but-significant change to the generic signature builder is to refuse to create unresolved potential archetypes. Instead, delay any requirement that depends on such type, to be reprocessed once we've seen all of the other requirements. If the type can be resolved later, it will be; Otherwise, the type checker will complain when it sees an unresolvable type. By itself, this fixes the crash in SR-2796. Doing this by itself regresses diagnostics because typo correction in the generic signature builder no longer kicks in. Therefore, implement typo correction for these cases in the type checker proper, using its existing facilities for typo correction. The result is more consistent code with a better result. Fixes SR-2796 / rdar://problem/28544316. (cherry picked from commit ac8e8aa1b30a11962caa42bf30599534eebef956)
1 parent 93791d5
File | Mode | Size |
---|---|---|
AST | ||
ASTSectionImporter | ||
Basic | ||
ClangImporter | ||
Demangling | ||
Driver | ||
Frontend | ||
FrontendTool | ||
IDE | ||
IRGen | ||
Immediate | ||
Index | ||
LLVMPasses | ||
Markup | ||
Migrator | ||
Option | ||
Parse | ||
PrintAsObjC | ||
RemoteAST | ||
SIL | ||
SILGen | ||
SILOptimizer | ||
Sema | ||
Serialization | ||
SwiftDemangle | ||
Syntax | ||
TBDGen | ||
CMakeLists.txt | -rw-r--r-- | 778 bytes |
Computing file changes ...