[bitc-dev] Location semantics

[Sam Mason]

Sam Mason wrote:
>The restriction may get annoying for parameters though, so I would
>be tempted to loosen the requirement to the type of return values
>only.

I think I was a bit hasty with that comment.  There are situations
where it could be good if it did this, but I think the safe-by-default
rule sould apply here.  There are going to be many more situations
where this behaviour is just plain confusing and a default of no
inferred locations is much better!


  Sam