Stored properties of C structs not found for protocol conformance

[dabrahams]

Description

A stored opaque pointer in an imported struct can't satisfy a protocol requirement.

Reproduction

TheCModule.h:

struct X {
  struct Y* opaque;
};

import TheCModule

protocol P {
  var opaque: OpaquePointer? { get set }
}
extension X: P {}

Expected behavior

Swift code compiles

Environment

swift-driver version: 1.115.1 Apple Swift version 6.0.3 (swiftlang-6.0.3.1.10 clang-1600.0.30.1)
Target: arm64-apple-macosx15.0

Additional information

No response