proclaim.error.7: fix condition type
Nowhere in the specification does it say that an invalid proclamation has to result in a type-error. All other proclaim.error tests only check for an error.
Please register or sign in to comment
Nowhere in the specification does it say that an invalid proclamation has to result in a type-error. All other proclaim.error tests only check for an error.