I mean
var a = unique 0
var b = a # compile error, a is unique
var c = consume a # ok, a is consumed
var d = consume a # compile error, a is consumed
All I have known is to use pragma tag and macro to limit variables' access. But it seems not enough to let the compiler know the origin var 'a' has been consumed. Forgive my poor English :)