RM-37730: Fix scoping of type checks (#101)

* Added test case covering #37730.

* Added extra test case.

Author: zon-tiobe

test/res/VariablesHaveFixedTypes.jl

@@ -25,4 +25,18 @@ function _check(this::Check, ctxt::AnalysisContext, sf::SourceFile)::Nothing
         end
     end
     return nothing
-end
+end
+
+function skip_over_arguments(;
+    field_size = (x = 0.03, y = 0.038),
+    field_offset = divide_point(field_size, 2),
+    field_centers = nothing, 
+    npoints = (x = 5, y = 5),
+)::Nothing
+    return nothing
+end 
+
+function extra_scope_check()::Nothing
+    a = (x=5   , y=5   )
+    b = (x=0.01, y=0.01)
+end