I have dug out a central pool  and dug a planting channel around it for marginal plants, the liner will cover the whole area and the planting channel will be refilled with soil. This whole area is about 8 x 11 feet.

The main pond is in the bottom right of this picture.