Other items inrustc_mir::util::spanview
const NEW_LINE_SPAN: &str = "</span>\n<span class=\"line\">";