On Tue, Jan 17, 2023 at 12:14:14PM +0100, Aldy Hernandez wrote: > > A question would be if it would be worth to activate it in this spot lazily > > if it isn't active yet (and destruct at the end of the pass). > > That's what it was designed for :). If you're making sporadic requests, the > on-demand mechanism should be fast enough.
So what should be done to do the on-demand query rather than global one?
Jakub
