aboutsummaryrefslogtreecommitdiff
path: root/TODO
blob: e1c6a247fa7cd0806a7fab2d122b385276f7b1e8 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
+ 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);