Revert "Turn ClassElement and TypeElement into unions too"

sandersn · sandersn · commit dd94ad239aba · 2017-05-08T14:16:53.000-07:00
This reverts commit 22f353a.
diff --git a/src/compiler/types.ts b/src/compiler/types.ts
@@ -616,6 +616,7 @@ namespace ts {
         | CallExpression
         | CallSignatureDeclaration
         | ClassDeclaration
+        | ClassElement
         | ClassExpression
         | ClassLikeDeclaration
         | ConstructSignatureDeclaration
@@ -716,14 +717,13 @@ namespace ts {
         typeParameters?: NodeArray<TypeParameterDeclaration>;
         parameters: NodeArray<ParameterDeclaration>;
         type?: TypeNode;
-        questionToken?: QuestionToken;
     }
 
-    export interface CallSignatureDeclaration extends SignatureDeclaration {
+    export interface CallSignatureDeclaration extends SignatureDeclaration, TypeElement {
         kind: SyntaxKind.CallSignature;
     }
 
-    export interface ConstructSignatureDeclaration extends SignatureDeclaration {
+    export interface ConstructSignatureDeclaration extends SignatureDeclaration, TypeElement {
         kind: SyntaxKind.ConstructSignature;
     }
 
@@ -762,15 +762,15 @@ namespace ts {
         initializer?: Expression;           // Optional initializer
     }
 
-    export interface PropertySignature extends DeclarationBase {
+    export interface PropertySignature extends TypeElement {
         kind: SyntaxKind.PropertySignature | SyntaxKind.JSDocRecordMember;
         name: PropertyName;                 // Declared property name
         questionToken?: QuestionToken;      // Present on optional property
         type?: TypeNode;                    // Optional type annotation
         initializer?: Expression;           // Optional initializer
     }
 
-    export interface PropertyDeclaration extends DeclarationBase {
+    export interface PropertyDeclaration extends ClassElement {
         kind: SyntaxKind.PropertyDeclaration;
         questionToken?: QuestionToken;      // Present for use with reporting a grammar error
         name: PropertyName;
@@ -876,7 +876,7 @@ namespace ts {
         body?: FunctionBody;
     }
 
-    export interface MethodSignature extends SignatureDeclaration {
+    export interface MethodSignature extends SignatureDeclaration, TypeElement {
         kind: SyntaxKind.MethodSignature;
         name: PropertyName;
     }
@@ -890,28 +890,27 @@ namespace ts {
     // Because of this, it may be necessary to determine what sort of MethodDeclaration you have
     // at later stages of the compiler pipeline.  In that case, you can either check the parent kind
     // of the method, or use helpers like isObjectLiteralMethodDeclaration
-    export interface MethodDeclaration extends FunctionLikeDeclaration, ObjectLiteralElement {
+    export interface MethodDeclaration extends FunctionLikeDeclaration, ClassElement, ObjectLiteralElement {
         kind: SyntaxKind.MethodDeclaration;
         name: PropertyName;
         body?: FunctionBody;
     }
 
-    export interface ConstructorDeclaration extends FunctionLikeDeclaration {
+    export interface ConstructorDeclaration extends FunctionLikeDeclaration, ClassElement {
         kind: SyntaxKind.Constructor;
         parent?: ClassDeclaration | ClassExpression;
         body?: FunctionBody;
     }
 
     /** For when we encounter a semicolon in a class declaration. ES6 allows these as class elements. */
-    export interface SemicolonClassElement extends DeclarationBase {
+    export interface SemicolonClassElement extends ClassElement {
         kind: SyntaxKind.SemicolonClassElement;
         parent?: ClassDeclaration | ClassExpression;
-        name?: PropertyName;
     }
 
     // See the comment on MethodDeclaration for the intuition behind GetAccessorDeclaration being a
     // ClassElement and an ObjectLiteralElement.
-    export interface GetAccessorDeclaration extends FunctionLikeDeclaration, ObjectLiteralElement {
+    export interface GetAccessorDeclaration extends FunctionLikeDeclaration, ClassElement, ObjectLiteralElement {
         kind: SyntaxKind.GetAccessor;
         parent?: ClassDeclaration | ClassExpression | ObjectLiteralExpression;
         name: PropertyName;
@@ -920,7 +919,7 @@ namespace ts {
 
     // See the comment on MethodDeclaration for the intuition behind SetAccessorDeclaration being a
     // ClassElement and an ObjectLiteralElement.
-    export interface SetAccessorDeclaration extends FunctionLikeDeclaration, ObjectLiteralElement {
+    export interface SetAccessorDeclaration extends FunctionLikeDeclaration, ClassElement, ObjectLiteralElement {
         kind: SyntaxKind.SetAccessor;
         parent?: ClassDeclaration | ClassExpression | ObjectLiteralExpression;
         name: PropertyName;
@@ -929,7 +928,7 @@ namespace ts {
 
     export type AccessorDeclaration = GetAccessorDeclaration | SetAccessorDeclaration;
 
-    export interface IndexSignatureDeclaration extends SignatureDeclaration {
+    export interface IndexSignatureDeclaration extends SignatureDeclaration, ClassElement, TypeElement {
         kind: SyntaxKind.IndexSignature;
         parent?: ClassDeclaration | ClassExpression | InterfaceDeclaration | TypeLiteralNode;
     }
@@ -1696,7 +1695,7 @@ namespace ts {
         kind: SyntaxKind.DebuggerStatement;
     }
 
-    export interface MissingDeclaration extends DeclarationStatement, ObjectLiteralElement {
+    export interface MissingDeclaration extends DeclarationStatement, ClassElement, ObjectLiteralElement, TypeElement {
         kind: SyntaxKind.MissingDeclaration;
         name?: Identifier;
     }
@@ -1864,26 +1863,34 @@ namespace ts {
         kind: SyntaxKind.ClassExpression;
     }
 
-    export type ClassElement =
-        | PropertyDeclaration
-        | MethodDeclaration
-        | ConstructorDeclaration
-        | SemicolonClassElement
-        | GetAccessorDeclaration
-        | SetAccessorDeclaration
-        | IndexSignatureDeclaration
-        | MissingDeclaration;
+    export interface ClassElement extends DeclarationBase {
+        kind:
+            | SyntaxKind.PropertyDeclaration
+            | SyntaxKind.MethodDeclaration
+            | SyntaxKind.Constructor
+            | SyntaxKind.SemicolonClassElement
+            | SyntaxKind.GetAccessor
+            | SyntaxKind.SetAccessor
+            | SyntaxKind.IndexSignature
+            | SyntaxKind.MissingDeclaration;
+        _classElementBrand: any;
+        name?: PropertyName;
+    }
 
-    export type TypeElement =
-        | CallSignatureDeclaration
-        | ConstructSignatureDeclaration
-        | PropertySignature
-        | MethodSignature
-        | IndexSignatureDeclaration
-        | MissingDeclaration
-        | IndexSignatureDeclaration
-        | JSDocPropertyTag
-        | JSDocRecordMember;
+    export interface TypeElement extends DeclarationBase {
+        kind:
+            | SyntaxKind.CallSignature
+            | SyntaxKind.ConstructSignature
+            | SyntaxKind.PropertySignature
+            | SyntaxKind.MethodSignature
+            | SyntaxKind.IndexSignature
+            | SyntaxKind.MissingDeclaration
+            | SyntaxKind.JSDocPropertyTag
+            | SyntaxKind.JSDocRecordMember;
+        _typeElementBrand: any;
+        name?: PropertyName;
+        questionToken?: QuestionToken;
+    }
 
     export interface InterfaceDeclaration extends DeclarationStatement {
         kind: SyntaxKind.InterfaceDeclaration;
@@ -2217,7 +2224,7 @@ namespace ts {
         jsDocTypeLiteral?: JSDocTypeLiteral;
     }
 
-    export interface JSDocPropertyTag extends JSDocTag {
+    export interface JSDocPropertyTag extends JSDocTag, TypeElement {
         kind: SyntaxKind.JSDocPropertyTag;
         name: Identifier;
         typeExpression: JSDocTypeExpression;
