Rules of liveness: about the "discard point"
-
with no drop glue, no "library" code gets executed, so a fortiori, no lifetimes/borrows/w/e are used/dereferenced, so it would be sound for lifetimes of the discardee to be dangling here.
⇒ No need for liveness to extend to this point
-
with drop glue:
- either the drop glue does somehow refer to that lifetime,