yeah, this kind of static recursion can be checked (we have an issue to add a lint check for it)