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