Slava Pestov 0b320a6d5b Sema: Implement DefaultWitnessChecker ...

Now that WitnessChecker is separate from ConformanceChecker, implement
a DefaultWitnessChecker subclass which performs default witness
resolution.

This populates the recently-added ProtocolDecl::DefaultWitnesses map.

Unlike ConformanceChecker, the DefaultWitnessChecker looks up the witness
in any protocol extensions of the protocol, matching the context archetypes
of the requirement against the witness.

For now, we infer default witnesses for all protocols, but don't do
anything with that information. An upcoming SILGen patch will start to
emit thunks and add tests.

2016-03-03 06:59:55 -08:00

..

CMakeLists.txt

Separate dependency tracking from Make-style .d file generation.

2015-01-08 03:02:17 +00:00

CompilerInvocation.cpp

Merge pull request #1434 from apple/asan

2016-02-29 18:58:40 -08:00

DiagnosticVerifier.cpp

Consistent use of header comment format.

2016-01-04 13:26:31 +01:00

Frontend.cpp

Sema: Implement DefaultWitnessChecker

2016-03-03 06:59:55 -08:00

FrontendOptions.cpp

Update copyright date

2015-12-31 23:28:40 +00:00

PrintingDiagnosticConsumer.cpp

Consistent use of header comment format.

2016-01-04 13:26:31 +01:00

SerializedDiagnosticConsumer.cpp

fixed niggling typos

2016-01-29 22:22:12 -05:00