Destruct only ADTs (#1695)

Author: isovector

plugins/hls-tactics-plugin/src/Wingman/Tactics.hs

@@ -298,6 +298,7 @@ destructAll = do
                 _ -> Nothing
                 )
            $ fmap (\hi -> (hi, hi_provenance hi))
+           $ filter (isAlgType . unCType . hi_type)
            $ unHypothesis
            $ jHypothesis jdg
   for_ args destruct

plugins/hls-tactics-plugin/test/CodeAction/DestructAllSpec.hs

@@ -38,4 +38,5 @@ spec = do
     destructAllTest 2 11 "DestructAllAnd.hs"
     destructAllTest 4 23 "DestructAllMany.hs"
     destructAllTest 2 18 "DestructAllNonVarTopMatch.hs"
+    destructAllTest 2 18 "DestructAllFunc.hs"
 

plugins/hls-tactics-plugin/test/golden/DestructAllFunc.hs

@@ -0,0 +1,3 @@
+has_a_func :: Bool -> (a -> b) -> Bool
+has_a_func x y = _
+

plugins/hls-tactics-plugin/test/golden/DestructAllFunc.hs.expected

@@ -0,0 +1,4 @@
+has_a_func :: Bool -> (a -> b) -> Bool
+has_a_func False y = _
+has_a_func True y = _
+