[pjmlp]

No it doesn't, it uses affine types.

Also the first language to use that idea was Cyclone, a research language at Bell Labs with the goal to replace C.