Which is the inferred type T (with strictFunctionTypes)?

class A {} class B extends A {}\ntype F<X> = (x: X) => void;\ntype T = F<B> extends F<A> ? true : false;