*inferTypeArguments 에서는 candidate 에 infer 타입 넣지 않음 추후 getconditional type 에서 새로 Infer 해서 얻음*

getSignatureApplicabilityError

checkExpressionWithContextualType

checkExpression

checkExpressionWorker

checkObjectLiteral

getApparentTypeOfContextualType

apparentType === union

discriminateContextualTypeByObjectMembers

isDiscriminantProperty

getUnionOrIntersectionProperty

createUnionOrIntersectionProperty

getTypeOfSymbol

getTypeOfInstantiatedSymbol

instantiateType

instantiateTypeWithAlias