Conflicting inheritance from superinterface is not a compile time error

Conflicting inheritance from superinterface is not a compile time error

Test override_inheritance_mixed was partially wrong.

Inheriting conflicting members from superinterfaces is not a compile time error,
just a static type warning.

See also bug 16137 for details.

R=gbracha@google.com

Committed: https://code.google.com/p/dart/source/detail?r=34883

[gbracha, 2014-04-09 17:33:18]

test lgtm

[Johnni Winther, 2014-04-09 17:35:36]

On 2014/04/09 17:33:18, gbracha wrote:
> test lgtm

@gbracha: Which rules specify a warning for member8 and member9 ?

[hausner, 2014-04-09 17:43:19]

Committed patchset #2 manually as r34883 (presubmit successful).

[gbracha, 2014-04-09 17:50:48]

On 2014/04/09 17:35:36, Johnni Winther wrote:
> On 2014/04/09 17:33:18, gbracha wrote:
> > test lgtm
> 
> @gbracha: Which rules specify a warning for member8 and member9 ?

See section 11.1 (nee 8.1) Superinterfaces. The set S = inherited (B,
whatever-the-current-lib-is) includes two members named member8 - one from I and
one from J. One is a getter and one is a method.  The implicit interface of B
would inherit all members of S, but since there are multiple members named
member8 only one may be inherited and furthermore:

If some but not all of the mi,1≤i≤k are getters none of the mi are inherited,
and a static warning is issued.

Same applies to member9.

I think there are additional things that trigger warnings, but I'll stop here.