Code

Merge main to release/dev17.8#15658

Code

Merged

KevinRansom merged 4 commits intorelease/dev17.8dotnet/fsharp:release/dev17.8from merges/main-to-release/dev17.8dotnet/fsharp:merges/main-to-release/dev17.8Copy head branch name to clipboardJul 21, 2023

Commits

Commits on Jul 21, 2023

• Add trivia information to SynConst.Measure (#15614)

  Show description for 7b5e128
  dawedawe

  authored
  7b5e128

  Copy full SHA for 7b5e128

• Warn when obj is inferred (#13298)

  Show description for fd80552
  

  Smaug123

  and

  T-Gro

  authored
  fd80552

  Copy full SHA for fd80552

• Update dependencies from https://github.com/dotnet/arcade build 20230719.2 (#15646)

  Show description for 15778ed
  

  dotnet-maestro[bot]

  and

  vzarytovskii

  authored
  15778ed

  Copy full SHA for 15778ed

• Merge branch 'release/dev17.8' into merges/main-to-release/dev17.8

  vzarytovskii

  authored
  c8bc317

  Copy full SHA for c8bc317