#pragma downcast support for array types

Author: bamboo

src/UnityScript.Tests/PragmaTestFixture.boo

@@ -10,6 +10,10 @@ class PragmaTestFixture(AbstractIntegrationTestFixture):
 	def downcast_plus_strict_1():
 		RunTestCase("tests/pragma/downcast-plus-strict-1.js")
 
+	[Test]
+	def downcast_plus_strict_for_arrays():
+		RunTestCase("tests/pragma/downcast-plus-strict-for-arrays.js")
+		
 	[Test]
 	def implicit_1():
 		RunTestCase("tests/pragma/implicit-1.js")

src/UnityScript/Steps/InitializeUnityScriptTypeSystem.boo

@@ -11,4 +11,4 @@ class InitializeUnityScriptTypeSystem(InitializeTypeSystemServices):
 		return UnityCallableResolutionService(Context)
 
 	override def CreateDowncastPermissions():
-		return UnityDowncastPermissions(Context)
+		return UnityDowncastPermissions()

src/UnityScript/Steps/UnityDowncastPermissions.boo

@@ -1,14 +1,21 @@
 namespace UnityScript.Steps
 
 import Boo.Lang.Compiler
+import Boo.Lang.Compiler.TypeSystem
 import Boo.Lang.Compiler.TypeSystem.Services
 
 class UnityDowncastPermissions(DowncastPermissions):
 
 	[property(Enabled)] _enabled = false
 
-	def constructor(context as CompilerContext):
-		super(context)
+	override def CanBeReachedByDowncast(expectedType as IType, actualType as IType):
+		if expectedType.IsArray and actualType.IsArray and IsDowncastAllowed():
+			return CanBeReachedByArrayDowncast(expectedType, actualType)
+		return super(expectedType, actualType)
 
-	override def IsDowncastAllowed():
+	override protected def IsDowncastAllowed():
 		return _enabled or super()
+		
+	private def CanBeReachedByArrayDowncast(expectedType as IArrayType, actualType as IArrayType):
+		return expectedType.GetArrayRank() == actualType.GetArrayRank() \
+			and CanBeReachedByDowncast(expectedType.GetElementType(), actualType.GetElementType())

tests/pragma/downcast-plus-strict-for-arrays.js

@@ -1,5 +1,5 @@
 /*
-Bar
+Bar[]
 */
 #pragma strict
 #pragma downcast