If the synthetic isn't private, then it's a binary incompatibility (otherwise, it's a bug on MiMa). Of course, I agree it may be nice to have a flag to tell MiMa not to report these sort of incompatibilities, if you expect/require clients to never link against them. You could file a ticket.