• Joachim Breitner's avatar
    New lint check: Check idArity invariants (#10181) · 567db32b
    Joachim Breitner authored
    The arity of an id should not be larger than what the type allows, and
    it should also not contradict the strictness signature. This adds a lint
    check for that.
    
    This broke test T8743, uncovering a bug in the SOURCE import machinery,
    which is now filed as #10182.
    567db32b
all.T 1.04 KB