Remove "@informative" annotation on initializers and local functions.

Remove "@informative" annotation on initializers and local functions.

Given code like this:

var x = (...) => ...;

The inferred type of x is the type of the closure, which is considered
by analyzer to be a local function inside the inside the initializer
expression (which is itself treated as a synthetic function for element
model purposes).  So we can't consider initializers and local functions
to be "informative"; they can affect semantic via inferred types.

R=scheglov@google.com

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

[Paul Berry, 2016-04-28 20:33:04]

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

[scheglov, 2016-04-28 20:34:27]

LGTM

[Paul Berry, 2016-04-28 20:38:20]

Description was changed from

==========
Remove "@informative" annotation on initializers and local functions.

Given code like this:

var x = (...) => ...;

The inferred type of x is the type of the closure, which is considered
by analyzer to be a local function inside the inside the initializer
expression (which is itself treated as a synthetic function for element
model purposes).  So we can't consider initializers and local functions
to be "informative"; they can affect semantic via inferred types.
==========

to

==========
Remove "@informative" annotation on initializers and local functions.

Given code like this:

var x = (...) => ...;

The inferred type of x is the type of the closure, which is considered
by analyzer to be a local function inside the inside the initializer
expression (which is itself treated as a synthetic function for element
model purposes).  So we can't consider initializers and local functions
to be "informative"; they can affect semantic via inferred types.

R=scheglov@google.com

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

[Paul Berry, 2016-04-28 20:38:21]

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