Commits
Slava Pestov committed 9ddccaddfcb
Sema: Move diagnostic for stored properties in protocols from type checking to validation Otherwise, we might try to do a conformance check on a stored property requirement, and crash because there is no getter.