troplin, 8 months ago I think Lemmy is correct here and the Mozilla docs only refer to the text content, not elements. It also mentions that < and > still have to be escaped to be displayed. The HTML spec https://html.spec.whatwg.org/multipage/grouping-content.html#the-pre-element defines that the element contains „phrasing content“ which <span> is part of. It even explicitly mentions nesting <code> inside <pre>.
I think Lemmy is correct here and the Mozilla docs only refer to the text content, not elements. It also mentions that < and > still have to be escaped to be displayed.
The HTML spec https://html.spec.whatwg.org/multipage/grouping-content.html#the-pre-element defines that the element contains „phrasing content“ which <span> is part of.
It even explicitly mentions nesting <code> inside <pre>.