Radius evolution of planets formed with a polluted envelope (solid) and planets with the same bulk composition, but starting with a core-envelope (CE) structure from the outset (dashed). The measured rainout time is determined by the time at which the classical core-envelope structure is established (dotted vertical line). Rainout in the polluted envelopes causes radius inflation in comparison to planets formed with a core envelope. The radius inflation is shorter and more prominent in smaller planets. All planets are located at 0.2 AU from a Sun-like star.