EPA: fix span for empty \case(s)
In
instance SDecide Nat where
SZero %~ (SSucc _) = Disproved (\case)Ensure the span for the HsLam covers the full construct.
Closes #24748 (closed)
In
instance SDecide Nat where
SZero %~ (SSucc _) = Disproved (\case)Ensure the span for the HsLam covers the full construct.
Closes #24748 (closed)