/tests/untried/neg-with-implicits/macro-divergence-controlled/