record One {
    x : Int;
    two : Two;
}

variant Two = Int | Array[One, 10];

main() {
    One(10, Two(10));
}



$ clay test.clay 
###############################

main() {
    One(10, Two(10));
----^
}

###############################
../test.clay(10,4): error: invalid recursion in type: One

compilation context: 
  main()
  getExitCode()
  callMain(Static[main])