StaticLint.jl
StaticLint.jl copied to clipboard
Wrong unused argument warning if argument is named `type`
This code:
function p(type)
println("$type")
end
gives "An argument is included in a function signature but not used within its body".
