Currently lines starting with // and /// both map to line_comment.
This makes it impossible to highlight both of them with different style. Specifically, lines starting with /// (and //!) are rustdoc, and get different treatment (they end up in generated documentation).
In particular, I'd like to highlight them both with different style since it's current very easy to confuse the two, especially when they're in consecutive lines.
Currently lines starting with
//
and///
both map toline_comment
.This makes it impossible to highlight both of them with different style. Specifically, lines starting with
///
(and//!
) arerustdoc
, and get different treatment (they end up in generated documentation).In particular, I'd like to highlight them both with different style since it's current very easy to confuse the two, especially when they're in consecutive lines.