let
  type a = int
  var x: a := "test"
in
  x
end