nazo.ts

nazo.ts

class A { }

class B extends A { }

class C<T> { }

function test<T extends A>(t: () => T): (ctx: C<T>) => void {
    return (ctx: C<T>) => {
    };
}

const a = new A();
const b = new B();

test(() => a);
test(() => b);