EPA: AnnAt missing for type application in patterns
Ensure that the exact print annotations accurately record the @
for
code like
tyApp :: Con k a -> Proxy a
tyApp (Con @kx @ax (x :: Proxy ax)) = x :: Proxy (ax :: kx)
Closes #19850 (closed)
Ensure that the exact print annotations accurately record the @
for
code like
tyApp :: Con k a -> Proxy a
tyApp (Con @kx @ax (x :: Proxy ax)) = x :: Proxy (ax :: kx)
Closes #19850 (closed)