Hints(,tests): add conditionless reduction

Author: knocte

src/FSharpLint.Core/fsharplint.json

@@ -410,6 +410,7 @@
             "false <> a ===> a",
             "if a then true else false ===> a",
             "if a then false else true ===> not a",
+            "if x then y else y ===> y",
             "not (not x) ===> x",
 
             "(fst x, snd x) ===> x",

tests/FSharpLint.Core.Tests/Rules/Hints/HintMatcher.fs

@@ -953,4 +953,21 @@ let x y =
 
         this.SetConfig(["List.map f (List.map g x) ===> List.map (g >> f) x"])
         this.Parse(source)
-        Assert.AreEqual(expected, this.ApplyQuickFix source)
+        Assert.AreEqual(expected, this.ApplyQuickFix source)
+
+    [<Test>]
+    member this.``Result same regardless of condition can remove conditional block``() =
+        let source = """
+if (someCondition a b) then
+    res
+else
+    res
+"""
+
+        let expected = """
+res
+"""
+
+        this.SetConfig(["if x then y else y ===> y"])
+        this.Parse(source)
+        Assert.AreEqual(expected, this.ApplyQuickFix source)