They show that a binding downpayment constraint in the housing market dampens capitalization of future taxes into current land prices. Thus, a local government's pension funding policy matters for land prices and the utility of young households. Underfunding arises in equilibrium if the pension funding policy is set by the old generation. Young households instead favor a policy of full funding. Empirical results based on cross-city comparisons in the magnitude of unfunded liabilities are consistent with the predictions of the model.