Eroded hole in older sink

[Atomic Teaspoon]

I am in the process of buying a house and the list of things to fix is endless. It is a 203k loan, so every little thing has to be documented by a contractor (had one quote $50 for installing smoke alarms).

Anyway, the main bathroom has an older (house built in 79) sink with a hole eroded right near the drain, less than a half inch in diameter. Is there a legitimate fix that would patch that hole and satisfy building code? I'd much rather be able to do a temporary repair now and come back to replacing the sink, reinstalling fixtures, and retiling the countertop at a later date. Is there a feasible way to do this?