If one needs to "prove something to the compiler" it is usually something both complex and against the grain; on the other hand lifetime annotations are usually

If one needs to "prove something to the compiler" it is usually something both complex and against the grain; on the other hand lifetime annotations are usually just "promise something to the compiler" to allow it to make a better job.