OPA v1.2.0 TODO

[anderseknert]

Since there is at least a few weeks until OPA v1.2.0 is released, I'm creating this issue to track all the things that release includes that we may benefit from in Regal, so we don't forget about it :) Will add more items later if more Regal-friendly features make it in.

• As we can now set a custom BaseCache to use, and the base cache provides much cheaper reads than storage, we should see if it's possible to only use the base cache for the static data regal lint uses. Note that this unlikely is desirable in the language server though (as the data is not static in that context).
• Move to use the oracle (for LSP goto definition) as that's now part of OPA's public API. I have working code for this already. Delete code we previously copied from OPA.
• Array iteration is now ridiculously fast in OPA, so we might want to consider using arrays in some places where we currently use sets, if possible. This should be limited to hot spots though.
• Consider adding support for the --bench flag in regal test now that it's been fixed in OPA.