まったく当てにならないけど、 The Swift Programming Language には
とは書かれてる。 Swift におけるプロパティの定義がわからないなぁ・・・。広義にはすべての変数や定数はプロパティなのかな？
Properties associate values with a particular class, structure, or enumeration.
S はどこから来たの？？ protocol GameObject { associatedtype ObjectShape: Shape var shape: ObjectShape } struct Player: GameObject { var shape: some Shape { ... } /* infers typealias Shape = opaque result type of Player.shape */ } let sv: S.SomeType // ok: names the opaque result type of S.someValue() sv = S().someValue() // ok: returns the same opaque result type
https://github.com/apple/swift-evolution/blob/master/proposals/0244-opaque-result-types.md#associated-type-inference 