auto var = // this type can't be inferred because it's not used { auto var = 2; }
x = 2 if stringy: x = '2' print x+x # 4 or 22???
int x = 2; if(stringy) string x = "2"; print x+x; // 4 (string x is out of scope)