{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"///"}]}
    /// instructions.
    /// **Warning:** Does not account for the result of `Call`
    fn initialized_at_exit(&mut self, block: BasicBlock, mpi: MovePathIndex) -> bool {