inlining with @:generic

[mandel59]

The code (the same as #3639)

class Test {
    public static function main() {
        each(0 ... 5, function(x) trace(x));
    }

    @:generic
    static function each<T,I:Iterator<T>>(itr : I, f : T -> Void) {
        for (x in itr) f(x);
    }
}

This code generates specialized method Test.each_Int_IntIterator, but method calls in it have not been inlined:

Test.each_Int_IntIterator = function(itr,f) {
        while( itr.hasNext() ) {
                var x = itr.next();
                f(x);
        }
};

Is it able to apply inlining to these method calls?

[Simn]

The problem is that we do iterator inlining at the time of typing it. Generic expansion on the other hand works by "copying" the typed expressions, so there is no re-typing involved.

It might be possible to move the iterator inlining to a later optimization stage, but that is going to require some work.

[Simn]

This now generates good code:

Main.each_Int_IntIterator = function(itr,f) {
	var _g = itr;
	while(_g.min < _g.max) {
		var x = _g.min++;
		f(x);
	}
};