{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"infcx.enter_forall(hr_target_principal,"}]}
            infcx.enter_forall(hr_target_principal, |target_principal| {
            let ocx = ObligationCtxt::new(&infcx);
                let source_principal = infcx.instantiate_binder_with_fresh_vars(