https://screenrant.com/doctor-who-what-happened-river-song-library/

Throughout their entire relationship, the Doctor knew that River Song would later die in the library - this gave him many years to find a solution.