]> git.lizzy.rs Git - rust.git/commitdiff
Merge #7704
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Wed, 17 Feb 2021 11:58:35 +0000 (11:58 +0000)
committerGitHub <noreply@github.com>
Wed, 17 Feb 2021 11:58:35 +0000 (11:58 +0000)
7704: Avoid transmitting unchanged diagnostics r=matklad a=michalmuskala

Reading through the code for diagnostics and observing debug logs, I noticed
that diagnostics are transmitted after every change for every opened file,
even if they haven't changed (especially visible for files with no diagnostics).

This change avoids marking files as "changed" if diagnostics are the same to what
was already sent before. This will only work if diagnostics are always produced in
the same order, but from my limited testing it seems this is the case.

Co-authored-by: Michał Muskała <michal@muskala.eu>

Trivial merge