diff options
| author | Laurenz <laurmaedje@gmail.com> | 2025-06-23 14:22:09 +0200 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2025-06-23 14:22:09 +0200 |
| commit | 9050ee1639a20463e3cafce58964c9ef0fa38205 (patch) | |
| tree | 7fbb132c4bb3e217d8898d052b68ba4265835e1f /tests/suite | |
| parent | c1b2aee1a941f49d5eb8c04c9b19841dbeb1b27d (diff) | |
Turn non-empty void element into export error
Diffstat (limited to 'tests/suite')
| -rw-r--r-- | tests/suite/html/syntax.typ | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/suite/html/syntax.typ b/tests/suite/html/syntax.typ index af671ef5..c95fa06e 100644 --- a/tests/suite/html/syntax.typ +++ b/tests/suite/html/syntax.typ @@ -1,3 +1,7 @@ --- html-non-char html --- // Error: 1-9 the character `"\u{fdd0}"` cannot be encoded in HTML \u{fdd0} + +--- html-void-element-with-children html --- +// Error: 2-27 HTML void elements must not have children +#html.elem("img", [Hello]) |