Chris Lattner cf14158405 When type checking an arbitrary subexpression of the current node, we can run ...

into trouble when we dive into a subexpr of a ClosureExpr, because that subexpr
may refer to type variables on the closureexpr's parameters.

Check for this case, and refuse to dive into the subexpr in this case.  It would
be great to rewrite the closure parameter types to Type() or ErrorType or something
so that we can proceed even in this case, but this causes us to fail to catch
nested constraint checking failures.

This was figured out while working on other things, but fixes a validation test.



Swift SVN r30135

2015-07-13 05:34:31 +00:00

..

AST

Importer: Synthesize inferred availability for unannotated Obj-C protocols

2015-07-10 22:48:22 +00:00

ASTSectionImporter

[Serialization] Move (Module)Status and validateSerializedAST into a namespace.

2015-02-12 05:32:25 +00:00

Basic

[func-sig-opts] Eliminate dead arguments that are dead besides an @owned release.

2015-07-08 06:26:25 +00:00

ClangImporter

[ClangImporter] Import 'NSObject <FooProto> *' as 'id <NSObject, FooProto>'.

2015-07-11 00:13:34 +00:00

Driver

[Driver] Always quote file paths in the build record.

2015-07-10 01:39:12 +00:00

Frontend

Modified the PrintingDiagnosticConsumer to take

2015-06-29 18:29:24 +00:00

IDE

[InterfacePrinting] Move utf8 sanitizer from SourceKit to ASTPrinter.

2015-07-09 18:26:02 +00:00

Immediate

Eliminate the 'Module' variant from UnqualifiedLookupResult.

2015-05-07 21:10:55 +00:00

IRGen

IRGen: Fix emission of categories with @NSManaged properties

2015-07-13 00:20:38 +00:00

LLVMPasses

[llvm-arc-opts] Refactor the ARC call constant caches and ARC call creation code into a builder class.

2015-07-12 22:13:10 +00:00

Markup

Fix unused variable warnings in Release builds.

2015-06-12 18:27:26 +00:00

Option

Rewrite the CMake build system

2014-12-23 22:15:30 +00:00

Parse

fix <rdar://problem/18776073> Swift's break operator in switch should be indicated in errors

2015-07-11 18:30:51 +00:00

PrintAsObjC

Unmanaged<T> is ObjC-compatible if T is an Objective-C-compatible object type.

2015-07-10 19:05:21 +00:00

Sema

When type checking an arbitrary subexpression of the current node, we can run

2015-07-13 05:34:31 +00:00

Serialization

Honor the swift_error attribute during import.

2015-07-08 00:57:27 +00:00

SIL

SILGen: Make the materializeForSet closure for Clang-imported properties shared.

2015-07-10 23:50:50 +00:00

SILAnalysis

Move two canonicalizations that create instructions from SimplifyInstruction -> SILCombine.

2015-07-12 05:26:11 +00:00

SILGen

Remove the almost-pointless Materialize type from SILGen,

2015-07-11 02:58:49 +00:00

SILPasses

Move two canonicalizations that create instructions from SimplifyInstruction -> SILCombine.

2015-07-12 05:26:11 +00:00

SwiftDemangle

Provide 'Simplified' demangling mode

2015-05-18 22:48:30 +00:00

CMakeLists.txt

swiftMarkup Library

2015-04-26 00:07:15 +00:00