Comment by nine_k

Hindley-Milner type inference and linear types (used indirectly for lifetimes) spring to mind.