[GHC] #12252: k