void foo(vector<int> x){

	// you can't discard x
	// you must consume it explicitly
	destroy(x);
}

void foo(int x){

	// you can discard x
}