{"ast_node_type":"variable","tokens":[{"end":68,"kind":"keyword","start":0,"text":"let"}]}
        let terminator_location = self.body().terminator_loc(block);
    fn initialized_at_exit(&mut self, block: BasicBlock, mpi: MovePathIndex) -> bool {
        self.flow_inits().seek_after_primary_effect(terminator_location);