New codefix provider to remove superflous binding for a Union case that has 0 fields.

[T-Gro]

This kicks in when:

• DU case has 0 fields and _ is used to pattern match
• DU case has 0 fields and a named binding is used to pattern match

This builds on top of the new diagnostics added via #14055

CodeFixRemoveSuperflousBinding.mp4

[T-Gro]

/run fantomas

[github-actions]

Failed to run fantomas: https://github.com/dotnet/fsharp/actions/runs/3419732464

[vzarytovskii]

Huh, interesting that it failed to run fantomas. Need to check what's up with it

[edgarfgp]

@T-Gro This looks awesome .

[kerams]

fsharp/fslang-suggestions#1094 would be a godsend in cases like this.

[T-Gro]

fsharp/fslang-suggestions#1094 would be a godsend in cases like this.

Oh yes, the relevant part of the tree when spotting a diagnostic (since it is available "at hand") could directly flow with it.
Right now, doing code fixes feels like scratching your left ear with your right leg :((

[edgarfgp]

@T-Gro While I was adding the same quick fix for Rider. I notice that we can also use the same quick fix for FS3191: This literal pattern does not take arguments

type E =
     | A = 1
     | B = 2

 let (E.A x) = E.A

match E.A with
 | E.A x -> ()

let [<Literal>] A = 1

 match 1 with
 | (A x) -> ()

See JetBrains/resharper-fsharp#444 for more info