Replace if with if and only if in the definition dox of Sync#51152
Merged
bors merged 1 commit intorust-lang:masterfrom Jun 2, 2018
if with if and only if in the definition dox of Sync#51152