Apply suggestion from @T-Gro

T-Gro · web-flow · commit 1db743397183 · 2025-12-04T21:01:31.000+01:00
diff --git a/src/Compiler/Checking/import.fs b/src/Compiler/Checking/import.fs
@@ -702,7 +702,7 @@ let rec ImportILTypeDef amap m scoref (cpath: CompilationPath) enc nm (tdef: ILT
         )
 
     let nullableFallback =
-        let amapValue = amap()
+        let amapValue : ImportMap = amap()
         if amapValue.g.langFeatureNullness && amapValue.g.checkNullness then
             // Immediately read the attrs to avoid keeping a reference to tdef.CustomAttrsStored
             let attrs = tdef.CustomAttrsStored.GetCustomAttrs(tdef.MetadataIndex)

Original file line number	Diff line number	Diff line change
`@@ -702,7 +702,7 @@ let rec ImportILTypeDef amap m scoref (cpath: CompilationPath) enc nm (tdef: ILT`
`702`	`702`	`)`
`703`	`703`
`704`	`704`	`let nullableFallback =`
`705`		`- let amapValue = amap()`
	`705`	`+ let amapValue : ImportMap = amap()`
`706`	`706`	`if amapValue.g.langFeatureNullness && amapValue.g.checkNullness then`
`707`	`707`	`// Immediately read the attrs to avoid keeping a reference to tdef.CustomAttrsStored`
`708`	`708`	`let attrs = tdef.CustomAttrsStored.GetCustomAttrs(tdef.MetadataIndex)`