Inlining could be done twice

Test.hx

class A implements B {
	
	public function new () {}
	
	public inline function plus (a:Int,b:Int):Int {
		return a + b;
	}
}
 
interface B {
	public function plus (a:Int,b:Int):Int;
}
 
class Test {
	
	public inline static function plusFoo (x:B) {
		return x.plus(1,1);
	}
	
	public static function main () {
		var a = new A();
		
		plusFoo(a); 
		// results in a.plus(1,1), but after inlining param x of type B is known as type A where plus is inline
		// so it would be possible to further inline the result to 1 + 1;
	}
}