Initialization in Rust with pin-init - Benno Lossin