Aske Simon Christensen e84af9b761 [cfe] Disallow annotations on type parameters of function types ...

Also, do not copy annotations on type parameters of functions into
their inferred types.

See https://github.com/dart-lang/language/issues/656

Change-Id: I1460007645a32ac56a505b23ab3ee8a457c3f994
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/123732
Commit-Queue: Aske Simon Christensen <askesc@google.com>
Reviewed-by: Erik Ernst <eernst@google.com>

2019-11-25 14:55:55 +00:00

..

binary

[cfe] Implement late lowering for local variables.

2019-11-20 08:30:18 +00:00

src

[cfe] Make inference NNBD-aware

2019-11-22 12:09:14 +00:00

target

[cfe] Add late field lowering for static/top-level fields

2019-11-15 13:29:45 +00:00

testing

[cfe] Use library's non-nullable modifier when creating new types

2019-11-21 16:00:25 +00:00

text

[kernel] Add text (de)serialization for other FunctionNodes kinds

2019-11-14 16:23:16 +00:00

transformations

[cfe] Use correct types in transformations and start verifying getStaticType

2019-11-21 22:15:58 +00:00

util

…

vm

[CFE] Move constant evaluator to Fasta.

2019-03-18 15:42:05 +00:00

ast.dart

[kernel] Add (internal) relink method

2019-11-25 12:44:25 +00:00

canonical_name.dart

[kernel] Load classes lazily

2019-09-12 08:08:33 +00:00

class_hierarchy.dart

[cfe] Remove Class.rawType

2019-09-19 10:42:10 +00:00

clone.dart

[cfe] Create TypeParameterTypes with default nullabilities

2019-11-19 11:22:43 +00:00

core_types.dart

[cfe] Create TypeParameterTypes with default nullabilities

2019-11-19 11:22:43 +00:00

error_formatter.dart

…

external_name.dart

[vm/bytecode] Support native extensions

2019-06-27 20:24:25 +00:00

import_table.dart

[CFE] Fix crash with duplicate field and constructor initialization

2019-10-17 10:47:53 +00:00

kernel.dart

…

library_index.dart

[kernel] Deprecate Library.isExternal

2019-11-04 09:24:02 +00:00

naive_type_checker.dart

[cfe] Create TypeParameterTypes with default nullabilities

2019-11-19 11:22:43 +00:00

type_algebra.dart

[cfe] Disallow annotations on type parameters of function types

2019-11-25 14:55:55 +00:00

type_checker.dart

[cfe] Eliminate Nullability.legacy in transformers

2019-11-21 09:12:05 +00:00

type_environment.dart

[cfe] Use correct types in transformations and start verifying getStaticType

2019-11-21 22:15:58 +00:00

verifier.dart

[cfe] Disallow annotations on type parameters of function types

2019-11-25 14:55:55 +00:00

visitor.dart

[cfe] Implement the first part of NNBD-aware isSubtypeOf

2019-10-25 16:37:39 +00:00