Skip to content

EPA: Incorrect locations for UserTyVar with '@'

In T13343.hs, the location for the @ is not within the span of the surrounding UserTyVar.

type Bad @v = (forall (v1 :: RuntimeRep) (a1 :: TYPE v). a1) :: TYPE v
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information