{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"shortest_uninit_seen"}]}
                    shortest_uninit_seen = Some((prefix, mpi));
                    );
                } else {