Test #11252 in ghci/scripts/T11252