{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"infcx.predicate_must_hold_modulo_regions(&Obligation::new("}]}
    infcx.predicate_must_hold_modulo_regions(&Obligation::new(
    let (infcx, param_env) = tcx.infer_ctxt().build_with_typing_env(typing_env);
        tcx,