HaxeFoundation.haxe/tests/misc/projects/Issue11411/MainArgumentVarianceGood.hx

class Parent {}
class Child extends Parent {}

interface I {
    public function test<T:Child>(t:T):Void;
}

class C implements I {
    public function test<T:Parent>(t:T) { }
}

function main() {

}