Make linter rules of strict compile time checks? about regal HOT 3 OPEN

This is "blocked" by open-policy-agent/opa#5815

Most of these should be easy to implement using the AST alone, so will probably go with that rather than relying on the compiler. First one already submitted: #76

from regal.

Current status:

• Duplicate imports
• Unused local assignments
• Unused imports
• input and data reserved keywords
• Use of deprecated built-ins

Rather than having a "strict" category, I think we can place these in the existing categories, with references pointing to strict mode in the OPA docs.

from regal.

Given how most of the strict checks will be made default in OPA 1.0, I don't think there's any point in having them included in Regal at this point. The two rules that will remain checked only in strict mode are "unused imports" and "unused local assignment". While I would like to have both of those included as Regal linter checks, the API for the OPA compiler wrt strictness checks currently leaves a lot to be desired (as previously mentioned).

I doubt that these two rules have dependencies among them (i.e. that unused local assignment depends on the unused imports check) so perhaps they could be made independent checks exposed via some API. But until that day, this is on hold.

from regal.