Private lifetime inference

I just want to bring this up as a restricted version of this proposal.

RFC: macro functions language design

(I unfortunately don't have the bandwidth to actually put this through a full RFC for language inclusion, but this is a legitimate Request For Comments and proposal for improving the capability of Rust. This was written in one afternoon/evening on my smartphone; please forgive any formatting/grammar/procedural issues. A few sections have todos left to mark where I think detail is probably missing; please feel free to ask clarifying questions even/especially if they ask about the todo areas, as I…

redradist:

• Any technical blockers I'm missing?

The main problem is circular dependency. You may need item foo's definition to infer bar's definition and vice versa at the same time. This will results a complex constrain solving, and that may not have an unique inference result.