Change static typing so that inherited noSuchMethod silences errors,

Change static typing so that inherited noSuchMethod silences errors,
including undefined abstract members.

R=justinfagnani@google.com

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

[gbracha, 2014-12-18 20:56:12]

gbracha@google.com changed reviewers:
+ justinfagnani@google.com

[justinfagnani, 2014-12-18 21:10:10]

lgtm

https://codereview.chromium.org/818463002/diff/20001/docs/language/dartLangSp...
File docs/language/dartLangSpec.tex (right):

https://codereview.chromium.org/818463002/diff/20001/docs/language/dartLangSp...
docs/language/dartLangSpec.tex:1820: \item  It is a static warning if a concrete
class does not have an implementation for a  method in any of its
superinterfaces  unless it has a \cd{noSuchMethod} method
(\ref{superinterfaces}).
above you say: has an implementation of \cd{noSuchMethod()}
while here you say: has a \cd{noSuchMethod} method

should they be phrased the same?

[gbracha, 2014-12-18 21:23:43]

On 2014/12/18 21:10:10, justinfagnani wrote:
> lgtm
> 
>
https://codereview.chromium.org/818463002/diff/20001/docs/language/dartLangSp...
> File docs/language/dartLangSpec.tex (right):
> 
>
https://codereview.chromium.org/818463002/diff/20001/docs/language/dartLangSp...
> docs/language/dartLangSpec.tex:1820: \item  It is a static warning if a
concrete
> class does not have an implementation for a  method in any of its
> superinterfaces  unless it has a \cd{noSuchMethod} method
> (\ref{superinterfaces}).
> above you say: has an implementation of \cd{noSuchMethod()}
> while here you say: has a \cd{noSuchMethod} method
> 
> should they be phrased the same?

Actually, they should be phrased a bit differently, since everyone has a
noSuchMethod. We need to ignore the one in Object. Done.

[gbracha, 2014-12-19 18:44:50]

Committed patchset #3 (id:40001) manually as r42521 (presubmit successful).