In System 78.48, ZMail 38.5, Experimental Tester 18.0, microcode 836, " VAX", on Lisp Machine Twenty: (defstruct (special ...)) (defstruct (function ...)) complain about cross-file redefinition. I think this was fixed once before, maybe it came back.