A pub, formerly a beer garden, that has permanently closed.