4 Commits

Author	SHA1	Message	Date
Niko Matsakis	24442ffa66	add subregion between borrow region and resulting reference	2017-10-31 12:41:39 -04:00
Niko Matsakis	af09f720d6	preliminary support for may-dangle attribute and drop constraints	2017-10-31 12:41:38 -04:00
Niko Matsakis	e02937848b	extend liveness to distinguish "drop" and "non-drop" uses	2017-10-31 12:41:38 -04:00
Niko Matsakis	7523c7368c	introduce liveness constraints into NLL code ... And do a bunch of gratuitious refactoring that I did not bother to separate into nice commits.	2017-10-31 12:41:38 -04:00