{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"assert!(!poly_trait_ref.has_non_region_param());"}]}
    assert!(!poly_trait_ref.has_non_region_param());
fn trait_object_ty<'tcx>(tcx: TyCtxt<'tcx>, poly_trait_ref: ty::PolyTraitRef<'tcx>) -> Ty<'tcx> {
    let principal_pred = poly_trait_ref.map_bound(|trait_ref| {