def f(x: i32) -> i32:
    x = 2
    return x * x

print(f(3)) # => 4

Currently this is allowed:

$ lpython a.py 
4

But we should give a compile time error message "input parameter x cannot be assigned to"