Private lifetime inference

This is false, but I don't have enough time/motivation to explain in detail. Simply put, inferring a valid lifetime constraints is much more complex than checking user annotated lifetimes. (Well, obviously assuming you don't want the compiler reject all non-trivial code).