Slava Pestov f9c2d9fd7c RequirementMachine: Introduce Rule::isProtocolTypeAliasRule() ...

There are two kinds of protocol typealiases:

1) The underlying type is a type parameter. These rules look like
   [P].A => X where X is the underlying type.

2) The underlying type is a concrete type. These rules look like
   [P].A.[concrete: C] => [P].A.

The isProtocolTypeAliasRule() predicate detects both cases and
returns the type alias name ('A', in the above examples). For now
it's not used anywhere, since we don't actually introduce these
rules for any reason.

2022-02-13 00:24:23 -05:00

24 KiB

Raw Blame History

View Raw