Re: [Ikvm-developers] Using Java annotation class fails with Mono.

[Dawid W. <daw...@cs...>]

>> a) prefix() is a virtual override, but is marked private? Is scope
>> limiting (as opposed to widening) possible at the CLR/CLI level? It's
>> quite interesting as to how and where this would apply to (after all,
>> you can always cast to the superclass/interface and then access the
>> method in question, right?).
>
> This is not all that extraordinary. The C# compiler uses this same pattern for explicit interface implementations.

Perhaps it's not extraordinary in C# sense, but at least weird from
the logical perspective. Thanks for the pointer -- I looked at C#
spec., and it confirms what you said, but note this:

"Explicit interface member implementations have different
accessibility characteristics than other members.
Because explicit interface member implementations are never accessible
through their fully qualified name in a
method invocation or a property access, they are in a sense private.
However, since they can be accessed
through an interface instance, they are in a sense also public."

This is exactly why I called this weird :) The spec. shows examples
when this is handy and I find them clear and useful though. Good to
learn something new.

> Could you please file a Mono bug?

I'll try to do this.

Dawid