propertyTypes with --property-types explicit incorrectly format static factory

[AleMaMi]

Environment

SwiftFormat version 0.60.1

Precondition

Test file (InferredType.swift):

enum Tools {
    static func makeString() -> String {
        "string"
    }
}

func inferredType() {
    let value = Tools.makeString()
    print("Value: \(value)")
}

inferredType()

This compiles properly.

Reproduction

Runing command

$ swiftformat --rules propertyTypes --property-types explicit <InferredType.swift

produces this output

enum Tools {
    static func makeString() -> String {
        "string"
    }
}

func inferredType() {
    let value: Tools = .makeString()
    print("Value: \(value)")
}

inferredType()

which is incorrect (and cannot compile).

Expected result:

enum Tools {
    static func makeString() -> String {
        "string"
    }
}

func inferredType() {
    let value: String = Tools.makeString()
    print("Value: \(value)")
}

inferredType()

[calda]

This is a known issue with the propertyTypes rule. Added documentation covering this known issue in #2449.

[calda]

Specifically, the problem is that SwiftFormat can't know the return type of the static function. Generally, I think successfully using --property-types explicit in a codebase would be a bit challenging.