[spec] Compact subtyping check in branch rules (WIP)#2174

rossberg wants to merge 1 commit into

mainWebAssembly/spec:mainfrom

cast_subWebAssembly/spec:cast_subCopy head branch name to clipboard