Re: [GHC] #15139: EmptyCase produces incorrect SrcSpans