This may be of use , it specifically deals with rust shared pointers (
ie gc pointers and immutability) removing const ( and aliasable) and
relying on mut on the pointer

http://www.smallcultfollowing.com/babysteps/blog/2012/11/18/imagine-never-hearing-the-phrase-aliasable/
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to