[spectec] Dynamically check side conditions on type fields/cases#2158

rossberg wants to merge 2 commits intomainWebAssembly/spec:mainfrom

il.sideWebAssembly/spec:il.sideCopy head branch name to clipboard