{"ast_node_type":"function","tokens":[{"end":97,"kind":"keyword","start":0,"text":"fn"}]}
fn trait_object_ty<'tcx>(tcx: TyCtxt<'tcx>, poly_trait_ref: ty::PolyTraitRef<'tcx>) -> Ty<'tcx> {
#[instrument(skip(tcx), ret)]
    assert!(!poly_trait_ref.has_non_region_param());