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
Widen it so it is captured.
Closes #23887 (closed)