3 ms·

I wonder, could a portable ownership model be implemented with the templates?

• steveklabnik 10y ago
  I thought there was a DIP for this, but cannot seem to find it now.
• pcwalton 10y ago
  Not soundly, no. The borrow check requires flow-sensitive analysis. The lifetime typechecker requires subtyping-aware extensions to Hindley-Milner.
  • nialv7 10y ago
    Can you going into some details about this? Like proofs?