Slava Pestov 879a8966ac SIL: Split up AbstractionPattern::isOpaque() into two predicates ...

- isTypeParameter() -- check if this is an archetype or dependent
  interface type.

- requiresClass() -- check if this is a class-constrained type
  parameter.

The old isOpaque() check has been replaced by
(isTypeParameter() && !requiresClass(moduleDecl)).

This allows us to pass the ModuleDecl on down to
GenericSignature::requiresClass(), enabling the use of
interface types in abstraction patterns.

NFC for now.

2016-01-14 14:07:56 -08:00

9.0 KiB

Raw Permalink Blame History

View Raw