fn trait_object_ty<'tcx>(
    tcx: TyCtxt<'tcx>,
    poly_trait_ref: PolyTraitRef<'tcx>
) -> Ty<'tcx>