namespace;
include rt;

// expect: a temporary argument requires a proved non-escaping borrow
char*.u message() { return rt.new(2); }
unchecked fn unknown(char* p) { rt.put_s(p); }
fn main() { unknown(message()); }