Function type_op_normalize_poly_fn_sig 

pub fn type_op_normalize_poly_fn_sig<'tcx>(
    tcx: TyCtxt<'tcx>,
    goal: CanonicalTypeOpNormalizeGoal<'tcx, PolyFnSig<'tcx>>,
) -> String