{"ast_node_type":"variable","tokens":[{"end":22,"kind":"keyword","start":0,"text":"let"}]}
    let mut flag_map =
pub(crate) fn analyze(fx: &FunctionCx<'_, '_, '_>) -> IndexVec<Local, SsaKind> {
        fx.mir.local_decls.iter().map(|_| SsaKind::MaybeSsa).collect::<IndexVec<Local, SsaKind>>();