disable typar ident overwrite in extensions when deterministic

Author: majocha

src/Compiler/Checking/CheckDeclarations.fs

@@ -4218,7 +4218,8 @@ module TcDeclarations =
                 | Result res ->
                     // Update resolved type parameters with the names from the source.
                     let _, tcref, _ = res
-                    if tcref.TyparsNoRange.Length = synTypars.Length then
+
+                    if (not g.deterministic) && tcref.TyparsNoRange.Length = synTypars.Length then
                         (tcref.TyparsNoRange, synTypars)
                         ||> List.zip
                         |> List.iter (fun (typar, SynTyparDecl.SynTyparDecl (typar = tp)) ->

src/Compiler/Driver/CompilerImports.fs

@@ -2606,6 +2606,7 @@ and [<Sealed>] TcImports
                     tcConfig.pathMap,
                     tcConfig.langVersion,
                     tcConfig.realsig,
+                    tcConfig.deterministic,
                     tcConfig.compilationMode
                 )
 

src/Compiler/Service/IncrementalBuild.fs

@@ -573,6 +573,7 @@ type FrameworkImportsCache(size) =
                         tcGlobals.pathMap,
                         tcConfig.langVersion,
                         tcConfig.realsig,
+                        tcConfig.deterministic,
                         tcConfig.compilationMode
                     )
 

src/Compiler/SyntaxTree/UnicodeLexing.fs

@@ -8,7 +8,7 @@ open Internal.Utilities.Text.Lexing
 
 type Lexbuf = LexBuffer<char>
 
-type LexBuffer<'Char> with
+type LexBuffer<'char> with
 
     member lexbuf.GetLocalData<'T when 'T: not null>(key: string, initializer) =
         match lexbuf.BufferLocalStore.TryGetValue key with

src/Compiler/SyntaxTree/UnicodeLexing.fsi

@@ -9,7 +9,7 @@ open Internal.Utilities.Text.Lexing
 
 type Lexbuf = LexBuffer<char>
 
-type LexBuffer<'Char> with
+type LexBuffer<'char> with
     member GetLocalData<'T when 'T: not null> : key: string * initializer: (unit -> 'T) -> 'T
     member TryGetLocalData<'T when 'T: not null> : key: string -> 'T option
 

src/Compiler/TypedTree/TcGlobals.fs

@@ -198,6 +198,7 @@ type TcGlobals(
     pathMap: PathMap,
     langVersion: LanguageVersion,
     realsig: bool,
+    deterministic: bool,
     compilationMode: CompilationMode) =
 
   let v_langFeatureNullness = langVersion.SupportsFeature LanguageFeature.NullnessChecking
@@ -1847,6 +1848,8 @@ type TcGlobals(
   /// Are we assuming all code gen is for F# interactive, with no static linking
   member _.isInteractive=isInteractive
 
+  member val deterministic = deterministic
+
   member val compilationMode = compilationMode
 
   /// Indicates if we are generating witness arguments for SRTP constraints. Only done if the FSharp.Core

src/Compiler/TypedTree/TcGlobals.fsi

@@ -157,6 +157,7 @@ type internal TcGlobals =
         pathMap: Internal.Utilities.PathMap *
         langVersion: FSharp.Compiler.Features.LanguageVersion *
         realsig: bool *
+        deterministic: bool *
         compilationMode: CompilationMode ->
             TcGlobals
 
@@ -826,6 +827,8 @@ type internal TcGlobals =
     /// Are we assuming all code gen is for F# interactive, with no static linking
     member isInteractive: bool
 
+    member deterministic: bool
+
     member compilationMode: CompilationMode
 
     member isnull_info: IntrinsicValRef