Re: [GHC] #16251: T5515 broken in devel2 flavour