Test strictness signatures of base for regressions
These changes should not be accidental and caught by CI. Therefore I propose to test strictness signatures of functions exported from
base recorded in interface files against a Golden Master, like we do for smaller tests in
We can possibly extend that in the future to also compare other kinds of analysis info, like CPR or Arity.
Compared to using something like
StrictCheck, we won't have to come up with a specification for every function in base, which scales O(n) in the number of functions. The constants of writing such a test that isn't too noisy are arguably high, though.