On 07/10/2014 10:10 PM, "Marc Schütz" <schue...@gmx.net>" wrote:
... Instead of lifetime intersections with `&` (I believe Timon proposed that in the original thread)
I didn't. I suggested that _some_ suitable syntax might need to be found. :)
The root cause of the problem here is the call to `free()`.
(Proving the safety of code containing manual free requires different machinery.)
