[GHC] #16042: T13031 doesn't get run