Re: [GHC] #13994: STG lint failure on master