Ora, a execução específica do contrato-promessa prevista no artigo 83 é uma forma de realização coactiva da prestação, que fica inviabilizada com a venda do imóvel o arrendamento incidia sobre coisa futura ─ o hospital a.  Será esta eventualmente a razão da alusão feita à execução específica, extraindo -se que esta nunca poderia constituir a acção principal de que depende a providência a decretar.