Your coworkers performance is management’s problem, not yours. Complain if you have to pick up extra work but otherwise what’s the issue?