Initialize diagnostics when opening a document (#8873)

This commit is contained in:
Philipp Mildenberger 2024-01-09 02:01:04 +01:00 committed by GitHub
parent 46ecc102ba
commit 41ca46cf8c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
9 changed files with 231 additions and 158 deletions

View file

@ -1795,7 +1795,6 @@ impl HighlightConfiguration {
let mut best_index = None;
let mut best_match_len = 0;
for (i, recognized_name) in recognized_names.iter().enumerate() {
let recognized_name = recognized_name;
let mut len = 0;
let mut matches = true;
for (i, part) in recognized_name.split('.').enumerate() {