Samir Jindel be07555207 Revert "Revert "[kernel] Implementation of fine-grained strong mode argument type-checks, phase 2"" ...

This fixes some incorrect asserts that were breaking the debug bots.
The original revision is available in Patchset 1.

This reverts commit 26735519cb.

Bug:
Change-Id: Ifa599b7bff752dec4c505e10fd6db206e1abd977
Reviewed-on: https://dart-review.googlesource.com/23820
Reviewed-by: Vyacheslav Egorov <vegorov@google.com>
Commit-Queue: Samir Jindel <sjindel@google.com>

2017-11-27 18:25:31 +00:00

..

analyzer

Start unraveling circularities between analyzer and front_end/kernel.

2017-03-17 05:56:06 -07:00

binary

Revert "Revert "[kernel] Implementation of fine-grained strong mode argument type-checks, phase 2""

2017-11-27 18:25:31 +00:00

frontend

Dart SDK Spelling b, c, and d.

2017-05-01 08:28:10 +02:00

interpreter

Fix fuzzy arrow warnings in kernel.

2017-09-05 17:07:46 +00:00

src

Remove ClassHierarchy.forEachCrossOverridePair.

2017-10-13 20:28:55 +00:00

target

Fix missed vmservice_sky -> vmservice_io rename

2017-11-14 22:13:06 +00:00

testing

Handle FutureOr type when inferring async closures.

2017-05-20 20:16:59 -07:00

text

[kernel] Allow ast_to_text to print 'partial' dills

2017-11-17 11:02:33 +00:00

transformations

[Kernel/AOT] Check if call is legal before doing devirtualization

2017-11-27 17:59:12 +00:00

vm

[kernel] Add kernel2kernel constant evaluation, binary format as well as vm support

2017-11-16 11:08:02 +00:00

application_root.dart

Store library paths relative to a given application root folder.

2016-11-30 10:39:48 +01:00

ast.dart

Revert "Revert "[kernel] Implementation of fine-grained strong mode argument type-checks, phase 2""

2017-11-27 18:25:31 +00:00

canonical_name.dart

Implement combining outlines for top-level declarations.

2017-10-13 20:32:24 +00:00

class_hierarchy.dart

Remove ClassHierarchy.forEachCrossOverridePair.

2017-10-13 20:28:55 +00:00

clone.dart

Revert "Revert "[kernel] Implementation of fine-grained strong mode argument type-checks, phase 2""

2017-11-27 18:25:31 +00:00

coq_annot.dart

[kernel] Cleanup of object model and coq.dart.

2017-09-13 11:43:30 +00:00

core_types.dart

Update mock SDK and shaker to include required declarations.

2017-11-08 01:19:50 +00:00

error_formatter.dart

Move ErrorFormatter and HighlightingPrinter into pkg/kernel/lib.

2017-10-30 11:12:52 +00:00

import_table.dart

Use custom URIs on most of front_end unit tests

2017-10-21 00:26:58 +00:00

kernel.dart

Rework DillLoader to allow adding multiple dills.

2017-05-11 08:56:36 -07:00

library_index.dart

Make LibraryIndex lazy.

2017-05-23 14:28:19 -07:00

log.dart

[kernel] Initial implementation of Dart Kernel.

2016-04-26 10:39:15 +02:00

naive_type_checker.dart

Move error formatting out of the type checker

2017-10-26 07:38:40 +00:00

type_algebra.dart

Put no bound on substituted type when substitution has no bound.

2017-11-10 13:15:08 +00:00

type_checker.dart

[kernel] Add kernel2kernel constant evaluation, binary format as well as vm support

2017-11-16 11:08:02 +00:00

type_environment.dart

[kernel] Make TypeEnvironment.strongMode into a field instead of getter.

2017-10-06 15:14:36 +00:00

verifier.dart

[kernel] Add kernel2kernel constant evaluation, binary format as well as vm support

2017-11-16 11:08:02 +00:00

visitor.dart

[kernel] Add kernel2kernel constant evaluation, binary format as well as vm support

2017-11-16 11:08:02 +00:00