4 Commits

Author	SHA1	Message	Date
Ralf Jung	74635a57e2	re-do large parts of stacked borrows, now with proper support for partiall frozen data	2018-11-08 08:29:34 +01:00
Ralf Jung	81534496dc	rename RefKind to UsageKind, because it not only used for references now	2018-11-01 08:58:03 +01:00
Ralf Jung	5388037f8a	remove code duplication by letting reactivatable() compute what reactivate() has to do	2018-10-23 15:59:50 +02:00
Ralf Jung	cc328f6374	test passing invalid refs around	2018-10-23 11:20:04 +02:00