If we have a function that must return T, we don't presently notice when there is no ret statement returning T. Notice this and complain!