@Wesley Wiser, you mentioned that you already have a prototype of this. Are there any blockers or issues that we should address?
For clarifying issues around how to do things in
rustc concretely, I suggest that we do the usual: You open PR whenever you feel ready and we discuss specifics there.
It's just unfinished
I'm hoping to have it done in the next few days or maybe this weekend
I do have a question around how to handle the
QueryCount events though (here)
Did you have an idea around how to handle serializing that data?
QueryCacheHit should just be a single event that is generated instead of a
(QueryStart, QueryEnd) pair, I'd say
I don't remember what
QueryCount is :)
Oh, it's just the total number of query results for a given query
that information is implicit in the stream of events
e.g. just count all the
QueryStart events for a given query to get the total number
Hmm... that's true. I'll just remove that event.