https://github.com/rust-lang/rust/pull/61672 broke clippy toolstate but there was no issue created automatically. Probably linked to rls/clippy decoupling https://github.com/rust-lang/rust/pull/61670