Keyword no_init

Available on ghostǃ only.

Use #[no_init] inside a ghost! block to opt out of consuming ownership of outside captures.

use ::ghosts::vestibule::*;

let owned = String::from("…");
let casper = ghost!(#[no_init] {
   owned
});
drop(owned); // Ok