This reverts commit 1d35638dc3, reversing changes made to f23a80a4c2.
1d35638dc3
f23a80a4c2
-Zcoverage-options=condition