namespace;
include rt;

// expect: a temporary argument requires a proved non-escaping borrow
char* retained;
char*.u message() { return rt.new(2); }
fn store(char* p) { let alias = p; retained = alias; }
fn main() { store(message()); }