Commits

Joe Groff committed 4c38f89462b
Sema: Set the interface type of lazy properties during validation. Otherwise, we end up treating the contextual type as the interface type in situations where the lazy property is seen from other files. Fixes SR-837.