If signatures in an interface include inaccessible types, it is only legal for a public type to explicitly implement that interface.

I still get a lightbulb suggestion/refactoring to try the (bogus) implicit implementation:

It would be nice if only "Implement interface explicitly" was offered in this scenario.