We need a mechanism for practical, safe and efficient destruction of hierarchical system resources

[mathstuf]

Prior discussion:

Lt<'a> lang item (because we don't have DerefMove) - lifetimes for fn!

We have found this neat hack to apply lifetimes to fn: use core::marker::PhantomData; #[repr(transparent)] struct Lt<'a, T=()>(pub T, pub PhantomData<&'a ()>); // impl DerefMove for Lt<'a, T> = T struct Library { func: extern "C" fn() -> u32, } impl Library { fn get<'a>(&'a self) -> extern "C" fn() -> Lt<'a, u32> { unsafe { std::mem::transmute(self.func) } } } extern "C" fn foo() -> u32 { 10 } fn main() { let lib = Library { func: foo }; let lib_item = lib.…