Possible to create system where a parameter and variable have the same name

[TorkelE]

Should be a check preventing stuff like this?

using ModelingToolkit
v1 = let 
    only(@parameters Y)
end
v2 = let 
    only(@species Y(t))
end

eqs = [
    D(v2) ~ v1 - v2
]
@mtkbuild sys = ODESystem(eqs, t)
unknowns(sys)
parameters(sys)

[ChrisRackauckas]

Yes, it would probably be good to enforce name uniqueness.