From 9050ee1639a20463e3cafce58964c9ef0fa38205 Mon Sep 17 00:00:00 2001 From: Laurenz Date: Mon, 23 Jun 2025 14:22:09 +0200 Subject: Turn non-empty void element into export error --- crates/typst-html/src/encode.rs | 3 +++ 1 file changed, 3 insertions(+) (limited to 'crates/typst-html/src/encode.rs') diff --git a/crates/typst-html/src/encode.rs b/crates/typst-html/src/encode.rs index eb25ab1e..2bfa78a7 100644 --- a/crates/typst-html/src/encode.rs +++ b/crates/typst-html/src/encode.rs @@ -89,6 +89,9 @@ fn write_element(w: &mut Writer, element: &HtmlElement) -> SourceResult<()> { w.buf.push('>'); if tag::is_void(element.tag) { + if !element.children.is_empty() { + bail!(element.span, "HTML void elements must not have children"); + } return Ok(()); } -- cgit v1.2.3