Add super to control flow.

sandersn · sandersn · commit a4a7669a4ba3 · 2017-03-31T14:17:37.000-07:00
It is handled the same way as 'this'
diff --git a/src/compiler/binder.ts b/src/compiler/binder.ts
@@ -703,6 +703,7 @@ namespace ts {
         function isNarrowableReference(expr: Expression): boolean {
             return expr.kind === SyntaxKind.Identifier ||
                 expr.kind === SyntaxKind.ThisKeyword ||
+                expr.kind === SyntaxKind.SuperKeyword ||
                 expr.kind === SyntaxKind.PropertyAccessExpression && isNarrowableReference((<PropertyAccessExpression>expr).expression);
         }
 
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -10347,6 +10347,8 @@ namespace ts {
                         getExportSymbolOfValueSymbolIfExported(getResolvedSymbol(<Identifier>source)) === getSymbolOfNode(target);
                 case SyntaxKind.ThisKeyword:
                     return target.kind === SyntaxKind.ThisKeyword;
+                case SyntaxKind.SuperKeyword:
+                    return target.kind === SyntaxKind.SuperKeyword;
                 case SyntaxKind.PropertyAccessExpression:
                     return target.kind === SyntaxKind.PropertyAccessExpression &&
                         (<PropertyAccessExpression>source).name.text === (<PropertyAccessExpression>target).name.text &&
@@ -11483,6 +11485,7 @@ namespace ts {
                 switch (expr.kind) {
                     case SyntaxKind.Identifier:
                     case SyntaxKind.ThisKeyword:
+                    case SyntaxKind.SuperKeyword:
                     case SyntaxKind.PropertyAccessExpression:
                         return narrowTypeByTruthiness(type, expr, assumeTrue);
                     case SyntaxKind.CallExpression:

Original file line number	Diff line number	Diff line change
`@@ -703,6 +703,7 @@ namespace ts {`
`703`	`703`	`function isNarrowableReference(expr: Expression): boolean {`
`704`	`704`	`return expr.kind === SyntaxKind.Identifier \|\|`
`705`	`705`	`expr.kind === SyntaxKind.ThisKeyword \|\|`
	`706`	`+ expr.kind === SyntaxKind.SuperKeyword \|\|`
`706`	`707`	`expr.kind === SyntaxKind.PropertyAccessExpression && isNarrowableReference((<PropertyAccessExpression>expr).expression);`
`707`	`708`	`}`
`708`	`709`