Attachment: Download

duplicates:

• SR-103 Protocol Extension: function's implementation cannot be overridden by a subclass

Issue Description:

Note: please open the attached code sample and have a look at the README

The following code defines a simple SomeProtocol with a static var definition svar.
A default implementation of svar is provided via extension, along with an instance method that prints its value via Self.

protocol SomeProtocol {
    static var svar: String { get }
    func printStaticVar()
}

extension SomeProtocol {
    static var svar: String {
        return "Default svar"
    }
    func printStaticVar() {
        print(Self.svar)
    }
}

Considering the following class hierarchy of protocol adoption class:

class BaseImplementation: SomeProtocol {
    
}

class ChildImplementation: BaseImplementation {
    class var svar: String {
        return "ChildImplementation's svar"
    }
}

we have an inconsistency if we try to execute the following code:

let childImpl = ChildImplementation()
childImpl.printStaticVar()      // output: Default svar
print(type(of: childImpl).svar) // output: ChildImplementation's svar

According to the official Self type documentation the two outputs should be the same:

Writing Self.someStaticMember to access a member of the current type is the same as writing type(of: self).someStaticMember

A more thorough explanation of the wrong behavior is provided in the attached sample project.