message: Just remove non-reachable branch?
diff: @@ -318,10 +318,6 @@ function checkOp(env: Env, instr: bril.Operation) {
  }
  function checkConst(instr: bril.Constant) {
  - if (!('type' in instr)) {
  - err(`const missing type`, instr.pos);
  - return;
  - }
  if (typeof instr.type !== 'string') {
  err(`const of non-primitive type ${typeFmt(instr.type)}`, instr.pos);
  return;
  