Formal access alone does not take into account @testable imports of internal types. This prevented otherwise valid conditional conformances of these types from compiling. rdar://72875683
