Function resolveTypeOfExpression

compiler/companion/src/TSUtils.ts:364–396

(expression: ts.Expression, typeChecker: ts.TypeChecker)

}

export function resolveTypeOfExpression(expression: ts.Expression, typeChecker: ts.TypeChecker): ResolvedType {
  let effectiveType: SymbolType | undefined;
  let effectiveObjectInfo: SymbolObjectInfo | undefined;
  let isNullable = false;

  const resolvedSymbols = resolvedSymbolsOfExpression(expression, typeChecker);

  for (const resolvedSymbol of resolvedSymbols) {
    if (resolvedSymbol.type === SymbolType.any) {
      effectiveType = SymbolType.any;
    } else if (resolvedSymbol.type === SymbolType.undefined || resolvedSymbol.type === SymbolType.null) {
      isNullable = true;
    } else {
      if (effectiveType === undefined) {
        effectiveType = resolvedSymbol.type;
        effectiveObjectInfo = resolvedSymbol.objectInfo;
      } else {
        effectiveType = SymbolType.any;
      }
    }
  }

  if (effectiveType === undefined) {
    effectiveType = SymbolType.any;
  }

  if (effectiveType === SymbolType.any) {
    isNullable = true;
    effectiveObjectInfo = undefined;
  }

  return { effectiveType, isNullable, resolvedSymbols, effectiveObjectInfo };
}

export class Transpiler {
  readonly diagnostics: ts.Diagnostic[] = [];