Function type_op_normalize_ty 

fn type_op_normalize_ty<'tcx>() -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Ty<'tcx>>>, NoSolution>