Function rustc_middle::mir::spanview::write_span

fn write_span<W>(
    html_snippet: &str, 
    tooltip: &str, 
    alt: bool, 
    layer: usize, 
    w: &mut W
) -> Result<()> where
    W: Write,