以下のHTMLがあります。

<pre><code>&lt;html lang=&quot;en&quot;&gt;
&lt;head&gt;
  &lt;meta charset=&quot;UTF-8&quot; /&gt;
  &lt;title&gt;Document&lt;/title&gt;
  &lt;script&gt;
    //var s = &quot;&lt;!--&lt;script&gt;&quot;;
  &lt;/script&gt;
&lt;/head&gt;
&lt;body&gt;
  &lt;h1&gt;hello&lt;/h1&gt;
&lt;/body&gt;
&lt;/html&gt;</code></pre>

ここで、"&lt;!--&lt;script&gt;"は単なるJavaScript文字列なので、scriptタグの外側には影響を及ぼさない…と思っていたのですが、実際には

http://codepen.io/anon/pen/rVWeqz

のように、本来表示されるはずの「hello」が表示されません。
(&lt;!--や&lt;script&gt;が単体の場合には再現せず、必ずコメント開始からscriptタグに続く必要があるようです)

私の確認したすべてのブラウザ(IE11, Chrome, Firefox)で同じ挙動をしたので、これがHTMLの仕様なのだと思いますが、具体的にはどのような仕様なのでしょう?