]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #81609 - Julian-Wollersberger:no-query-categories, r=davidtwco
authorJonas Schievink <jonasschievink@gmail.com>
Tue, 2 Feb 2021 11:15:04 +0000 (12:15 +0100)
committerGitHub <noreply@github.com>
Tue, 2 Feb 2021 11:15:04 +0000 (12:15 +0100)
commit285524f8dafda8c8529660e02f4dca1d1e7f4446
treed74fa09fd739f66c22e421d78657b07681bd17eb
parent255e0764c071d73a43a0c88181cb4cf667a74bff
parent988d93c8a0b122a9923e0df6fb49cb430dbab3f2
Rollup merge of #81609 - Julian-Wollersberger:no-query-categories, r=davidtwco

Remove the remains of query categories

Back in October 2020 in #77830 ``@cjgillot`` removed the query categories information from the profiler, but the actual definitions which query was in which category remained, although unused.
Here I clean that up, to simplify the query definitions even further.

It's unfortunate that this loses all the context for `git blame`, ~~but I'm working on moving those query definitions into `rustc_query_system`, which will lose that context anyway.~~ EDIT: Might not work out.

The functional changes are in the first commit. The second one only changes the indentation.