(chars: &[char], i: usize)
| 214 | i += 1; |
| 215 | } |
| 216 | push_span(&mut out, "tok-comment", &chars[start..i]); |
| 217 | } else if ch == '/' && chars.get(i + 1) == Some(&'*') { |
| 218 | let start = i; |
| 219 | i += 2; |
| 220 | while i + 1 < chars.len() && !(chars[i] == '*' && chars[i + 1] == '/') { |
| 221 | i += 1; |
| 222 | } |
| 223 | i = (i + 2).min(chars.len()); |
| 224 | push_span(&mut out, "tok-comment", &chars[start..i]); |
| 225 | } else if ch == '#' && chars.get(i + 1) == Some(&'[') { |
| 226 | let start = i; |
| 227 | i += 2; |
| 228 | while i < chars.len() && chars[i] != ']' { |