A bit surprising that this doesn't work, because `lifetime(x) < lifetime(f)`. Also `int i; scope int* p = &i;` on it's own does work, doesn't it? If `lifetime(*x)` simply was defined as `lifetime(x)`, there wouldn't be a way to escape the pointer to f, but I'm not sure how much DIP1000 still relates to any of the implementation at this point.