module

proc foo#[T](x: T) (* @Error Opaque type 'T' cannot be used as a procedure parameter *)
begin
return

end.