]> git.lizzy.rs Git - rust.git/blobdiff - compiler/rustc_middle/src/mir/generic_graphviz.rs
Rollup merge of #106971 - oli-obk:tait_error, r=davidtwco
[rust.git] / compiler / rustc_middle / src / mir / generic_graphviz.rs
index 11ac45943ac58aa5a2e78684f29e4813f4a2ae27..ccae7e159b1f109dfb609d0e77970b4d065d5416 100644 (file)
@@ -126,7 +126,7 @@ pub fn write_node<W>(&self, node: G::Node, dark_mode: bool, w: &mut W) -> io::Re
             write!(
                 w,
                 r#"<tr><td align="left" balign="left">{}</td></tr>"#,
-                dot::escape_html(&section).replace('\n', "<br/>")
+                dot::escape_html(&section)
             )?;
         }
 
@@ -147,7 +147,7 @@ fn write_edges<W>(&self, source: G::Node, w: &mut W) -> io::Result<()>
             let src = self.node(source);
             let trg = self.node(target);
             let escaped_edge_label = if let Some(edge_label) = edge_labels.get(index) {
-                dot::escape_html(edge_label).replace('\n', r#"<br align="left"/>"#)
+                dot::escape_html(edge_label)
             } else {
                 "".to_owned()
             };
@@ -162,8 +162,7 @@ fn write_graph_label<W>(&self, label: &str, w: &mut W) -> io::Result<()>
     where
         W: Write,
     {
-        let lines = label.split('\n').map(|s| dot::escape_html(s)).collect::<Vec<_>>();
-        let escaped_label = lines.join(r#"<br align="left"/>"#);
+        let escaped_label = dot::escape_html(label);
         writeln!(w, r#"    label=<<br/><br/>{}<br align="left"/><br/><br/><br/>>;"#, escaped_label)
     }