Add type checking for specific parameter types in triggers

Author: waleedyaseen

src/main/kotlin/io/runescript/plugin/lang/psi/type/inference/RsTypeInferenceVisitor.kt

@@ -56,6 +56,14 @@ class RsTypeInferenceVisitor(private val myInferenceData: RsTypeInference) : RsV
             }
         }
         o.parameterList?.parameterList?.forEach { it.accept(this) }
+        val expectedParameterTypes = triggerType.parameterTypes
+        if (expectedParameterTypes != null) {
+            val actualParametersType = o.parameterList?.parameterList
+                ?.map { it.localVariableExpression.type!! }
+                .fold()
+            val expectedParametersType = expectedParameterTypes.toList().fold()
+            checkTypeMismatch(o.scriptNameExpression, actualParametersType, expectedParametersType)
+        }
         o.statementList.accept(this)
     }
 
@@ -93,6 +101,16 @@ class RsTypeInferenceVisitor(private val myInferenceData: RsTypeInference) : RsV
         return this
     }
 
+    private fun Collection<RsType>?.fold(): RsType {
+        if (this == null) {
+            return RsUnitType
+        }
+        if (size == 1) {
+            return first()
+        }
+        return RsTupleType(flatten())
+    }
+
     private fun checkTypeMismatch(context: PsiElement, actualType: RsType?, expectedType: RsType?) {
         val unfoldedActualType = actualType.unfold() ?: RsErrorType
         val unfoldedExpectedType = expectedType.unfold() ?: RsErrorType