Commits

Michael Ilseman committed bbe1f7a0a55
[Clang importer] Extra correctness checks for inferring as properties. Introduces validToImportAsProperty, which has to perform extra checking the make sure that a get/set pair are compatible with import as a property. This includes matching up 'self' parameters, matching get's return type with the set's argument type, etc. Includes more extensive tests.