It looks like the only reason a SPEC-TYPE argument is accepted was that someone else was caught out by the unintended change to partial inheritance: