[spec] Slight simplification to Rectype_ok2 judgement#2148

rossberg merged 1 commit intomainWebAssembly/spec:mainfrom

rectype.simplWebAssembly/spec:rectype.simplCopy head branch name to clipboard