brighterscript 1.0.0-alpha.41 → 1.0.0-alpha.43

package/dist/bscPlugin/validation/ScopeValidator.spec.js

@@ -173,7 +173,7 @@ describe('ScopeValidator', () => {
                     print input
                 end sub
             `);
-            program.setFile('source/util.brs', `
+            program.setFile('source/util.bs', `
                 sub useCallFunc(input as roSGNodeWidget)
                     input.callFunc()
                 end sub
@@ -199,15 +199,39 @@ describe('ScopeValidator', () => {
                     print input
                 end sub
             `);
-            program.setFile('source/util.brs', `
+            program.setFile('source/util.bs', `
+                sub useCallFunc(input as roSGNodeWidget, funcToCall as string)
+                    input.callFunc(funcToCall, 1, 2, 3, {})
+                end sub
+            `);
+            program.validate();
+            // no error, because we can't know what function you're actually calling
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('checks for target args count on callfunc', () => {
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <script uri="Widget.brs"/>
+                    <interface>
+                        <function name="someFunc" />
+                    </interface>
+                </component>
+            `);
+            program.setFile('components/Widget.brs', `
+                sub someFunc(input as object)
+                    print input
+                end sub
+            `);
+            program.setFile('source/util.bs', `
                 sub useCallFunc(input as roSGNodeWidget)
                     input.callFunc("someFunc", 1, 2, 3, {})
                 end sub
             `);
             program.validate();
-            //TODO: do a better job of handling callFunc() invocations!
-            //should have an error
-            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.mismatchArgumentCount(2, 5)
+            ]);
         });
         it('validates against scope-defined func in inner namespace, when outer namespace has same named func', () => {
             program.setFile('source/main.bs', `
@@ -1159,6 +1183,148 @@ describe('ScopeValidator', () => {
             (0, testHelpers_spec_1.expectTypeToBe)(data.fieldMismatches[0].expectedType, IntegerType_1.IntegerType);
             (0, testHelpers_spec_1.expectTypeToBe)(data.fieldMismatches[0].actualType, StringType_1.StringType);
         });
+        it('allows a non-built-in void function as an argument', () => {
+            program.setFile('source/main.bs', `
+                sub voidFunc() as void
+                end sub
+
+                sub doPrint(x)
+                    print x
+                end sub
+
+                sub useVoidAsArg()
+                    doPrint(voidFunc()) ' will print "invalid"
+                end sub
+                `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('validates a built-in void function as an argument', () => {
+            program.setFile('source/main.bs', `
+                sub doPrint(x)
+                    print x
+                end sub
+
+                sub useVoidAsArg()
+                    arr = [1,2,3]
+                    doPrint(arr.push(4))
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.argumentTypeMismatch('uninitialized', 'dynamic').message
+            ]);
+        });
+        describe('default params', () => {
+            it('generalizes EnumMembers to their parent types', () => {
+                program.setFile('source/util.bs', `
+                    sub takesEnum(enumVal = Direction.South)
+                        print enumVal
+                    end sub
+
+                    sub callTestFunc()
+                        takesEnum(Direction.North)
+                    end sub
+
+                    enum Direction
+                        North
+                        South
+                    end enum
+                `);
+                program.validate();
+                //should have no errors
+                (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+            });
+            it('works with future declared types', () => {
+                program.setFile('source/util.bs', `
+                    sub takesKlass(klassInstance = new Klass())
+                        print klassInstance
+                    end sub
+
+                    sub callTestFunc()
+                        takesKlass()
+                        myKlass = new Klass()
+                        takesKlass(myKlass)
+                    end sub
+
+                    class Klass
+                        name as string
+                    end class
+                `);
+                program.validate();
+                //should have no errors
+                (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+            });
+            it('validates against future declared types', () => {
+                program.setFile('source/util.bs', `
+                    sub takesKlass(klassInstance = new Klass())
+                        print klassInstance
+                    end sub
+
+                    sub callTestFunc()
+                        myOKlass = new OtherKlass()
+                        takesKlass(myOKlass)
+                    end sub
+
+                    class Klass
+                        name as string
+                    end class
+
+                     class OtherKlass
+                        name as integer
+                    end class
+                `);
+                program.validate();
+                //should have no errors
+                (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                    DiagnosticMessages_1.DiagnosticMessages.argumentTypeMismatch('OtherKlass', 'Klass').message
+                ]);
+            });
+            it('validates against future declared types in different namespace', () => {
+                program.setFile('source/util.bs', `
+                    sub takesKlass(klassInstance = new alpha.beta.Klass())
+                        print klassInstance
+                    end sub
+
+                    sub callTestFunc()
+                        myOKlass = new alpha.beta.OtherKlass()
+                        takesKlass(myOKlass)
+                    end sub
+
+                    namespace alpha.beta
+                        class Klass
+                            name as string
+                        end class
+
+                        class OtherKlass
+                            name as integer
+                        end class
+                    end namespace
+                `);
+                program.validate();
+                //should have no errors
+                (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                    DiagnosticMessages_1.DiagnosticMessages.argumentTypeMismatch('alpha.beta.OtherKlass', 'alpha.beta.Klass').message
+                ]);
+            });
+            it('should correctly be able to modify an array with enum initial values', () => {
+                program.setFile('source/util.bs', `
+                    function alsoGoEast(path = [Direction.North, Direction.South])
+                        path.Push(Direction.East) ' "path" should be typed as Array<Direction>
+                        return path
+                    end function
+
+                    enum Direction
+                        North = "North"
+                        South = "South"
+                        East = "East"
+                        West = "West"
+                    end  enum
+                `);
+                program.validate();
+                (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+            });
+        });
         describe('array compatibility', () => {
             it('accepts dynamic when assigning to a roArray', () => {
                 program.setFile('source/util.bs', `
@@ -1487,6 +1653,66 @@ describe('ScopeValidator', () => {
                 (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
             });
         });
+        it('allows boxed types', () => {
+            program.setFile('source/main.bs', `
+                function takesBoxedLongInt(x as roLongInteger)
+                    return 123456& + x
+                end function
+
+                function takesLongInt(x as longInteger)
+                    return 123456& + x
+                end function
+
+                sub test()
+                    long = 123456&
+                    boxedLong = createObject("roLongInteger")
+                    print takesBoxedLongInt(long)
+                    print takesBoxedLongInt(boxedLong)
+                    print takesLongInt(long)
+                    print takesLongInt(boxedLong)
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        describe('AA args with string literal keys', () => {
+            it('finds keys with string literal names', () => {
+                program.setFile('source/main.bs', `
+                    interface Data
+                        id
+                    end interface
+
+                    sub takesData(datum as Data)
+                    end sub
+
+                    sub usesData()
+                    takesData({"id": 1234})
+                    end sub
+                `);
+                program.validate();
+                (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+            });
+            it('validates keys with string literal names, but type is incorrect', () => {
+                program.setFile('source/main.bs', `
+                    interface Data
+                        id as string
+                    end interface
+
+                    sub takesData(datum as Data)
+                    end sub
+
+                    sub usesData()
+                    takesData({"id": 1234})
+                    end sub
+                `);
+                program.validate();
+                (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                    DiagnosticMessages_1.DiagnosticMessages.argumentTypeMismatch('roAssociativeArray', 'Data', {
+                        fieldMismatches: [{ name: 'id', expectedType: StringType_1.StringType.instance, actualType: IntegerType_1.IntegerType.instance }]
+                    }).message
+                ]);
+            });
+        });
     });
     describe('cannotFindName', () => {
         it('finds variables from assignments from member functions of primitive types', () => {
@@ -1823,6 +2049,135 @@ describe('ScopeValidator', () => {
             program.validate();
             (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
         });
+        it('has an diagnostic when using a variable defined in parent function', () => {
+            program.setFile('source/main.bs', `
+                function parentFunction()
+                    parentVar = "test"
+
+                    innerFunction = sub()
+                        ' Attempting to use parentVar from the parent function scope
+                        print parentVar ' This should trigger a diagnostic
+                        otherFunc() ' this is fine
+                    end sub
+
+                    innerFunction()
+                end function
+
+                sub otherFunc()
+                    print "hello"
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.cannotFindName('parentVar')
+            ]);
+        });
+        it('has an diagnostic when using a param from  parent function', () => {
+            program.setFile('source/main.bs', `
+                function parentFunction(outerVal)
+                    parentVar = "test"
+
+                    innerFunction = sub(inner)
+                        print inner + outer
+                    end sub
+
+                    innerFunction(2)
+                end function
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.cannotFindName('outer')
+            ]);
+        });
+        it('allows method call on hex literal', () => {
+            program.setFile('source/main.bs', `
+                function test()
+                    x = &HFF.toStr()
+                    return x
+                end function
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('allows method call on hex literal', () => {
+            program.setFile('source/main.bs', `
+                function test()
+                    x = &HFF.toStr()
+                    return x
+                end function
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('has no validation errors with print statement with hex followed by dot <number>', () => {
+            program.setFile('source/main.bs', `
+                sub test()
+                    print &hFF.123.456.5678
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('allows access of properties of union with invalid', () => {
+            program.setFile('source/main.bs', `
+                sub test()
+                    channel = invalid
+                    if true
+                        channel = {
+                            height: 123
+                        }
+                    end if
+
+                    height = 0
+                    if channel <> invalid then
+                        height += channel.height
+                    end if
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('sets default arg of invalid as dynamic', () => {
+            program.setFile('source/main.bs', `
+                sub test(channel = invalid)
+                    if true
+                        channel = {
+                            height: 123
+                        }
+                    end if
+
+                    height = 0
+                    if channel <> invalid then
+                        height += channel.height
+                    end if
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('sets assignment of function returning invalid as dynamic', () => {
+            program.setFile('source/main.bs', `
+                sub test()
+                    channel = noReturn()
+                    if true
+                        channel = {
+                            height: 123
+                        }
+                    end if
+
+                    height = 0
+                    if channel <> invalid then
+                        height += channel.height
+                    end if
+                end sub
+
+                sub noReturn()
+                    print "hello"
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
     });
     describe('itemCannotBeUsedAsVariable', () => {
         it('detects assigning to a member of a namespace outside the namespace', () => {
@@ -1840,6 +2195,40 @@ describe('ScopeValidator', () => {
                 DiagnosticMessages_1.DiagnosticMessages.itemCannotBeUsedAsVariable('namespace')
             ]);
         });
+        it('validates when trying to print a namespace', () => {
+            program.setFile('source/main.bs', `
+                namespace Alpha
+                    const Name = "Alpha"
+                end namespace
+
+                sub main()
+                    print alpha
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.itemCannotBeUsedAsVariable('namespace')
+            ]);
+        });
+        it('validates when trying to pass a namespace as an arg', () => {
+            program.setFile('source/main.bs', `
+                namespace Alpha
+                    const Name = "Alpha"
+                end namespace
+
+                sub main()
+                    someFunc(alpha)
+                end sub
+
+                sub someFunc(arg)
+                    print sub
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnosticsIncludes)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.itemCannotBeUsedAsVariable('namespace')
+            ]);
+        });
         it('detects assigning to a member of a namespace inside the namespace', () => {
             program.setFile('source/main.bs', `
                 namespace Alpha
@@ -2262,9 +2651,47 @@ describe('ScopeValidator', () => {
                 DiagnosticMessages_1.DiagnosticMessages.returnTypeMismatch('integer', 'void').message
             ]);
         });
-    });
-    describe('expectedReturnStatement', () => {
-        it('allows functions, subs, and "function as void/dynamic" to not have return statements', () => {
+        it('allows empty return when return as void', () => {
+            program.setFile('source/util.bs', `
+                function doNothing1() as void
+                    return
+                end function
+
+                sub doNothing2() as void
+                    return
+                end sub
+
+                sub doNothing3() as void
+                end sub
+
+                sub doNothing4()
+                    return
+                end sub
+
+                function doNothing5()
+                    return
+                end function
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('allows boxed types', () => {
+            program.setFile('source/main.bs', `
+                function getBoxedLongInt() as roLongInteger
+                    return 123456&
+                end function
+
+                function getLongInt() as longInteger
+                    x = createObject("roLongInteger")
+                    return x
+                end function
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+    });
+    describe('returnTypeCoercionMismatch', () => {
+        it('allows functions, subs, and "function as void/dynamic" to not have return statements', () => {
             program.setFile('source/util.bs', `
                 function noTypeSpecified()
                 end function
@@ -2283,30 +2710,56 @@ describe('ScopeValidator', () => {
         });
         it('detects when a function does not have a return statement', () => {
             program.setFile('source/util.bs', `
-                function doSomething() as integer
+                function doSomething() as string
                 end function
             `);
             program.validate();
             (0, testHelpers_spec_1.expectDiagnostics)(program, [
-                DiagnosticMessages_1.DiagnosticMessages.expectedReturnStatement().message
+                DiagnosticMessages_1.DiagnosticMessages.returnTypeCoercionMismatch().message
             ]);
         });
+        it('allows when a function does not have a return statement, but type coercsion is okay', () => {
+            program.setFile('source/util.bs', `
+                interface Whatever
+                    name as string
+                end interface
+
+                function doSomething() as Whatever
+                end function
+
+                function doSomething2() as object
+                end function
+
+                function doSomething3() as integer
+                end function
+
+                function doSomething4() as float
+                end function
+
+                function doSomething5() as boolean
+                end function
+
+            `);
+            program.validate();
+            // all these are ok
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
         it('detects when a namespaced function does not have a return statement', () => {
             program.setFile('source/util.bs', `
                 namespace alpha
-                    function doSomething() as integer
+                    function doSomething() as string
                     end function
                 end namespace
             `);
             program.validate();
             (0, testHelpers_spec_1.expectDiagnostics)(program, [
-                DiagnosticMessages_1.DiagnosticMessages.expectedReturnStatement().message
+                DiagnosticMessages_1.DiagnosticMessages.returnTypeCoercionMismatch().message
             ]);
         });
         it('detects when an inline function does not have a return statement', () => {
             program.setFile('source/util.bs', `
-                function outer() as integer
-                    inner = function() as integer
+                function outer() as string
+                    inner = function () as string
                         print "no return!"
                     end function
                     return inner()
@@ -2314,30 +2767,30 @@ describe('ScopeValidator', () => {
             `);
             program.validate();
             (0, testHelpers_spec_1.expectDiagnostics)(program, [
-                DiagnosticMessages_1.DiagnosticMessages.expectedReturnStatement().message
+                DiagnosticMessages_1.DiagnosticMessages.returnTypeCoercionMismatch().message
             ]);
         });
         it('detects when an outer function does not have a return statement', () => {
             program.setFile('source/util.bs', `
-                function outer() as integer
-                    inner = function() as integer
-                        return 1
+                function outer() as string
+                    inner = function() as string
+                        return "abc"
                     end function
                     print inner()
                 end function
             `);
             program.validate();
             (0, testHelpers_spec_1.expectDiagnostics)(program, [
-                DiagnosticMessages_1.DiagnosticMessages.expectedReturnStatement().message
+                DiagnosticMessages_1.DiagnosticMessages.returnTypeCoercionMismatch().message
             ]);
         });
         it('detects when a outer function has a return statement in a branch', () => {
             program.setFile('source/util.bs', `
-                function hasBranch(x) as integer
+                function hasBranch(x) as string
                     if x = 1
-                        return 1
+                        return "1"
                     else
-                        return 2
+                        return "2"
                     end if
                 end function
             `);
@@ -2346,18 +2799,18 @@ describe('ScopeValidator', () => {
         });
         it('works for sub with return types with missing return', () => {
             program.setFile('source/util.bs', `
-                sub doSomething() as integer
+                sub doSomething() as string
                 end sub
             `);
             program.validate();
             (0, testHelpers_spec_1.expectDiagnostics)(program, [
-                DiagnosticMessages_1.DiagnosticMessages.expectedReturnStatement().message
+                DiagnosticMessages_1.DiagnosticMessages.returnTypeCoercionMismatch().message
             ]);
         });
         it('works for sub with return types', () => {
             program.setFile('source/util.bs', `
-                sub doSomething() as integer
-                    return 1
+                sub doSomething() as string
+                    return "1"
                 end sub
             `);
             program.validate();
@@ -2495,6 +2948,47 @@ describe('ScopeValidator', () => {
                 DiagnosticMessages_1.DiagnosticMessages.assignmentTypeMismatch('string', 'integer').message
             ]);
         });
+        it('allows an assignment to a class field with enum initial value', () => {
+            program.setFile('source/util.bs', `
+                sub setDirection(k as Klass, d as Direction)
+                    k.dir = Direction.South
+                    k.dir = d
+                end sub
+
+                class Klass
+                    dir = Direction.north
+                end class
+
+                enum Direction
+                    north
+                    south
+                end enum
+            `);
+            program.validate();
+            //should have no errors
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('validates an assignment to a class field with enum initial value', () => {
+            program.setFile('source/util.bs', `
+                sub setDirection(k as Klass)
+                    k.dir = "NOT a direction"
+                end sub
+
+                class Klass
+                    dir = Direction.north
+                end class
+
+                enum Direction
+                    north
+                    south
+                end enum
+            `);
+            program.validate();
+            //should have errors
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.assignmentTypeMismatch('string', 'Direction').message
+            ]);
+        });
         describe('Component fields', () => {
             it('allows assigning string to font fields', () => {
                 program.setFile('source/util.bs', `
@@ -2805,6 +3299,98 @@ describe('ScopeValidator', () => {
                 DiagnosticMessages_1.DiagnosticMessages.operatorTypeMismatch('++', 'string').message
             ]);
         });
+        it('deals with adding int, bool and invalid', () => {
+            program.setFile('source/util.bs', `
+                sub doStuff()
+                    print 1 + (true + invalid)
+                end sub
+
+            `);
+            program.validate();
+            //should have errors
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.operatorTypeMismatch('+', 'boolean', 'invalid').message
+            ]);
+        });
+        it('allows using return of a void func as a variable', () => {
+            program.setFile('source/main.brs', `
+                sub voidFunc() as void
+                end sub
+
+                sub test()
+                    x = voidFunc()
+                    if x = invalid
+                        print "invalid"
+                    end if
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('validates using return of a built-in void func as a variable', () => {
+            program.setFile('source/main.brs', `
+                sub test()
+                    arr = [1,2,3]
+                    x = arr.push(4)
+                    if x = invalid
+                        print "invalid"
+                    end if
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.operatorTypeMismatch('=', 'uninitialized', 'invalid').message
+            ]);
+        });
+        it('allows string comparisons with object', () => {
+            program.setFile('source/main.brs', `
+                sub test(x as object)
+                    if x <> "test"
+                        print x
+                    end if
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('allows boxed types', () => {
+            program.setFile('source/main.bs', `
+                function math(a as rolonginteger, b as longinteger)
+                    c = a + b
+                    c = a - b
+                    c = a * b
+                    c = a / b
+                    c = a \\ b
+
+                    d = a mod b
+                    d = a ^ b
+
+                    a++
+                    a--
+                    a += 1
+                    a -= 1
+                    a *= 1
+                    a /= 1
+                    a \= 1
+                    a <<= 1
+                    a >>= 1
+
+                    ? 1 << (2 as roInt)
+                    ? (1 as roInt) << 2
+                    ? a and b
+                    ? a or b
+
+                    j = a = b
+                    j = a <> b
+                    j = a < b
+                    j = a <= b
+                    j = a > b
+                    j = a >= b
+                end function
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
     });
     describe('memberAccessibilityMismatch', () => {
         it('should flag when accessing a private member', () => {
@@ -3056,7 +3642,7 @@ describe('ScopeValidator', () => {
                 `);
             program.validate();
             (0, testHelpers_spec_1.expectDiagnostics)(program, [
-                DiagnosticMessages_1.DiagnosticMessages.cannotFindTypeInCommentDoc('TypeNotThere').message
+                DiagnosticMessages_1.DiagnosticMessages.cannotFindName('TypeNotThere').message
             ]);
         });
         it('validates types it cannot find in @return', () => {
@@ -3068,7 +3654,7 @@ describe('ScopeValidator', () => {
                 `);
             program.validate();
             (0, testHelpers_spec_1.expectDiagnostics)(program, [
-                DiagnosticMessages_1.DiagnosticMessages.cannotFindTypeInCommentDoc('TypeNotThere').message
+                DiagnosticMessages_1.DiagnosticMessages.cannotFindName('TypeNotThere').message
             ]);
         });
         it('validates types it cannot find in @type', () => {
@@ -3080,7 +3666,7 @@ describe('ScopeValidator', () => {
                 `);
             program.validate();
             (0, testHelpers_spec_1.expectDiagnostics)(program, [
-                DiagnosticMessages_1.DiagnosticMessages.cannotFindTypeInCommentDoc('TypeNotThere').message
+                DiagnosticMessages_1.DiagnosticMessages.cannotFindName('TypeNotThere').message
             ]);
         });
     });
@@ -3312,6 +3898,202 @@ describe('ScopeValidator', () => {
                 DiagnosticMessages_1.DiagnosticMessages.cannotFindName('missingBool2', undefined, 'MediaObject').message
             ]);
         });
+        it('rechecks source when member type of import changes', () => {
+            // notice that width is wrongly typed as a boolean
+            program.setFile('source/type1.bs', `
+                interface SubType
+                    value as string
+                end interface
+            `);
+            program.setFile('source/type2.bs', `
+                interface ParentType
+                    child as Subtype
+                end interface
+            `);
+            program.setFile('source/main.bs', `
+                sub foo(input as ParentType)
+                    input.child.value = 1
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.assignmentTypeMismatch('integer', 'string').message
+            ]);
+            // fix width field type to integer
+            program.setFile('source/type1.bs', `
+                interface SubType
+                    value as integer
+                end interface
+            `);
+            program.validate();
+            // there should be no more errors
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('rechecks component source when xml changes', () => {
+            // notice that width is wrongly typed as a boolean
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <script uri="Widget.bs"/>
+                    <interface>
+                        <field id="width" type="boolean" />
+                    </interface>
+                </component>
+            `);
+            program.setFile('components/Widget.bs', `
+                interface IWidget
+                    top as roSGNodeWidget
+                    data as roAssociativeArray
+                end interface
+
+                sub init()
+                    (m as IWidget).top.width =  100
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.assignmentTypeMismatch('integer', 'boolean').message
+            ]);
+            // fix width field type to integer
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <script uri="Widget.bs"/>
+                    <interface>
+                        <field id="width" type="integer" />
+                    </interface>
+                </component>
+            `);
+            program.validate();
+            // there should be no more errors
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('rechecks complete file when type of typecasted m changes indirectly', () => {
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <interface>
+                        <field id="width" type="boolean" />
+                    </interface>
+                </component>
+            `);
+            // notice that width is wrongly typed as a boolean
+            program.setFile('components/WidgetContainer.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="WidgetContainer" extends="Group">
+                    <script uri="WidgetContainer.bs"/>
+                </component>
+            `);
+            program.setFile('components/WidgetContainerTypes.bs', `
+                interface IWidgetContainer
+                    top as roSGNodeWidgetContainer
+                    widget as roSGNodeWidget
+                end interface
+            `);
+            program.setFile('components/WidgetContainer.bs', `
+                import "WidgetContainerTypes.bs"
+                typecast m as IWidgetContainer
+
+                sub init()
+                    m.widget.width =  100
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.assignmentTypeMismatch('integer', 'boolean').message
+            ]);
+            // fix width field type to integer
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <interface>
+                        <field id="width" type="integer" />
+                    </interface>
+                </component>
+            `);
+            program.validate();
+            // there should be no more errors
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('rechecks file using callfunc when exported function type of xml changes', () => {
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <script uri="Widget.bs"/>
+                    <interface>
+                        <function name="foo" />
+                    </interface>
+                </component>
+            `);
+            program.setFile('components/Widget.bs', `
+                sub foo(input as string)
+                    print input
+                end sub
+            `);
+            program.setFile('source/callFoo.bs', `
+                sub callFoo(widget as roSGNodeWidget)
+                    widget@.foo(123) ' foo expects string
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.argumentTypeMismatch('integer', 'string').message
+            ]);
+            // fix function
+            program.setFile('components/Widget.bs', `
+                sub foo(input as integer)
+                    print input
+                end sub
+            `);
+            program.validate();
+            // there should be no more errors
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('rechecks complete file when type of typecasted m  in same file changes indirectly', () => {
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <interface>
+                        <field id="width" type="boolean" />
+                    </interface>
+                </component>
+            `);
+            // notice that width is wrongly typed as a boolean
+            program.setFile('components/WidgetContainer.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="WidgetContainer" extends="Group">
+                    <script uri="WidgetContainer.bs"/>
+                </component>
+            `);
+            program.setFile('components/WidgetContainer.bs', `
+                typecast m as IWidgetContainer
+
+                 interface IWidgetContainer
+                    top as roSGNodeWidgetContainer
+                    widget as roSGNodeWidget
+                end interface
+
+                sub init()
+                    m.widget.width =  100
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.assignmentTypeMismatch('integer', 'boolean').message
+            ]);
+            // fix width field type to integer
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <interface>
+                        <field id="width" type="integer" />
+                    </interface>
+                </component>
+            `);
+            program.validate();
+            // there should be no more errors
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
     });
     describe('preprocessor', () => {
         it('should process class inheritance correctly', () => {
@@ -3376,5 +4158,535 @@ describe('ScopeValidator', () => {
             (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
         });
     });
+    describe('callFunc', () => {
+        it('allows access to member of return type when return type is custom node', () => {
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <script uri="Widget.bs"/>
+                    <interface>
+                        <function name="getOther" />
+                    </interface>
+                </component>
+            `);
+            program.setFile('components/Widget.bs', `
+                function getOther(name as string) as roSgNodeOther
+                    other =  createObject("roSgNode", "Other")
+                    other.myValue = name
+                    return other
+                end function
+            `);
+            program.setFile('components/Other.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Other" extends="Group">
+                    <interface>
+                        <field id="myValue" type="string" />
+                    </interface>
+                </component>
+            `);
+            program.setFile('components/MainScene.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="MainScene" extends="Scene">
+                    <script uri="MainScene.bs"/>
+                </component>
+            `);
+            program.setFile('components/MainScene.bs', `
+                sub someFunc(widget as roSGNodeWidget)
+                    otherNode = widget@.getOther("3.14")
+                    print otherNode.myValue
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('allows access to member of return type when return type is custom type', () => {
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <script uri="Widget.bs"/>
+                    <interface>
+                        <function name="getOther" />
+                    </interface>
+                </component>
+            `);
+            program.setFile('components/types.bs', `
+                interface SomeIFace
+                   myValue as string
+                end interface
+            `);
+            program.setFile('components/Widget.bs', `
+                import "pkg:/components/types.bs"
+
+                function getOther(name as string) as SomeIFace
+                    other = {myValue: name} as SomeIface
+                    other.myValue = name
+                    return other
+                end function
+            `);
+            program.setFile('components/MainScene.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="MainScene" extends="Scene">
+                    <script uri="MainScene.bs"/>
+                </component>
+            `);
+            program.setFile('components/MainScene.bs', `
+                sub someFunc(widget as roSGNodeWidget)
+                    otherNode = widget@.getOther("3.14")
+                    print otherNode.myValue
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('allows access to custom type member of return type when return type is custom type', () => {
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <script uri="Widget.bs"/>
+                    <interface>
+                        <function name="getOther" />
+                    </interface>
+                </component>
+            `);
+            program.setFile('components/types.bs', `
+                interface SomeIFace
+                   subFace as SubIface
+                end interface
+
+                interface SubIface
+                    myValue as string
+                end interface
+            `);
+            program.setFile('components/Widget.bs', `
+                import "pkg:/components/types.bs"
+
+                function getOther(name as string) as SomeIFace
+                    other = {subFace: {myValue: name}} as SomeIface
+                    return other
+                end function
+            `);
+            program.setFile('components/MainScene.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="MainScene" extends="Scene">
+                    <script uri="MainScene.bs"/>
+                </component>
+            `);
+            program.setFile('components/MainScene.bs', `
+                sub someFunc(widget as roSGNodeWidget)
+                    otherNode = widget@.getOther("3.14")
+                    print otherNode.subFace.myValue
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('correctly finds error with using unknown member of callfunc return type when return type is custom type', () => {
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <script uri="Widget.bs"/>
+                    <interface>
+                        <function name="getOther" />
+                    </interface>
+                </component>
+            `);
+            program.setFile('components/types.bs', `
+                interface SomeIFace
+                   subFace as SubIface
+                end interface
+
+                interface SubIface
+                    myValue as string
+                end interface
+            `);
+            program.setFile('components/Widget.bs', `
+                import "pkg:/components/types.bs"
+
+                function getOther(name as string) as SomeIFace
+                    other = {subFace: {myValue: name}} as SomeIface
+                    return other
+                end function
+            `);
+            program.setFile('components/MainScene.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="MainScene" extends="Scene">
+                    <script uri="MainScene.bs"/>
+                </component>
+            `);
+            program.setFile('components/MainScene.bs', `
+                sub someFunc(widget as roSGNodeWidget)
+                    otherNode = widget@.getOther("3.14")
+                    print otherNode.subFace.notIncluded
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.cannotFindName('notIncluded', 'SubIface.notIncluded', 'SubIface').message
+            ]);
+        });
+        it('catches when a non-component type has callfunc invocation', () => {
+            program.setFile('source/test.bs', `
+                sub printName(widget as integer)
+                    print widget@.toStr()
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.cannotFindCallFuncFunction('toStr', 'integer@.toStr', 'integer').message
+            ]);
+        });
+        it('allows to types that reference themselves', () => {
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <script uri="Widget.bs"/>
+                    <interface>
+                        <function name="getList" />
+                    </interface>
+                </component>
+            `);
+            program.setFile('components/types.bs', `
+                interface LinkedList
+                    value as integer
+                    optional data as roAssociativeArray
+                    optional next as LinkedList
+                end interface
+            `);
+            program.setFile('components/Widget.bs', `
+                import "pkg:/components/types.bs"
+
+                function getList() as LinkedList
+                    list  = {
+                        value: 1,
+                        next: {
+                            value: 2,
+                            next: {
+                                value: 3
+                            }
+                        }
+                    } as LinkedList
+                    return list
+                end function
+            `);
+            program.setFile('components/MainScene.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="MainScene" extends="Scene">
+                    <script uri="MainScene.bs"/>
+                </component>
+            `);
+            program.setFile('components/MainScene.bs', `
+                sub someFunc(widget as roSGNodeWidget)
+                    list = widget@.getList()
+                    print list.next.next.value
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('finds invalid func name of callfunc()', () => {
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <script uri="Widget.bs"/>
+                    <interface>
+                        <function name="getName" />
+                    </interface>
+                </component>
+            `);
+            program.setFile('components/Widget.bs', `
+                function getName() as string
+                    return "John Doe"
+                end function
+            `);
+            program.setFile('source/test.bs', `
+                sub printName(widget as roSGNodeWidget)
+                    print widget.callFunc("whatever")
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.cannotFindCallFuncFunction('whatever', 'roSGNodeWidget@.whatever', 'roSGNodeWidget').message
+            ]);
+        });
+        it('finds invalid func name of @ callfunc invocation', () => {
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <script uri="Widget.bs"/>
+                    <interface>
+                        <function name="getName" />
+                    </interface>
+                </component>
+            `);
+            program.setFile('components/Widget.bs', `
+                function getName() as string
+                    return "John Doe"
+                end function
+            `);
+            program.setFile('source/test.bs', `
+                sub printName(widget as roSGNodeWidget)
+                    print widget@.whatever()
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.cannotFindCallFuncFunction('whatever', 'roSGNodeWidget@.whatever', 'roSGNodeWidget').message
+            ]);
+        });
+        it('catches func name of callfunc() with spaces', () => {
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <script uri="Widget.bs"/>
+                    <interface>
+                        <function name="getName" />
+                    </interface>
+                </component>
+            `);
+            program.setFile('components/Widget.bs', `
+                function getName() as string
+                    return "John Doe"
+                end function
+            `);
+            program.setFile('source/test.bs', `
+                sub printName(widget as roSGNodeWidget)
+                    print widget.callFunc("whatever the name is")
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.cannotFindCallFuncFunction('whatever the name is', 'roSGNodeWidget@.whatever the name is', 'roSGNodeWidget').message
+            ]);
+        });
+        it('validates arg type of callfunc()', () => {
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <script uri="Widget.bs"/>
+                    <interface>
+                        <function name="getName" />
+                    </interface>
+                </component>
+            `);
+            program.setFile('components/Widget.bs', `
+                function getName(name as string, count as integer) as string
+                    return "John Doe"
+                end function
+            `);
+            program.setFile('source/test.bs', `
+                sub printName(widget as roSGNodeWidget)
+                    print widget.callFunc("getName", 12, "not int")
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.argumentTypeMismatch('integer', 'string').message,
+                DiagnosticMessages_1.DiagnosticMessages.argumentTypeMismatch('string', 'integer').message
+            ]);
+        });
+        it('has no error on plain roSGNode', () => {
+            program.setFile('source/test.bs', `
+                sub doCallfunc(nodeName as string)
+                    node = createObject("roSgNode", nodeName)
+                    node.callfunc("someFunc", 1, 2, 3)
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('has error on regular builtIn types', () => {
+            program.setFile('source/test.bs', `
+                sub doCallfunc()
+                    node = createObject("roSgNode", "Rectangle")
+                    node.callfunc("someFunc", 1, 2, 3)
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.cannotFindCallFuncFunction('someFunc', 'roSGNodeRectangle@.someFunc', 'roSGNodeRectangle')
+            ]);
+        });
+        it('allows callfunc on flexible types', () => {
+            program.setFile('source/test.bs', `
+                sub doCallfunc(obj as object, dyn as dynamic, node as roSGNode)
+                    obj.callfunc("testFunc")
+                    obj@.testFunc()
+
+                    dyn.callfunc("testFunc")
+                    dyn@.testFunc()
+
+                    node.callfunc("testFunc")
+                    node@.testFunc()
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('allows callfunc on components from component library', () => {
+            program.setFile('source/test.bs', `
+                sub doCallfunc()
+                    fromComponentLibrary = CreateObject("roSGNode", "library:SomeComponent")
+                    fromComponentLibrary@.someFunc()
+                    fromComponentLibrary.callfunc("someFunc")
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('allows callfunc on the dynamic result of a function call', () => {
+            program.setFile('source/test.bs', `
+                sub doCallfunc(nodeName)
+                    getNode(nodeName)@.someCallFunc(1,2,3)
+                end sub
+
+                function getNode(nodeType)
+                    return CreateObject("roSGNode", nodeType)
+                end function
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('validates callfunc on a known result of a function call', () => {
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <script uri="Widget.bs"/>
+                    <interface>
+                        <function name="getName" />
+                    </interface>
+                </component>
+            `);
+            program.setFile('components/Widget.bs', `
+                function getName(name as string, count as integer) as string
+                    return "John Doe"
+                end function
+            `);
+            program.setFile('source/test.bs', `
+                sub doCallfunc()
+                    getWidget()@.getName("someStr", "not an int")
+                end sub
+
+                function getWidget() as roSGNodeWidget
+                    return CreateObject("roSGNode", "Widget")
+                end function
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.argumentTypeMismatch('string', 'integer').message
+            ]);
+        });
+        it('validates callfunc on a known result of a callfunc call', () => {
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <script uri="Widget.bs"/>
+                    <interface>
+                        <function name="getName" />
+                        <function name="getSelf" />
+                    </interface>
+                </component>
+            `);
+            program.setFile('components/Widget.bs', `
+                function getName(name as string, count as integer) as string
+                    return "John Doe"
+                end function
+
+                function getSelf() as roSGNodeWidget
+                    return m.top
+                end function
+            `);
+            program.setFile('source/test.bs', `
+                sub doCallfunc(widget as roSGNodeWidget)
+                    widget@.getSelf()@.getName("someStr", "not an int")
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.argumentTypeMismatch('string', 'integer').message
+            ]);
+        });
+        it('respects return value of as callfunc functions', () => {
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <script uri="Widget.bs"/>
+                    <interface>
+                        <function name="getInt" />
+                    </interface>
+                </component>
+            `);
+            program.setFile('components/Widget.bs', `
+                sub getInt() as integer
+                    return 1
+                end sub
+            `);
+            program.setFile('source/test.bs', `
+                sub doCallfunc(widget as roSGNodeWidget)
+                    takesInt(widget@.getInt())
+                end sub
+
+                sub takesInt(number as integer)
+                    print number
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+        it('respects return value of as callfunc functions - negative case', () => {
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <script uri="Widget.bs"/>
+                    <interface>
+                        <function name="getInt" />
+                    </interface>
+                </component>
+            `);
+            program.setFile('components/Widget.bs', `
+                sub getInt() as integer
+                    return 1
+                end sub
+            `);
+            program.setFile('source/test.bs', `
+                sub doCallfunc(widget as roSGNodeWidget)
+                    takesString(widget@.getInt())
+                end sub
+
+                sub takesString(word as string)
+                    print word
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectDiagnostics)(program, [
+                DiagnosticMessages_1.DiagnosticMessages.argumentTypeMismatch('integer', 'string').message
+            ]);
+        });
+        it('allows return value of as void functions to be dynamic', () => {
+            program.setFile('components/Widget.xml', (0, testHelpers_spec_1.trim) `
+                <?xml version="1.0" encoding="utf-8" ?>
+                <component name="Widget" extends="Group">
+                    <script uri="Widget.bs"/>
+                    <interface>
+                        <function name="noop" />
+                    </interface>
+                </component>
+            `);
+            program.setFile('components/Widget.bs', `
+                sub noop()
+                end sub
+            `);
+            program.setFile('source/test.bs', `
+                sub doCallfunc(widget as roSGNodeWidget)
+                    takesAny(widget@.noop())
+                end sub
+
+                sub takesAny(anything)
+                    print anything
+                end sub
+            `);
+            program.validate();
+            (0, testHelpers_spec_1.expectZeroDiagnostics)(program);
+        });
+    });
 });
 //# sourceMappingURL=ScopeValidator.spec.js.map