Comment by TheCycoONE

It reads like affine types to me https://panzerschrek.github.io/U-00DC-Sprache-site/docs/en/r...

They borrowed heavily from Rust here.