Add tests to validate assumptions made by summaries about type inference.

Add tests to validate assumptions made by summaries about type inference.

The summary code assumes that type inference is never done on
initializing formals, constructor parameters, parameters of static
methods, or parameters of top level functions.  This CL adds tests
that will fail if strong mode ever starts inferring parameter types
from default parameters, rendering these assumptions wrong.

R=scheglov@google.com

Committed: https://github.com/dart-lang/sdk/commit/b5b7a7618cc277e59678301585cb9e507634ae46

[Paul Berry, 2016-02-16 21:14:50]

paulberry@google.com changed reviewers:
+ scheglov@google.com

[scheglov, 2016-02-16 21:16:42]

LGTM

[Paul Berry, 2016-02-16 22:00:16]

Description was changed from

==========
Add tests to validate assumptions made by summaries about type inference.

The summary code assumes that type inference is never done on
initializing formals, constructor parameters, parameters of static
methods, or parameters of top level functions.  This CL adds tests
that will fail if strong mode ever starts inferring parameter types
from default parameters, rendering these assumptions wrong.
==========

to

==========
Add tests to validate assumptions made by summaries about type inference.

The summary code assumes that type inference is never done on
initializing formals, constructor parameters, parameters of static
methods, or parameters of top level functions.  This CL adds tests
that will fail if strong mode ever starts inferring parameter types
from default parameters, rendering these assumptions wrong.

R=scheglov@google.com

Committed:
https://github.com/dart-lang/sdk/commit/b5b7a7618cc277e59678301585cb9e507634ae46
==========

[Paul Berry, 2016-02-16 22:00:17]

Committed patchset #1 (id:1) manually as
b5b7a7618cc277e59678301585cb9e507634ae46 (presubmit successful).