hogoww
commented
4 years ago Actually when only the inlining is taking care of this, we loose the correct super class if there is more than one super depth level. Back to the pre visitor, seems to separate the concern better, since the problem remains whichever way we do it.
Having to annotate the super method using slang's type inference actually modifies the body and adds a ^ self...
super annotator should be removed, and put in the inlining directly. It's not good after all...