diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-03 11:57:11 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-01-03 11:57:11 +0000 |
commit | e423cfe383a4a1f9f0b5459810587d50bf2a2b2d (patch) | |
tree | d7d43e3f325f6055d5806303906ed0876af1966a /xtask/src/help.rs | |
parent | 1cb8aa1311668b710379158762cab9ee03a92925 (diff) | |
parent | 100c2d01272b341b85b948da068d944b9af23ad0 (diff) |
Merge #2730
2730: Add `profile` calls to {Module,Function}::diagnostics r=matklad a=michalt
With this change the output `ra_prof` gives a better indication where
the time is spent. Example output:
```
213ms - publish_diagnostics
213ms - diagnostics
70ms - Module::from_definition
70ms - Module::from_file
132ms - Module::diagnostics
78ms - Function::diagnostics
0ms - body_with_source_map_query (1 calls)
2ms - trait_solve_query (1 calls)
76ms - ???
15ms - Function::diagnostics
0ms - body_with_source_map_query (1 calls)
15ms - trait_solve_query (5 calls)
38ms - Function::diagnostics (51 calls)
8ms - parse_query (1 calls)
```
Signed-off-by: Michal Terepeta <[email protected]>
Co-authored-by: Michal Terepeta <[email protected]>
Diffstat (limited to 'xtask/src/help.rs')
0 files changed, 0 insertions, 0 deletions