Rust already does region inference for managing borrowed pointers, so I guess that all the information needed for this is already there.