Initial replacement of heuristic code.

Author: nojaf

src/Compiler/Driver/ParseAndCheckInputs.fs

@@ -1395,10 +1395,6 @@ let CheckOneInput
                 )
     }
 
-let mutable asts = ConcurrentDictionary<string, ParsedInput>()
-
-let mutable fsiBackedInfos = ConcurrentDictionary<string, ModuleOrNamespaceType>()
-
 /// Typecheck a single file (or interactive entry into F# Interactive)
 let CheckOneInputAux'
     ((checkForErrors,
@@ -1459,10 +1455,6 @@ let CheckOneInputAux'
                         let m = qualNameOfFile.Range
                         TcOpenModuleOrNamespaceDecl tcSink tcGlobals amap m tcEnv (prefixPath, m)
 
-                // Save info needed for type-checking .fs file later on
-                // printfn $"[{Thread.CurrentThread.ManagedThreadId}] Saving fsiBackedInfos for {file.FileName}"
-                fsiBackedInfos[file.FileName] <- sigFileType
-
                 // printfn $"Finished Processing Sig {file.FileName}"
                 return
                     fun tcState ->

src/Compiler/Driver/ParseAndCheckInputs.fsi

@@ -152,8 +152,6 @@ val AddCheckResultsToTcState:
 
 type PartialResult = TcEnv * TopAttribs * CheckedImplFile option * ModuleOrNamespaceType
 
-val mutable fsiBackedInfos: System.Collections.Concurrent.ConcurrentDictionary<string, ModuleOrNamespaceType>
-
 type CheckArgs =
     CompilationThreadToken * (unit -> bool) * TcConfig * TcImports * TcGlobals * LongIdent option * TcState * (PhasedDiagnostic -> PhasedDiagnostic) * ParsedInput list
 
@@ -176,8 +174,6 @@ val CheckOneInput:
     skipImplIfSigExists: bool ->
         Cancellable<(TcEnv * TopAttribs * CheckedImplFile option * ModuleOrNamespaceType) * TcState>
 
-val mutable asts: System.Collections.Concurrent.ConcurrentDictionary<string, ParsedInput>
-
 /// Check one input, returned as an Eventually computation
 val CheckOneInput':
     checkForErrors: (unit -> bool) *