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