Unhandled node kind: TypePredicate

[mati-o]

Whenever a type predicate is used, as in the following example:

function foo(value: any): value is string {
    return true;
}

The factory code generator does not handle the type predicate node correctly:

Expected

  factory.createFunctionDeclaration(
    undefined,
    undefined,
    undefined,
    factory.createIdentifier("foo"),
    undefined,
    [factory.createParameterDeclaration(
      undefined,
      undefined,
      undefined,
      factory.createIdentifier("value"),
      undefined,
      factory.createKeywordTypeNode(ts.SyntaxKind.AnyKeyword),
      undefined
    )],
    factory.createTypePredicateNode(undefined, factory.createIdentifier("value"), factory.createKeywordTypeNode(ts.SyntaxKind.StringKeyword)),
    factory.createBlock(
      [factory.createReturnStatement(factory.createTrue())],
      true
    )
  )

Actual

  factory.createFunctionDeclaration(
    undefined,
    undefined,
    undefined,
    factory.createIdentifier("foo"),
    undefined,
    [factory.createParameterDeclaration(
      undefined,
      undefined,
      undefined,
      factory.createIdentifier("value"),
      undefined,
      factory.createKeywordTypeNode(ts.SyntaxKind.AnyKeyword),
      undefined
    )],
    /* Unhandled node kind: TypePredicate */,
    factory.createBlock(
      [factory.createReturnStatement(factory.createTrue())],
      true
    )
  )

Diff in summary (red is current behavior, green is desired):

-    /* Unhandled node kind: TypePredicate */,
+    factory.createTypePredicateNode(undefined, factory.createIdentifier("value"), factory.createKeywordTypeNode(ts.SyntaxKind.StringKeyword)),