{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"principal.map(|principal|"}]}
                            principal.map(|principal| {
                            tcx,
                                tcx.instantiate_bound_regions_with_erased(principal)