Implementability, Walrasian equilibria, and efficient matchings

In general screening problems, implementable allocation rules correspond exactly to Walrasian equilibria of an economy in which types are consumers with quasilinear utility and unit demand. Due to the welfare theorems, an allocation rule is implementable if and only if it induces an efficient matching between types and goods.