+ Some kind of "unreachable" might be nice to help the move checker? for
instance,

	if abc {
		release(var);
		fwdpanic("!!!");
	}

	use(var)

might be nicer to write than

	if abc {
		release(var);
		fwdpanic("!!!");
	} else {
		use(var);
	}

or the current alternative

	guard(abc) => {
		release(var);
		fwdpanic("!!!");
	} => ;

	use (var);