Is this correct? Child type of Struct can access parent Struct's Type property as if it were an instance property

[anon9791410]

It's applicable to all enclosing types, not just the direct one:

Modifier to make a `func` on a type a free function

For sure, because reaching out beyond Self to enclosing types already works that way. enum ReallyOutThere { static func outerStaticMethod() { } static func reallyOutThereMethod() { } enum Outer { static func outerStaticMethod() { } struct Inner { static func innerStaticMethod() { } func instanceMethod() { innerStaticMethod() // does not compile; requires `Self.` outerStaticMethod() // compiles! Calls `Outer.outerStaticMethod`. reallyOutThere…

@Diggory

I don't quite understand it fully.

Here's an example of using self in a type context. You currently have the idea that this is "as if it were an instance property", but that's not the case. self just means something different here, than it does in an instance member. And nobody ever uses it explicitly.

extension Struct1 {
  static var staticComputedProperty: String { self.staticLetProperty }
}

Struct1 static members will trickle down to ChildClass, but only in the definition. If you use extensions, you'll need to qualify where the static member is coming from. I consider the inconsistency a bug but there may be reasons it has to work that way.

extension Struct1.ChildClass {
  func doThing() {
    print(Struct1.staticLetProperty)
  }
}