Maybe try unsetting it too?

isovector · isovector · commit d35de9443c0e · 2021-07-22T22:35:05.000-07:00
diff --git a/plugins/hls-tactics-plugin/src/Wingman/StaticPlugin.hs b/plugins/hls-tactics-plugin/src/Wingman/StaticPlugin.hs
@@ -20,6 +20,7 @@ staticPlugin = mempty
   { dynFlagsModifyGlobal =
       \df -> allowEmptyCaseButWithWarning
            $ flip gopt_unset Opt_SortBySubsumHoleFits
+           $ flip gopt_unset Opt_ShowValidHoleFits
            $ df
              { refLevelHoleFits = Just 0
              , maxRefHoleFits   = Just 0
