namespace;

// expect: a temporary argument requires a proved non-escaping borrow
int* saved;
fn store(int* p) { saved = p; }
fn main() { store((int[]){1,2,3}); }