Add ghcide-test for hover on Visible Type Applications

[xsebek]

• Add a test case for Missing Inferred Type in Tooltip when using Visible Type Applications #4017

ghcide
  get
    definition
      Type application function hover:           OK (0.54s)
      Type application signature hover (@IO):    OK (0.34s)
      Type application signature hover (@Float): OK (0.35s)
    hover
      Type application function hover:           FAIL (0.38s)
        ghcide-test/exe/Hover.hs:13:
        failed to find: `mapM_ :: (Float ->` in hover message:

        '''haskell
        mapM_ :: forall (t :: Type -> Type) (m :: Type -> Type) a b. (Foldable t, Monad m) => (a -> m b) -> t a -> m ()
        '''

        *Defined in 'GHC.Internal.Data.Foldable'* *(ghc-internal-9.1401.0)*



        Map each element of a structure to a monadic action, evaluate
         these actions from left to right, and ignore the results.  For a
         version that doesn't ignore the results see
          'Data.Traversable.mapM' .

        'mapM_'  is just like  'traverse_' , but specialised to monadic actions.

        [Documentation](https://hackage.haskell.org/package/ghc-internal-9.1401.0/docs/GHC-Internal-Data-Foldable.html#v:mapM_)

        [Source](https://hackage.haskell.org/package/ghc-internal-9.1401.0/docs/src/GHC.Internal.Data.Foldable.html#mapM_)



        Use -p '/Type application/&&/hover.Type application function hover/' to rerun this test only.
      Type application signature hover (@IO):    FAIL (0.41s)
        ghcide-test/exe/Hover.hs:13:
        failed to find: `-> IO ()` in hover message:

        Use -p '/Type application/&&/hover.Type application signature hover (@IO)/' to rerun this test only.
      Type application signature hover (@Float): OK (0.35s)