Check that the return statement has an argument before checking its type