Stack overflow on long expressions

[aleksisch]

We may get stackoverflow on things like this (this example from ASAN build, you need more ? to reproduce in Release):

 tuple var1{
}
 enum var3: uint16 {
var3,var2=var3(var1 :=  -- +~9 --  >>>  false .[ new < tuple <var3: block < variant <var2: block ?????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????;
var2: array < function -#>&,var1: auto -& ?? > ?? >>>(var2=0). int8 () is var1] is  urange )}

[export]
def main{
var3 -> print("OOOOOO{-7}");}

Same for exprs like a==null==null==null==....

This can lead to security issues caused by stackoverflow. I think correct fix will be to set ast infer depth limit.

[aleksisch]

I think this one worth investigation. Compilation time is too slow (apparently it's O(n^2)), if we have around 1000 of such expressions:

 let var2:var3;
 variant var3{
}

[export]
def main{
 assume var2= float ().var2;
 var (var3)& <- var2;
 var (var3)& <- var2;
 var (var3)& <- var2;
 var (var3)& <- var2;
 var (var3)& <- var2;
 var (var3)& <- var2;
 var (var3)& <- var2;
 var (var3)& <- var2;
 var (var3)& <- var2;
 var (var3)& <- var2;
 var (var3)& <- var2;
 var (var3)& <- var2;
 var (var3)& <- var2;
 var (var3)& <- var2;
 var (var3)& <- var2;
 var (var3)& <- var2;
 var (var3)& <- var2;
 var (var3)& <- var2;
print("{var2}");
}