` let () = 42n in` typechecks in cameligo

Should not typecheck;

let main (_ : unit * unit) : operation list * unit =
  let () = 42n in
  (([] : operation list), ())

It seems that the type of the rhs does not matter at all when writing let ().

Probably this is not a bug in the typer, but in the cameligo frontend?