Do we really want to disallow `--named -m foo`? This might be surprising to some users, so perhaps this check should go away?

Alternatively, if we renamed it to `--infer-name` or so, then it would be more obvious that it is exclusive with `-m`.