duplicates:

• SR-4206 Override checking does not properly enforce requirements

relates to:

• SR-4206 Override checking does not properly enforce requirements

Issue Description:

Overloading a method in a derived class that is the same type of signature from a base class with different generic constraints causes the compiler to think they are the same signature. I would expect overloads to be able to be created in the derived class with the same signature and different generic constraints.

protocol P {}


class Base {
    func f<T>(_ type: T.Type) {}
}


class Derived : Base {
    override func f<T>(_ type: T.Type) {}
    // 'f' has already been overriden
    func f<T>(_ type: T.Type) where T : P {}
}