How does petrol damage the fuel pump?

Diesel fuel is also the pump lubricant. Left alone, pumps are
ultra-reliable - but if damaged replacement is expensive.