Comment by CalChris

Apparently the C++ standard calls this type deduction. But I've always called it type inference.