Extension of IL verification rules to address ref returns#17

Merged

VSadov merged 2 commits intodotnet:masterfrom VSadov:refReturns

Jan 22, 2018

+77-5

Commits on Oct 26, 2017

Added proposal for extension of IL verification rules that would allow byref returns and validate that they are used in type-safe manner.
VSadov
committed

Commits on Nov 6, 2017

More details on tagging of readonly local slots
VSadov
committed