Lifetimes I and II - v0.9.1.pdf has Cyclone rule negated? #143
Description
Neat paper and I've just started reading it. Page 4, section "Cyclone: Regions" says "where a pointer can be associated with a region to ensure the pointer outlives the region it points into." Shouldn't this be "never outlives"?