{"ast_node_type":"function","tokens":[{"end":74,"kind":"keyword","start":0,"text":"fn"}]}
fn propagate_ssa<'tcx>(tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>) -> bool {
    let typing_env = body.typing_env(tcx);