{"ast_node_type":"variable","tokens":[{"end":63,"kind":"keyword","start":0,"text":"let"}]}
        let mpi = self.move_data.rev_lookup.find_local(local)?;
    fn is_local_ever_initialized(&self, local: Local, state: &BorrowckDomain) -> Option<InitIndex> {
        let ii = &self.move_data.init_path_map[mpi];