API Annotations: Unicode '->' on HsForallTywip/T17519

The code fragment

  type family Proxy2' ∷ ∀ k → k → Type where
    Proxy2' = Proxy'

Generates AnnRarrow instead of AnnRarrowU for the first →.

Fixes #17519

1 files changed, 1 insertions, 1 deletions

diff --git a/compiler/parser/Parser.y b/compiler/parser/Parser.y
index b91e1681c5..f5bfebc219 100644
--- a/compiler/parser/Parser.y
+++ b/compiler/parser/Parser.y
@@ -1885,7 +1885,7 @@ unpackedness :: { Located ([AddAnn], SourceText, SrcUnpackedness) }
 
 forall_vis_flag :: { (AddAnn, ForallVisFlag) }
         : '.'  { (mj AnnDot $1,    ForallInvis) }
-        | '->' { (mj AnnRarrow $1, ForallVis)   }
+        | '->' { (mu AnnRarrow $1, ForallVis)   }
 
 -- A ktype/ktypedoc is a ctype/ctypedoc, possibly with a kind annotation
 ktype :: { LHsType GhcPs }