Stream: t-compiler

Topic: "self-profiling" the trait system


mw (Oct 10 2019 at 12:26, on Zulip):

@WG-self-profile is in the process of reviewing and updating the kinds of things being measured and the trait system is the last big subsystem that needs to be instrumented. However, we don't quite know how to do this the best way. There is codegen_fulfill_obligation which is already covered because it's a regular query but there are other things that are not separately measured. The time spent in those things will just be counted as part of whatever is invoking them. I guess, however, that @WG-traits will be interested in more detailed and specific numbers, right?

nikomatsakis (Oct 15 2019 at 19:17, on Zulip):

@mw yeah that's a good question

Last update: Nov 20 2019 at 01:25UTC