let-rec check: reject recursion through unboxed variants.
let-rec check: reject recursion through unboxed variants.

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml