Member predicate ConditionalTypeExpr::getCheckType

Gets the type to the left of the extends keyword, such as T in T extends any[] ? A : B.