Window only destroyed when dropped inside event loop

Running on linux/x11, the following code:

use winit::{
    event::{Event, WindowEvent},
    event_loop::{ControlFlow, EventLoop},
    platform::run_return::EventLoopExtRunReturn,
    window::Window,
};

fn main() {
    let mut event_loop = EventLoop::new();
    {
        let window = Window::new(&event_loop);

        event_loop.run_return(|event, _, control_flow| match event {
            Event::WindowEvent {
                event: WindowEvent::CloseRequested,
                ..
            } => *control_flow = ControlFlow::Exit,
            _ => (),
        });

        println!("dropping window");
    }

    loop {}
}

Causes the window to stay open after it is dropped.
But changing it to this fixes it:

use winit::{
    event::{Event, WindowEvent},
    event_loop::{ControlFlow, EventLoop},
    platform::run_return::EventLoopExtRunReturn,
    window::Window,
};

fn main() {
    let mut event_loop = EventLoop::new();
    {
        let mut window = Some(Window::new(&event_loop));

        event_loop.run_return(|event, _, control_flow| match event {
            Event::WindowEvent {
                event: WindowEvent::CloseRequested,
                ..
            } => {
                let _ = window.take();
                *control_flow = ControlFlow::Exit;
                println!("dropping window");
            }
            _ => (),
        });
    }

    loop {}
}

Start by reproducing the Linux/X11 example using EventLoopExtRunReturn, EventLoop, and Window, then trace how run_return handles destruction after ControlFlow::Exit. Compare the direct drop with the window.take() variant. Done means dropping the window after the event loop returns closes it without requiring destruction inside the callback.