A star with approximately the same mass as our Sun is currently in its stable main sequence phase. After this, it will expand to become a red giant. Which of the following is the next major stage in its life cycle after the red giant phase?