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