Re: [GHC] #15466: debug validation failures