pub(crate) fn build_fn_sig_ty<'tcx>(
    infcx: &InferCtxt<'tcx>,
    trait_ref: PolyTraitRef<'tcx>
) -> Ty<'tcx>