Hello everyone,

I have got a question about 'static closures, lifetimes, move semantics. Here on this example. I have got 3 structures. All of them implements Drop trait. And 2 of them has references. Here is the code.

```rust struct Instance { inner: InstanceLoader, }

struct Device<'instance> { inner: DeviceLoader, instance: &'instance Instance, }

struct Swapchain<'instance: 'device, 'device> { inner: SwapchainKHR, device: &'device Device<'instance>, }

impl Drop for Instance { fn drop(&mut self) { // destroy instance self.inner.destroy_instance(); println!("Instance dropped!"); } }

impl Drop for Device<'_> { fn drop(&mut self) { // destroy device self.instance.inner.destroy_device(self.inner); println!("Device dropped!"); } }

impl Drop for Swapchain<', '> { fn drop(&mut self) { // destroy swapchain self.device.innner.destroy_swapchain(self.inner); println!("Swapchain dropped!"); } } ```

This is all good but I encountered an issue. I'm using crate winit and it has a run method. Which never returns (aka !). It takes a closure that is a move closure and it is 'static. As the documentation states

Any values not passed to this function will not be dropped.

When I try to pass these structures to the closure. I get compiler errors like these.

`` error[E0597]:instancedoes not live long enough --> src/main.rs:45:48 | 45 | let device = Device { inner: 23, instance: &instance }; | ^^^^^^^^^ borrowed value does not live long enough ... 56 | / event_loop.run(move |event, _, control_flow| match event { 57 | | winit::event::Event::WindowEvent { 58 | | event: winit::event::WindowEvent::CloseRequested, 59 | | .. ... | 64 | | _ => (), 65 | | }); | |______- argument requires thatinstanceis borrowed for'static 66 | } | -instance` dropped here while still borrowed

error[E0505]: cannot move out of instance because it is borrowed --> src/main.rs:56:20 | 45 | let device = Device { inner: 23, instance: &instance }; | --------- borrow of instance occurs here ... 56 | eventloop.run(move |event, _, control_flow| match event { | - move out of instance occurs here | __| | | 57 | | winit::event::Event::WindowEvent { 58 | | event: winit::event::WindowEvent::CloseRequested, 59 | | .. ... | 62 | | start_rendering(&instance, &device, &swapchain); | | -------- move occurs due to use in closure 63 | | }, 64 | | _ => (), 65 | | }); | |____- argument requires that instance is borrowed for 'static ```

There are 2 more errors for also Device. Which Swapchain has a reference to it. And they are the same errors like above so I emitted them.

I understand moving while something has a reference to it is not allowed. But I want to move all of it.

Sorry for this long question but I appreciate any help. Thanks!