Incorrect linter output in @eval block

[schillic]

Below are two MWEs to provoke wrong linter outputs related to (wrongly claimed) undefined variables in @eval blocks. They may or may not have the same source.

UnusedBinding

The following example provokes the linter report Variable has been assigned but not used.Julia(UnusedBinding).

module Example

@eval begin
    function foo(i)
        x = i  # UnusedBinding warning for x here
        x
    end
end

end

InvalidRedefofConst

The following more involved example provokes the linter report Invalid redefinition of constant.Julia(InvalidRedefofConst). Note that the following peculiarities are necessary for the situation to appear:

• The struct needs to have the type parameter.
• The constructor must be defined.

module Example

struct Foo{T}
    a::T

    function Foo(a::T) where T
        new{T}(a)
    end
end

@eval begin
    function foo(i)  # InvalidRedefofConst warning for i here
        Foo(i)
    end
end

end

x-ref #2601 #3171