Code

Merge main to release/dev17.9#16441

Code

Merged

vzarytovskii merged 3 commits intorelease/dev17.9dotnet/fsharp:release/dev17.9from merges/main-to-release/dev17.9dotnet/fsharp:merges/main-to-release/dev17.9Copy head branch name to clipboardDec 15, 2023

+108-68

Commits

Commits on Dec 14, 2023

• Checker: recover on unresolved type in 'inherit' member (#16429)

  Show description for f9b22ce
  auduchinok

  authored
  f9b22ce

  Copy full SHA for f9b22ce

• Optimize empty string compares (#16435)

  Show description for b846403
  dawedawe

  authored
  b846403

  Copy full SHA for b846403

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

  KevinRansom

  authored
  4b6ed21

  Copy full SHA for 4b6ed21