This paper studies a continuous-time life-cycle model with a consumption-leisure choice made by a finitely-lived agent with a random lifetime. We explicitly account for the leisure constraint in the corresponding constrained optimal control problem with a commonly postulated solution structure,...