Skip to content

Add missing parenthesizeHsType in cvtp's InvisP case

Ryan Scott requested to merge wip/T25209-parenthesize-InvisP into master

We need to ensure that when we convert an InvisP (invisible type pattern) to a Pat, we parenthesize it (at precedence appPrec) so that patterns such as @(a :: k) will parse correctly when roundtripped back through the parser.

Fixes #25209 (closed).

Merge request reports