Private lifetime inference

Why compiler does not know ?? Compiler knows graph of objects (AST) and it could traverse path of variables. Of course it is sometimes problematic to do, but in obvious cases it could simplify life of developers a lot !!