Re: [GHC] #8250: cgrun072 (optllvm) failing