#$ Inner recursive instance and outer non-recursive instance.
# 8008135
# 8008135
# 420
## controversial: it's 3, because the two `println`s appear, because MyStrPtr instance is instantiated twice. This println does not depend on a generic parameter, so later it might be only one println, so envsize f will be 2 then
##= envsize f 3

class MyStr
	do-sth (x _) -> Unit

MyStrPtr a
	MyStrPtr a

inst MyStr I32
	do-sth (x) -> Unit
		println(x)


fn f () -> Unit
	inst MyStr MyStrPtr
		do-sth (MyStrPtr(x)) -> Unit
			println(8008135)
			do-sth(x)
	do-sth(MyStrPtr(MyStrPtr(420)))

f()