pub fn hir_trait_to_predicates<'tcx>( tcx: TyCtxt<'tcx>, hir_trait: &TraitRef<'_>, self_ty: Ty<'tcx>) -> Bounds<'tcx>