Settle a bet

So someone I work with says one can take a loan from their retirement account and pay it back. I didn’t think you could take out anything unless you were separated from the company or did a hardship request. Who is right?