Merge pull request #17717 from dotnet/merges/main-to-release/dev17.12

Author: vzarytovskii

.devcontainer/devcontainer.json

@@ -1,12 +1,12 @@
 // For format details, see https://aka.ms/vscode-remote/devcontainer.json or this file's README at:
 {
     "name": "F#",
-    "image": "mcr.microsoft.com/dotnet/sdk:9.0.100-preview.7",
+    "image": "mcr.microsoft.com/dotnet/sdk:9.0.100-rc.1",
     "features": {
-        "ghcr.io/devcontainers/features/common-utils:2.4.6": {},
+        "ghcr.io/devcontainers/features/common-utils:2.5.1": {},
         "ghcr.io/devcontainers/features/git:1.3.2": {},
         "ghcr.io/devcontainers/features/github-cli:1.0.13": {},
-        "ghcr.io/devcontainers/features/dotnet:2.1.2": {}
+        "ghcr.io/devcontainers/features/dotnet:2.1.3": {}
     },
     "hostRequirements": {
         "cpus": 2,

Directory.Build.props

@@ -46,7 +46,10 @@
 
   <PropertyGroup Condition="'$(BUILDING_USING_DOTNET)' == 'true'">
     <DisableAutoSetFscCompilerPath>false</DisableAutoSetFscCompilerPath>
-    <FSHARPCORE_USE_PACKAGE Condition="'$(FSHARPCORE_USE_PACKAGE)' == ''">true</FSHARPCORE_USE_PACKAGE>
+
+    <!-- TODO(vlza): This probably should be `true` once fslib with nullness ships, since shipped library is preferred by default when building this solution. -->
+    <FSHARPCORE_USE_PACKAGE Condition="'$(FSHARPCORE_USE_PACKAGE)' == ''">false</FSHARPCORE_USE_PACKAGE>
+
     <DISABLE_ARCADE Condition="'$(DISABLE_ARCADE)' == ''">true</DISABLE_ARCADE>
     <ArtifactsDir>$(MSBuildThisFileDirectory)artifacts/</ArtifactsDir>
     <OutputPath>$(ArtifactsDir)/bin/$(MSBuildProjectName)/$(Configuration)/</OutputPath>
@@ -57,6 +60,7 @@
     <FsYaccPath>$(ArtifactsDir)/bin/fsyacc/$(Configuration)/$(FSharpNetCoreProductDefaultTargetFramework)/$(RuntimeIdentifier)/fsyacc.dll</FsYaccPath>
     <DefineConstants>NO_CHECKNULLS;BUILDING_WITH_LKG;NO_NULLCHECKING_LIB_SUPPORT;$(DefineConstants)</DefineConstants>
   </PropertyGroup>
+
   <Import Project="$(MSBuildThisFileDirectory)/eng/Versions.props" Condition="'$(DISABLE_ARCADE)' == 'true'" />
 
   <Import Project="FSharpBuild.Directory.Build.props" Condition=" '$(FSharpTestCompilerVersion)' == '' " />

Directory.Build.targets

@@ -51,5 +51,4 @@
       RemoveProperties="TargetFramework"
       StopOnFirstFailure="True" />
   </Target>
-
 </Project>

FSharp.Profiles.props

@@ -22,6 +22,10 @@
     <OtherFlags>$(OtherFlags) /langversion:preview</OtherFlags>
   </PropertyGroup>
 
+  <PropertyGroup Condition="'$(BUILDING_USING_DOTNET)' == 'true'"> 
+      <CheckNulls>false</CheckNulls>
+  </PropertyGroup>
+
   <PropertyGroup Condition="'$(CheckNulls)' == 'true'">
     <Nullable>enable</Nullable>
   </PropertyGroup>

eng/Version.Details.xml

@@ -42,14 +42,14 @@
     </Dependency>
   </ProductDependencies>
   <ToolsetDependencies>
-    <Dependency Name="Microsoft.DotNet.Arcade.Sdk" Version="9.0.0-beta.24459.6">
+    <Dependency Name="Microsoft.DotNet.Arcade.Sdk" Version="9.0.0-beta.24462.3">
       <Uri>https://github.com/dotnet/arcade</Uri>
-      <Sha>65260b148c869ada772a5843863c54737cd2361e</Sha>
+      <Sha>91b9734abbad751d575c002b30778c88d978993c</Sha>
     </Dependency>
     <!-- Intermediate is necessary for source build. -->
-    <Dependency Name="Microsoft.SourceBuild.Intermediate.arcade" Version="9.0.0-beta.24459.6">
+    <Dependency Name="Microsoft.SourceBuild.Intermediate.arcade" Version="9.0.0-beta.24462.3">
       <Uri>https://github.com/dotnet/arcade</Uri>
-      <Sha>65260b148c869ada772a5843863c54737cd2361e</Sha>
+      <Sha>91b9734abbad751d575c002b30778c88d978993c</Sha>
       <SourceBuild RepoName="arcade" ManagedOnly="true" />
     </Dependency>
     <Dependency Name="optimization.windows_nt-x64.MIBC.Runtime" Version="1.0.0-prerelease.23614.4">

global.json

@@ -1,10 +1,10 @@
 {
   "sdk": {
-    "version": "9.0.100-preview.7.24407.12",
+    "version": "9.0.100-rc.1.24452.12",
     "allowPrerelease": true
   },
   "tools": {
-    "dotnet": "9.0.100-preview.7.24407.12",
+    "dotnet": "9.0.100-rc.1.24452.12",
     "vs": {
       "version": "17.8",
       "components": [
@@ -17,7 +17,7 @@
     "perl": "5.38.2.2"
   },
   "msbuild-sdks": {
-    "Microsoft.DotNet.Arcade.Sdk": "9.0.0-beta.24459.6",
+    "Microsoft.DotNet.Arcade.Sdk": "9.0.0-beta.24462.3",
     "Microsoft.DotNet.Helix.Sdk": "8.0.0-beta.23255.2"
   }
 }

tests/AheadOfTime/Trimming/check.ps1

@@ -43,7 +43,7 @@ function CheckTrim($root, $tfm, $outputfile, $expected_len) {
 # error NETSDK1124: Trimming assemblies requires .NET Core 3.0 or higher.
 
 # Check net7.0 trimmed assemblies
-CheckTrim -root "SelfContained_Trimming_Test" -tfm "net9.0" -outputfile "FSharp.Core.dll" -expected_len 287232
+CheckTrim -root "SelfContained_Trimming_Test" -tfm "net9.0" -outputfile "FSharp.Core.dll" -expected_len 297984
 
 # Check net8.0 trimmed assemblies
-CheckTrim -root "StaticLinkedFSharpCore_Trimming_Test" -tfm "net9.0" -outputfile "StaticLinkedFSharpCore_Trimming_Test.dll" -expected_len 8821248
+CheckTrim -root "StaticLinkedFSharpCore_Trimming_Test" -tfm "net9.0" -outputfile "StaticLinkedFSharpCore_Trimming_Test.dll" -expected_len 9148416

tests/FSharp.Compiler.ComponentTests/Interop/ByrefTests.fs

@@ -115,7 +115,7 @@ open System.Collections.Generic
 let myDict = ["x",1;"xyz",2] |> dict |> Dictionary 
 
 let checkIfPresent (input:ReadOnlySpan<char>) = 
-    let altLookup = myDict.GetAlternateLookup<string,int,ReadOnlySpan<char>>()
+    let altLookup = myDict.GetAlternateLookup<ReadOnlySpan<char>>()
     let present = altLookup.ContainsKey(input)
     for c in input do
         printf "%c" c
@@ -134,7 +134,7 @@ let main _args =
         |> shouldSucceed
         |> verifyOutputContains [|": false";"x: true";"xyz: true"|]
         |> verifyIL 
-            ["call       valuetype [System.Collections]System.Collections.Generic.Dictionary`2/AlternateLookup`1<!!0,!!1,!!2> [System.Collections]System.Collections.Generic.CollectionExtensions::GetAlternateLookup<string,int32,valuetype [runtime]System.ReadOnlySpan`1<char>>(class [System.Collections]System.Collections.Generic.Dictionary`2<!!0,!!1>)"]
+            ["callvirt   instance valuetype [System.Collections]System.Collections.Generic.Dictionary`2/AlternateLookup`1<!0,!1,!!0> class [System.Collections]System.Collections.Generic.Dictionary`2<string,int32>::GetAlternateLookup<valuetype [runtime]System.ReadOnlySpan`1<char>>()"]
 
     [<FactForNETCOREAPP>]
     let ``Ref structs in generics - GetAlternateLookup`` () =
@@ -144,7 +144,7 @@ open System.Collections.Generic
 
 let main _args = 
     let myDict = ["x",1;"y",2] |> dict |> Dictionary 
-    let altLookup = myDict.GetAlternateLookup<string,int,ReadOnlySpan<char>>()
+    let altLookup = myDict.GetAlternateLookup<ReadOnlySpan<char>>()
     altLookup.ContainsKey(ReadOnlySpan([|'x'|]))
         """
         |> withLangVersionPreview