Reference for Sanhedrin 40:14

וכן בדוד הוא אומר (שמואל ב ז, א) ויהי כי ישב המלך דוד בביתו וה' הניח לו מסביב וכתיב (שמואל ב ז, ב) ויאמר המלך אל נתן הנביא ראה נא אנכי יושב בבית ארזים וגו'

said: This section<span class="x" onmousemove="('comment',' Ibid. XVII, 14. ');">¹⁹</span> was spoken only in anticipation of their future murmurings,<span class="x" onmousemove="('comment',' It was not a command to appoint a king, but a prophecy that Israel would demand one; then, a king having been appointed, he would be subject to the laws stated in the section. ');">²⁰</span>

Jastrow

Jastrow

Jastrow

Rashi on I Kings