1 #![deny(invalid_html_tags)]
8 //~^ ERROR unclosed HTML tag `unknown`
11 //~^ ERROR unclosed HTML tag `script`
16 //~^ ERROR unclosed HTML tag `h2`
18 //~^ ERROR unclosed HTML tag `h3`
21 //~^ ERROR unopened HTML tag `hello`
26 //~^ ERROR unclosed HTML tag `p`
37 /// <div style="hello">
38 //~^ ERROR unclosed HTML tag `div`
40 //~^ ERROR unclosed HTML tag `h3`