Lifetime inference originates from region inference which is actually completely...

jfecher on June 17, 2022 | parent | context | favorite | on: Ante: A low-level functional language

Lifetime inference originates from region inference which is actually completely unrelated to linear/affine/uniqueness typing. Uniqueness typing can definitely complement lifetime inference, but isn't really generalizeable to it.