dart2js: Trust type annotations more often with --trust-type-annotation.

R=sra@google.com

Review URL: https://codereview.chromium.org//707493003

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge@41636 260f80e4-7a28-3924-810f-c04153c831b5
Revert "dart2js: Trust type annotations more often with --trust-type-annotation."

This reverts commit r41636.

Review URL: https://codereview.chromium.org//712093002

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge@41637 260f80e4-7a28-3924-810f-c04153c831b5
Improve type propagation for AssertAssignable.

Updating the type of the incoming definition during
type propagation like we do for CheckClass, CheckSmi, etc.

This helps if the original definition is used instead of the
redefined value.

We also can get rid of storing back every local variable
at function start in unoptimized code in checked mode.

R=vegorov@google.com

Review URL: https://codereview.chromium.org//700843005

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge@41638 260f80e4-7a28-3924-810f-c04153c831b5
dart2js: Trust type annotations more often with --trust-type-annotation.

R=sra@google.com

Committed: https://code.google.com/p/dart/source/detail?r=41636
Reverted: https://code.google.com/p/dart/source/detail?r=41637

Review URL: https://codereview.chromium.org//707493003

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge@41639 260f80e4-7a28-3924-810f-c04153c831b5