Test strictness signatures of base for regressions
We frequently accidentally find (#18187 (closed)) or introduce (!3110 (comment 272544)) regressions in base
and friends.
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 stranal
.
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.