Use backend's types for native types. Handle "other dependencies". Gets rid of

Use backend's types for native types. Handle "other dependencies". Gets rid of
"trusted classes" and pre-populated cache. Fixes a lot of small bugs discovered
along the way, in particular in augmentInferredSelectorType where the absence
of a key in some map and dynamic where wrongly conflated.

R=karlklose@google.com

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

[karlklose, 2013-06-04 08:43:55]

LGTM.

https://codereview.chromium.org/15949008/diff/1/sdk/lib/_internal/compiler/im...
File
sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart
(right):

https://codereview.chromium.org/15949008/diff/1/sdk/lib/_internal/compiler/im...
sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart:441:
static final DynamicTypeMask instance = new DynamicTypeMask();
You could remove this and use 'const DynamicTypeMask()' where you used
'DynamicTypeMask.instance' before.

https://codereview.chromium.org/15949008/diff/1/sdk/lib/_internal/compiler/im...
sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart:1440:
List<ConcreteType> unknowns = new List.generate(
Use
List.filled(functionElement.computeSignature(inferrer.compiler).requiredParameterCount,
inferrer.unknownConcreteType).

https://codereview.chromium.org/15949008/diff/1/sdk/lib/_internal/compiler/im...
sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart:1445:
inferrer.getSendReturnType(
Perhaps we should rename this method now that we call it for its side-effects
only.

https://codereview.chromium.org/15949008/diff/1/sdk/lib/_internal/compiler/im...
sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart:1707:
inferrer.augmentSeenClasses(inferrer.compiler.backend.intImplementation);
Perhaps we should have a final field pointing to inferrer.compiler.backend.

[polux, 2013-06-06 09:08:44]

https://codereview.chromium.org/15949008/diff/1/sdk/lib/_internal/compiler/im...
File
sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart
(right):

https://codereview.chromium.org/15949008/diff/1/sdk/lib/_internal/compiler/im...
sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart:441:
static final DynamicTypeMask instance = new DynamicTypeMask();
On 2013/06/04 08:43:55, karlklose wrote:
> You could remove this and use 'const DynamicTypeMask()' where you used
> 'DynamicTypeMask.instance' before.

Done.

https://codereview.chromium.org/15949008/diff/1/sdk/lib/_internal/compiler/im...
sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart:1440:
List<ConcreteType> unknowns = new List.generate(
On 2013/06/04 08:43:55, karlklose wrote:
> Use
>
List.filled(functionElement.computeSignature(inferrer.compiler).requiredParameterCount,
> inferrer.unknownConcreteType).

Done.

https://codereview.chromium.org/15949008/diff/1/sdk/lib/_internal/compiler/im...
sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart:1445:
inferrer.getSendReturnType(
On 2013/06/04 08:43:55, karlklose wrote:
> Perhaps we should rename this method now that we call it for its side-effects
> only.

Actually, this is the only place where we call it for its side effects, but
everywhere else we use its return type.

https://codereview.chromium.org/15949008/diff/1/sdk/lib/_internal/compiler/im...
sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart:1707:
inferrer.augmentSeenClasses(inferrer.compiler.backend.intImplementation);
On 2013/06/04 08:43:55, karlklose wrote:
> Perhaps we should have a final field pointing to inferrer.compiler.backend.

Done.

[polux, 2013-06-06 09:24:46]

Committed patchset #2 manually as r23668 (presubmit successful).