Removes symbol binding and changes anyType to unknownType

Author: tinganho

src/compiler/binder.ts

@@ -128,8 +128,6 @@ module ts {
                 case SyntaxKind.FunctionDeclaration:
                 case SyntaxKind.ClassDeclaration:
                     return node.flags & NodeFlags.Default ? "default" : undefined;
-                case SyntaxKind.TypeGuardType:
-                    return "__typeguard";
             }
         }
 
@@ -431,9 +429,6 @@ module ts {
                 case SyntaxKind.TypeParameter:
                     bindDeclaration(<Declaration>node, SymbolFlags.TypeParameter, SymbolFlags.TypeParameterExcludes, /*isBlockScopeContainer*/ false);
                     break;
-                case SyntaxKind.TypeGuardType:
-                    bindDeclaration(<Declaration>node, (SymbolFlags.TypeGuardType | SymbolFlags.Value), SymbolFlags.TypeGuardTypeExcludes, /*isBlockScopeContainer*/ false);
-                    break;
                 case SyntaxKind.Parameter:
                     bindParameter(<ParameterDeclaration>node);
                     break;

src/compiler/checker.ts

@@ -3726,9 +3726,8 @@ module ts {
                 }
             }
             else {
-                type.type = anyType;
+                type.type = unknownType;
             }
-            type.symbol = node.symbol;
             return type;
         }
 

src/compiler/types.ts

@@ -1313,24 +1313,23 @@ module ts {
         SetAccessor             = 0x00010000,  // Set accessor
         Signature               = 0x00020000,  // Call, construct, or index signature
         TypeParameter           = 0x00040000,  // Type parameter
-        TypeGuardType           = 0x00080000,  // Type-guard type
-        TypeAlias               = 0x00100000,  // Type alias
-        ExportValue             = 0x00200000,  // Exported value marker (see comment in declareModuleMember in binder)
-        ExportType              = 0x00400000,  // Exported type marker (see comment in declareModuleMember in binder)
-        ExportNamespace         = 0x00800000,  // Exported namespace marker (see comment in declareModuleMember in binder)
-        Alias                   = 0x01000000,  // An alias for another symbol (see comment in isAliasSymbolDeclaration in checker)
-        Instantiated            = 0x02000000,  // Instantiated symbol
-        Merged                  = 0x04000000,  // Merged symbol (created during program binding)
-        Transient               = 0x08000000,  // Transient symbol (created during type check)
-        Prototype               = 0x10000000,  // Prototype property (no source representation)
-        UnionProperty           = 0x20000000,  // Property in union type
-        Optional                = 0x40000000,  // Optional property
-        ExportStar              = 0x80000000,  // Export * declaration
+        TypeAlias               = 0x00080000,  // Type alias
+        ExportValue             = 0x00100000,  // Exported value marker (see comment in declareModuleMember in binder)
+        ExportType              = 0x00200000,  // Exported type marker (see comment in declareModuleMember in binder)
+        ExportNamespace         = 0x00400000,  // Exported namespace marker (see comment in declareModuleMember in binder)
+        Alias                   = 0x00800000,  // An alias for another symbol (see comment in isAliasSymbolDeclaration in checker)
+        Instantiated            = 0x01000000,  // Instantiated symbol
+        Merged                  = 0x02000000,  // Merged symbol (created during program binding)
+        Transient               = 0x04000000,  // Transient symbol (created during type check)
+        Prototype               = 0x08000000,  // Prototype property (no source representation)
+        UnionProperty           = 0x10000000,  // Property in union type
+        Optional                = 0x20000000,  // Optional property
+        ExportStar              = 0x40000000,  // Export * declaration
 
         Enum = RegularEnum | ConstEnum,
         Variable = FunctionScopedVariable | BlockScopedVariable,
         Value = Variable | Property | EnumMember | Function | Class | Enum | ValueModule | Method | GetAccessor | SetAccessor,
-        Type = Class | Interface | Enum | TypeLiteral | ObjectLiteral | TypeParameter | TypeAlias | TypeGuardType,
+        Type = Class | Interface | Enum | TypeLiteral | ObjectLiteral | TypeParameter | TypeAlias,
         Namespace = ValueModule | NamespaceModule,
         Module = ValueModule | NamespaceModule,
         Accessor = GetAccessor | SetAccessor,
@@ -1357,7 +1356,6 @@ module ts {
         GetAccessorExcludes = Value & ~SetAccessor,
         SetAccessorExcludes = Value & ~GetAccessor,
         TypeParameterExcludes = Type & ~TypeParameter,
-        TypeGuardTypeExcludes = Type & ~TypeGuardType,
         TypeAliasExcludes = Type,
         AliasExcludes = Alias,