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

It reads like affine types to me https://panzerschrek.github.io/U-00DC-Sprache-site/docs/en/reference_checking.html https://panzerschrek.github.io/U-00DC-Sprache-site/docs/en/r... They borrowed heavily from Rust here.