```nim proc bar(x: static[int]) = discard proc foo(x: static[int] = 1) = # Error: type mismatch: got (int) # but expected one of: # proc bar(x: static[int]) bar(x) foo() ```