Jens Johansen adb1dc9380 [VM] [CFE]: Make VM send over type information for expression compilation ...

Missing:
* Function types.
* Type variables in bounds, like "method<T, S extends T>() {}" and
  "method<T extends Foo<T>>() {}"

This is in many ways a follow-up to
https://dart-review.googlesource.com/c/sdk/+/212286

TEST=service and (cfe) expression suite tests added.

Change-Id: I20472b59ed73e9845f073e176d73b2c213f9407a
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/215760
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Reviewed-by: Ben Konyi <bkonyi@google.com>
Commit-Queue: Jens Johansen <jensj@google.com>

2022-01-28 07:49:21 +00:00

..

binary

[CFE][kernel] Use .of instead of .from

2022-01-24 14:38:36 +00:00

src

[CFE][kernel] Use .of instead of .from

2022-01-24 14:38:36 +00:00

target

[CFE][kernel] Use .of instead of .from

2022-01-24 14:38:36 +00:00

testing

[kernel] Add always_declare_return_types lint

2021-09-01 16:50:27 +00:00

text

[cfe] Change encoding of supported dart: libraries

2022-01-11 14:52:38 +00:00

transformations

[vm] Adding branch coverage RPC to source report

2022-01-12 19:12:04 +00:00

util

[CFE][kernel] Use .of instead of .from

2022-01-24 14:38:36 +00:00

ast.dart

[CFE][kernel] Use .of instead of .from

2022-01-24 14:38:36 +00:00

canonical_name.dart

[kernel] Add Field.fieldReference

2021-09-24 12:01:08 +00:00

class_hierarchy.dart

[CFE][kernel] Use .of instead of .from

2022-01-24 14:38:36 +00:00

clone.dart

[CFE][kernel] Use .of instead of .from

2022-01-24 14:38:36 +00:00

core_types.dart

[vm/kernel] Generate new invocation nodes in async transformers

2021-06-09 22:14:51 +00:00

default_language_version.dart

Bump SDK version to 2.17

2022-01-10 11:05:10 +00:00

error_formatter.dart

[kernel] Reland: Migrate remaining bin/lib libraries in package:kernel

2021-04-28 14:36:53 +00:00

external_name.dart

[kernel] Add Field.fieldReference

2021-09-24 12:01:08 +00:00

import_table.dart

[kernel] Add always_declare_return_types lint

2021-09-01 16:50:27 +00:00

kernel.dart

[kernel] Migrate more libraries in package:kernel

2021-03-18 11:06:18 +00:00

library_index.dart

[VM] [CFE]: Make VM send over type information for expression compilation

2022-01-28 07:49:21 +00:00

naive_type_checker.dart

[cfe] Rename isCovariant and isGenericCovariantImpl

2021-09-10 11:27:37 +00:00

reference_from_index.dart

[cfe] Pass references to lowered tear-offs

2021-10-05 09:20:41 +00:00

type_algebra.dart

[cfe] Account for bounds changes in override substitution

2021-10-12 09:46:25 +00:00

type_checker.dart

[cfe] Add Procedure.signatureType

2021-10-13 11:31:16 +00:00

type_environment.dart

[cfe] Split computation of hierarchy and members

2021-12-09 17:31:27 +00:00

verifier.dart

[cfe] Handle un-inlined fields/locals in eager instantiation constantification

2021-09-07 15:14:36 +00:00

visitor.dart

[kernel] Add annotate_overrides lint

2021-09-01 11:45:17 +00:00