{"ast_node_type":"import","tokens":[{"end":97,"kind":"keyword","start":0,"text":"///"}]}
    /// This is different from a normal transmute because dataflow analysis will treat the box as
    ///
    /// initialized but its content as uninitialized. Like other pointer casts, this in general