Change detection is not propagated transitively when output type in rule changes

[SimonCockx]

File 1:

func Foo:
    output: result int (1..1)

File 2:

reporting rule Rule from string:
    Foo()

File 3:

func Bar:
    output: result int (1..1)

    set result: Rule("")

Now change the output type of Foo from int to string:

func Foo:
    output: result string (1..1)

There should be a type error in the Bar function, since Rule returns a string where an integer is expected. However, since validation is not run again on File 3, this is not the case.