Function type_op_normalize_poly_fn_sig 

fn type_op_normalize_poly_fn_sig<'tcx>() -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, PolyFnSig<'tcx>>>, NoSolution>