Re: [GHC] #14722: Error message points to wrong location