That looked like the way to do it but I haven't tried yet.
[1] https://github.com/rust-lang/rust/issues/45728#issuecomment-...
That looked like the way to do it but I haven't tried yet.