Use propagated type of receiver to determine return type, not type-inference type.

Use propagated type of receiver to determine return type, not type-inference type.

The type-inference result is missing for some calls and might be less precise since type propagation happens after some simplification.

BUG=
R=kmillikin@google.com

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

[sra1, 2016-01-07 18:08:28]

Description was changed from

==========
Use propagated type of receiver to determine return type, not type-inference
type.

BUG=
==========

to

==========
Use propagated type of receiver to determine return type, not type-inference
type.

The type-inference result is missing for some calls and might be less precise
since type propagation happens after some simplification.

BUG=
==========

[sra1, 2016-01-07 18:08:28]

sra@google.com changed reviewers:
+ kmillikin@google.com

[Kevin Millikin (Google), 2016-01-07 18:17:03]

LGTM.

https://codereview.chromium.org/1566653004/diff/1/pkg/compiler/lib/src/cps_ir...
File pkg/compiler/lib/src/cps_ir/type_propagation.dart (right):

https://codereview.chromium.org/1566653004/diff/1/pkg/compiler/lib/src/cps_ir...
pkg/compiler/lib/src/cps_ir/type_propagation.dart:2740: AbstractConstantValue
left = receiver;
I think it's OK to use 'receiver' instead of 'left' below.

[sra1, 2016-01-07 18:59:18]

Description was changed from

==========
Use propagated type of receiver to determine return type, not type-inference
type.

The type-inference result is missing for some calls and might be less precise
since type propagation happens after some simplification.

BUG=
==========

to

==========
Use propagated type of receiver to determine return type, not type-inference
type.

The type-inference result is missing for some calls and might be less precise
since type propagation happens after some simplification.

BUG=
R=kmillikin@google.com

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

[sra1, 2016-01-07 18:59:19]

Committed patchset #2 (id:20001) manually as
0ed95c7737dc63964700cb44db6ec9f73664b8a6 (presubmit successful).