5 Commits

Author	SHA1	Message	Date
Ralf Jung	880229d4c3	escape-on-cast, now ptr-deref does not change the tag at all, ever	2018-11-17 10:05:40 +01:00
Ralf Jung	b7dbb5e2a7	also consider boxes like unique references	2018-11-17 10:05:40 +01:00
Ralf Jung	c54dcf59ae	add some tests for retagging inside tuples and options	2018-11-16 11:13:55 +01:00
Ralf Jung	a1f895d6f2	retagging: descent into values, type-driven	2018-11-16 11:09:33 +01:00
Ralf Jung	827e5180f2	stacked borrows is broken without full MIR	2018-11-16 10:01:54 +01:00