4 Commits

Author	SHA1	Message	Date
Ralf Jung	0e44876a2d	fix mutability gap: do not allow shared mutation when creating frozen reference	2018-12-03 09:15:18 +01:00
Ralf Jung	a87e952102	Separate deref and access into different operations; add special exception for creating raw references	2018-11-15 09:35:40 +01:00
Ralf Jung	224d03dbdc	organize std tests a bit better	2018-11-15 09:35:40 +01:00
Ralf Jung	d4b78b36ab	stacked borrows: enforcement at memory accesses	2018-10-17 15:15:53 +02:00