O segundo resulta, não só do disposto no mesmo artigo quando alude à exoneração do devedor como efeito da dação), mas também, conquanto indiretamente, dos termos em que no artigo 840 se define a chamada «dação pro solvendo».