;;; ERROR: 1
(module
  (func (result i32)
    block $outer
      block $inner
        loop
          i32.const 1
          if 
            br $outer
          end
          br $inner
        end
      end
      i32.const 2
      return
    end
    ;; the existence of the (br $outer) statement requires there to be a
    ;; return statement here, or a value returned from (br $outer).
  ))
(;; STDERR ;;;
out/test/typecheck/bad-nested-br.txt:15:7: error: type stack size too small at implicit return. got 0, expected at least 1
      return
      ^^^^^^
;;; STDERR ;;)