Bump FSharp.Core from 4.6.2 to 5.0.1 in /src/FsCheckCSharp

[dependabot-preview]

Bumps FSharp.Core from 4.6.2 to 5.0.1.

Changelog

Sourced from FSharp.Core's changelog.

FSharp.Core 5.0.1

TBD

FSharp tools 11.0.1

• Add ConvertToAnonymousRecord quick fixeroony #10493
• Add UseMutationWhenValueIsMutable code fix #10488
• Add MakeDeclarationMutable code fix #10480
• Add ChangeToUpcast code fix #10463
• Add AddMissingEqualsToTypeDefinition code fixer #10470
• Tag items in tooltips consistenly with respect to document classification. #9563
• Add ConvertToSingleEqualsEqualityExpression code fix #10462
• Turn XML doc and SigImpl mismatch warnings on by default #10457
• Add ChangeRefCellDerefToNotExpression code fixer #10469
• Add WrapExpressionInParentheses code fix #10460
• Add ChangePrefixNegationToInfixSubtraction code fixeroo #10471
• Fix generic overloads with nullable #10582
• Resolve issue with implicit yields requiring Zero #10556, by Ryan Coy
• Fix issue10550 FSI accessing System.Configuration. #10572
• Add field names to ILNativeType.Custom. #10567, by Scott Hutchinson
• Add field names to the ILExceptionClause.FilterCatch constructor. #10559, by Scott Hutchinson
• Fix completion with backticks, underscores, numbers #10500, by zanaptak
• Emitting IsReadOnly/In attributes on abstract properties #10542
• Disable partial type checking when getting full results for a file #10448
• Fix unused open type declaration detection #10510, by André Slupik

FSharp Compiler Service 40.0.0

This is a second big update to FCS. There are significant trimmings and renamings of the API and gets it close to a more permanent form:

The primary namespaces are now:

FSharp.Compiler.IO                // FileSystem
FSharp.Compiler.CodeAnalysis      // FSharpChecker, FSharpCheckFileResults, FSharpChecProjectResults and friends
FSharp.Compiler.Diagnostics       // FSharpDiagnostic and friends
FSharp.Compiler.EditorServices    // Misc functionality for editors, e.g. interface stub generation
FSharp.Compiler.Interactive.Shell // F# Interactive
FSharp.Compiler.Symbols           // FSharpEntity etc
FSharp.Compiler.Syntax            // SyntaxTree, XmlDoc, PrettyNaming
FSharp.Compiler.Text              // ISourceFile, Range, TaggedText and other things
FSharp.Compiler.Tokenization      // FSharpLineTokenizer etc.

Changes in FSharp.Compiler.Diagnostics

• ErrorHelpers --> DiagnosticHelpers

... (truncated)

Commits

• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
• @dependabot use these labels will set the current labels as the default for future PRs for this repo and language
• @dependabot use these reviewers will set the current reviewers as the default for future PRs for this repo and language
• @dependabot use these assignees will set the current assignees as the default for future PRs for this repo and language
• @dependabot use this milestone will set the current milestone as the default for future PRs for this repo and language
• @dependabot badge me will comment on this PR with code to add a "Dependabot enabled" badge to your readme

Additionally, you can set the following in your Dependabot dashboard:

• Update frequency (including time of day and day of week)
• Pull request limits (per update run and/or open at any time)
• Out-of-range updates (receive only lockfile updates, if desired)
• Security updates (receive only security updates, if desired)

[dependabot-preview]

Superseded by #8.