Add conversion type for p0 to p1 in rhs