1. Well yes, that's how it works, as in the B/D paper and in the current 
implementation of `--newruntime`.
  2. There is an implicit type conversion from owned to unowned and afterwards 
the ordinary `=` for unowned is used,


Reply via email to