{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"tcx.erase_regions((self_ty,"}]}
                tcx.erase_regions((self_ty, target_principal, supertrait_principal));
            let (self_ty, target_principal, supertrait_principal) =
            let label2 = tcx