no-unnecessary-type-assertion.ts

import { TSESTree } from '@typescript-eslint/experimental-utils';
import {
  isCallExpression,
  isNewExpression,
  isObjectType,
  isObjectFlagSet,
  isParameterDeclaration,
  isPropertyDeclaration,
  isStrictCompilerOptionEnabled,
  isTypeFlagSet,
  isVariableDeclaration,
} from 'tsutils';
import ts from 'typescript';
import * as util from '../util';

type Options = [
  {
    typesToIgnore?: string[];
  }
];
type MessageIds = 'contextuallyUnnecessary' | 'unnecessaryAssertion';

export default util.createRule<Options, MessageIds>({
  name: 'no-unnecessary-type-assertion',
  meta: {
    docs: {
      description:
        'Warns if a type assertion does not change the type of an expression',
      category: 'Best Practices',
      recommended: false,
    },
    fixable: 'code',
    messages: {
      unnecessaryAssertion:
        'This assertion is unnecessary since it does not change the type of the expression.',
      contextuallyUnnecessary:
        'This assertion is unnecessary since the receiver accepts the original type of the expression.',
    },
    schema: [
      {
        type: 'object',
        properties: {
          typesToIgnore: {
            type: 'array',
            items: {
              type: 'string',
            },
          },
        },
      },
    ],
    type: 'suggestion',
  },
  defaultOptions: [{}],
  create(context, [options]) {
    const sourceCode = context.getSourceCode();
    const parserServices = util.getParserServices(context);
    const checker = parserServices.program.getTypeChecker();
    const compilerOptions = parserServices.program.getCompilerOptions();

    /**
     * Sometimes tuple types don't have ObjectFlags.Tuple set, like when they're being matched against an inferred type.
     * So, in addition, check if there are integer properties 0..n and no other numeric keys
     */
    function couldBeTupleType(type: ts.ObjectType): boolean {
      const properties = type.getProperties();

      if (properties.length === 0) {
        return false;
      }
      let i = 0;

      for (; i < properties.length; ++i) {
        const name = properties[i].name;

        if (String(i) !== name) {
          if (i === 0) {
            // if there are no integer properties, this is not a tuple
            return false;
          }
          break;
        }
      }
      for (; i < properties.length; ++i) {
        if (String(+properties[i].name) === properties[i].name) {
          return false; // if there are any other numeric properties, this is not a tuple
        }
      }
      return true;
    }

    /**
     * Returns the contextual type of a given node.
     * Contextual type is the type of the target the node is going into.
     * i.e. the type of a called function's parameter, or the defined type of a variable declaration
     */
    function getContextualType(
      checker: ts.TypeChecker,
      node: ts.Expression,
    ): ts.Type | undefined {
      const parent = node.parent;
      if (!parent) {
        return;
      }

      if (isCallExpression(parent) || isNewExpression(parent)) {
        if (node === parent.expression) {
          // is the callee, so has no contextual type
          return;
        }
      } else if (
        isVariableDeclaration(parent) ||
        isPropertyDeclaration(parent) ||
        isParameterDeclaration(parent)
      ) {
        return parent.type
          ? checker.getTypeFromTypeNode(parent.type)
          : undefined;
      } else if (
        ![ts.SyntaxKind.TemplateSpan, ts.SyntaxKind.JsxExpression].includes(
          parent.kind,
        )
      ) {
        // parent is not something we know we can get the contextual type of
        return;
      }
      // TODO - support return statement checking

      return checker.getContextualType(node);
    }

    /**
     * Returns true if there's a chance the variable has been used before a value has been assigned to it
     */
    function isPossiblyUsedBeforeAssigned(node: ts.Expression): boolean {
      const declaration = util.getDeclaration(checker, node);
      if (
        // non-strict mode doesn't care about used before assigned errors
        isStrictCompilerOptionEnabled(compilerOptions, 'strictNullChecks') &&
        // ignore class properties as they are compile time guarded
        // also ignore function arguments as they can't be used before defined
        isVariableDeclaration(declaration) &&
        // is it `const x!: number`
        declaration.initializer === undefined &&
        declaration.exclamationToken === undefined &&
        declaration.type !== undefined
      ) {
        // check if the defined variable type has changed since assignment
        const declarationType = checker.getTypeFromTypeNode(declaration.type);
        const type = util.getConstrainedTypeAtLocation(checker, node);
        if (declarationType === type) {
          // possibly used before assigned, so just skip it
          // better to false negative and skip it, than false postiive and fix to compile erroring code
          //
          // no better way to figure this out right now
          // https://github.com/Microsoft/TypeScript/issues/31124
          return true;
        }
      }
      return false;
    }

    return {
      TSNonNullExpression(node) {
        const originalNode = parserServices.esTreeNodeToTSNodeMap.get<
          ts.NonNullExpression
        >(node);
        const type = util.getConstrainedTypeAtLocation(
          checker,
          originalNode.expression,
        );

        if (!util.isNullableType(type)) {
          if (isPossiblyUsedBeforeAssigned(originalNode.expression)) {
            return;
          }

          context.report({
            node,
            messageId: 'unnecessaryAssertion',
            fix(fixer) {
              return fixer.removeRange([
                originalNode.expression.end,
                originalNode.end,
              ]);
            },
          });
        } else {
          // we know it's a nullable type
          // so figure out if the variable is used in a place that accepts nullable types
          const contextualType = getContextualType(checker, originalNode);
          if (contextualType && util.isNullableType(contextualType)) {
            context.report({
              node,
              messageId: 'contextuallyUnnecessary',
              fix(fixer) {
                return fixer.removeRange([
                  originalNode.expression.end,
                  originalNode.end,
                ]);
              },
            });
          }
        }
      },
      'TSAsExpression, TSTypeAssertion'(
        node: TSESTree.TSTypeAssertion | TSESTree.TSAsExpression,
      ): void {
        if (
          options &&
          options.typesToIgnore &&
          options.typesToIgnore.indexOf(
            sourceCode.getText(node.typeAnnotation),
          ) !== -1
        ) {
          return;
        }

        const originalNode = parserServices.esTreeNodeToTSNodeMap.get<
          ts.AssertionExpression
        >(node);
        const castType = checker.getTypeAtLocation(originalNode);

        if (
          isTypeFlagSet(castType, ts.TypeFlags.Literal) ||
          (isObjectType(castType) &&
            (isObjectFlagSet(castType, ts.ObjectFlags.Tuple) ||
              couldBeTupleType(castType)))
        ) {
          // It's not always safe to remove a cast to a literal type or tuple
          // type, as those types are sometimes widened without the cast.
          return;
        }

        const uncastType = checker.getTypeAtLocation(originalNode.expression);

        if (uncastType === castType) {
          context.report({
            node,
            messageId: 'unnecessaryAssertion',
            fix(fixer) {
              return originalNode.kind === ts.SyntaxKind.TypeAssertionExpression
                ? fixer.removeRange([
                    originalNode.getStart(),
                    originalNode.expression.getStart(),
                  ])
                : fixer.removeRange([
                    originalNode.expression.end,
                    originalNode.end,
                  ]);
            },
          });
        }

        // TODO - add contextually unnecessary check for this
      },
    };
  },
});