The code tries to pass a parameter with the wrong type to that _proc_, yes. But 
the compiler doesn't even get that far: early on, it detects two blocks 
defining the same variable in the same context, hence the error message. To 
avoid this, one would have to delay symbol lookup with something like the 
_untyped_ "type" for template and macro parameters. AFAIK, that doesn't (and 
probably cannot) even exist for procedure parameters.

Reply via email to