This is a small patch stating that a nocapture pointer cannot be returned.
Discussed in D93189.
Differential D94386
[LangRef] State that a nocapture pointer cannot be returned aqjune on Jan 10 2021, 9:44 PM. Authored by
Details
Diff Detail
Event TimelineComment Actions That's a good point, but I think there are a few candidate semantics and I'm not sure which one is the best. if (p == 0x100) { escape ((i8*)0x100); } So, TBH, I'd like to make this patch just a simple step clarifying that nocapture pointer cannot be returned. :/ Making a further step might require as much discussion as lifetime/nonnull. |