lifetime checking is only done locally (inside function definition), not globally so it's relatively fast.