Commits
Michael Gottesman committed 6988171ee61
As per my discussions with Anna, removed MayWriteAndHaveSideEffects. The reason we decided to do this is that MayHaveSideEffects implies that a write can occur, making MayWriteAndHaveSideEffects redundent. Swift SVN r7943