[experiment] fully order independent type checking

packages/typescript/enums/objectFlags.d.ts

@@ -34,7 +34,6 @@ export declare enum ObjectFlags {
     ContainsSpread = 1 << 22,
     ObjectRestType = 1 << 23,
     IsClassInstanceClone = 1 << 26,
-    IdenticalBaseTypeCalculated = 1 << 27,
     IdenticalBaseTypeExists = 1 << 28,
     FromTypeNode = 1 << 29,
     IsGenericTypeComputed = 1 << 22,

packages/typescript/enums/objectFlags.js

@@ -34,7 +34,6 @@ export var ObjectFlags;
     ObjectFlags[ObjectFlags["ContainsSpread"] = 4194304] = "ContainsSpread";
     ObjectFlags[ObjectFlags["ObjectRestType"] = 8388608] = "ObjectRestType";
     ObjectFlags[ObjectFlags["IsClassInstanceClone"] = 67108864] = "IsClassInstanceClone";
-    ObjectFlags[ObjectFlags["IdenticalBaseTypeCalculated"] = 134217728] = "IdenticalBaseTypeCalculated";
     ObjectFlags[ObjectFlags["IdenticalBaseTypeExists"] = 268435456] = "IdenticalBaseTypeExists";
     ObjectFlags[ObjectFlags["FromTypeNode"] = 536870912] = "FromTypeNode";
     ObjectFlags[ObjectFlags["IsGenericTypeComputed"] = 4194304] = "IsGenericTypeComputed";

tsc/internal/ast/symbol.go

@@ -223,6 +223,11 @@ func (m *SymbolMap) SymbolAt(i int) *Symbol {
 	return symbol
 }
 
+// At returns the name and symbol of the i-th entry, in insertion order.
+func (m *SymbolMap) At(i int) (string, *Symbol) {
+	return m.KeyAt(i), m.SymbolAt(i)
+}
+
 func (m *SymbolMap) Find(key string) int {
 	if m == nil {
 		return -1

tsc/internal/ast/utilities.go

@@ -33,6 +33,16 @@ func GetNodeId(node *Node) NodeId {
 	return NodeId(id)
 }
 
+// PeekNodeId returns the id of node, or 0 if it has none yet.
+func PeekNodeId(node *Node) NodeId {
+	return NodeId(node.id.Load())
+}
+
+// PeekSymbolId returns the id of symbol, or 0 if it has none yet.
+func PeekSymbolId(symbol *Symbol) SymbolId {
+	return SymbolId(symbol.id.Load())
+}
+
 func GetSymbolId(symbol *Symbol) SymbolId {
 	id := symbol.id.Load()
 	if id == 0 {

tsc/internal/checker/emitresolver.go

@@ -398,7 +398,7 @@ func (r *EmitResolver) IsReferencedAliasDeclaration(node *ast.Node) bool {
 			if aliasLinks.referenced {
 				return true
 			}
-			target := aliasLinks.aliasTarget
+			target := aliasLinks.aliasTarget.get(c)
 			if target != nil && node.ModifierFlags()&ast.ModifierFlagsExport != 0 &&
 				c.getSymbolFlags(target)&ast.SymbolFlagsValue != 0 &&
 				(c.compilerOptions.ShouldPreserveConstEnums() || !isConstEnumOrConstEnumOnlyModule(target)) {
@@ -502,6 +502,12 @@ func (r *EmitResolver) MarkLinkedReferencesRecursively(file *ast.SourceFile) {
 	defer r.checkerMu.Unlock()
 
 	if file != nil {
+		r.markLinkedReferencesRecursively(file)
+	}
+}
+
+func (r *EmitResolver) markLinkedReferencesRecursively(file *ast.SourceFile) {
+	{
 		var visit ast.Visitor
 		visit = func(n *ast.Node) bool {
 			if ast.IsImportEqualsDeclaration(n) && n.ModifierFlags()&ast.ModifierFlagsExport == 0 {