is duplicated by:

• SR-4986 Overriding of a method with a constrained generic placeholder is incorrectly permitted
• SR-7573 Overridden class function with generic constraint causes unsafe behavior
• SR-10076 [Swift 5] Generic parameter cannot get correct type with generic override constraint
• SR-10198 Cannot override more than one superclass declaration
• SR-10603 Overloading Overriden Method By Generic Constraint-ness Causes Compiler Error
• SR-11904 EXC_BAD_ACCESS when calling overridden generic function as parent's one.
• SR-11098 swiftc segfault when compiling in release mode

relates to:

• SR-10582 EXC_BAD_ACCESS with protocol
• SR-10603 Overloading Overriden Method By Generic Constraint-ness Causes Compiler Error

Issue Description:

protocol Parent {}

protocol A: Parent {}
protocol B: Parent {}

struct Foo: A {}

class ClassA {
    func foo<T: A>(param: T) {
        print("A")
    }
}

class ClassB: ClassA {
    override func foo<T: A>(param: T) {
        print("A")
    }

    override func foo<T: B>(param: T) {
        print("B")
    }

}

let foo = Foo()
let classB = ClassB()
classB.foo(param: foo)

Expected result: "A" will be printed
Actual result: "B" is printed

If we remove foo<T: A> overload compiler will complain argument type 'Foo' does not conform to expected type 'B'.