[ConstraintSystem] Add a new reason for invalid member reference

This new reason indicates that result type of a static member
doesn't conform to a specific protocol so it can't be referenced
on a protocol metatype.
This commit is contained in:
Pavel Yaskevich
2020-10-29 11:53:13 -07:00
parent 03d869ad8b
commit df76400fe5
2 changed files with 9 additions and 2 deletions

View File

@@ -1460,7 +1460,11 @@ struct MemberLookupResult {
UR_ReferenceWritableKeyPathOnMutatingMember,
/// This is a KeyPath whose root type is AnyObject
UR_KeyPathWithAnyObjectRootType
UR_KeyPathWithAnyObjectRootType,
/// This is a static member being access through a protocol metatype
/// but its result type doesn't conform to this protocol.
UR_InvalidStaticMemberOnProtocolMetatype,
};
/// This is a list of considered (but rejected) candidates, along with a