Compiler: Type checks not performed on super calls

[Adolio]

Hi @joshtynjala,

I just noticed that the compiler is not performing type checks for super calls in constructors.

Having this would prevent runtime errors by detecting issues at compilation time.

The following code compiles fine but fails at runtime:

package
{
	public class SuperTypeCheckTest
	{
		public function SuperTypeCheckTest()
		{
			new B();
		}
	}
}

import flash.geom.Point;

class A
{
	public function A(point:Point)
	{

	}
}

class B extends A
{
	public function B()
	{
		super(42); // TypeError: Error #1034: Type Coercion failed: cannot convert 42 to flash.geom.Point.
	}
}

Best,
Aurélien

[joshtynjala]

I can reproduce this issue. Additionally, calls to other super method are also missing type checks.

override public function a(point:Point):void {
	super.a(42);
}

[joshtynjala]

Interestingly, the ASC 2.0 compiler in the AIR SDK doesn't seem to perform type checks on super calls either. That's a bug that Harman should fix too. The Flex SDK compiler checks all super class properly, though.

[Adolio]

Thanks, I just reported it here: airsdk/Adobe-Runtime-Support#3513

[joshtynjala]

apache/royale-compiler@9ff701d
apache/royale-compiler@0f2660e