// RUN: %target-swift-frontend -emit-ir %s -disable-availability-checking protocol SomeObjectProtocol {} struct SomeObject: SomeObjectProtocol {} protocol ObjectProviding { associatedtype Object: SomeObjectProtocol var object: Object { get } } struct ConformingObject: ObjectProviding { var object: some SomeObjectProtocol { SomeObject() } }