When there are problems in the properties in the target type, witness
methods may not be synthesized. Don't try to add such methods.
https://github.com/apple/swift/issues/72387
* Support extensions including conditional conformance
* Correct access modifiers
* More correct lookup for the synthesized declarations
* Avoid printing decls in nested types (rdar://98025945)