@ARGS
--test-repo pinning-basic.repo
--test-repo testing:pinning-overlay1.repo
--test-world "a@testing"
add c>=3
@EXPECT
ERROR: unsatisfiable constraints:
  c-3:
    masked in: @testing
    satisfies: world[c>=3]