Chloe Stefantsova 254b7882a1 [cfe] Adjust the number of optional positional parameters in DOWN ...

This CL brings the CFE into agreement with the spec and the Analyzer
for function types with optional positional parameters by adjusting
the number of such parameters.

Close https://github.com/dart-lang/sdk/issues/49044

Change-Id: I0d15bb5b4b10c5ca18b78c985e3424899155a3c6
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/245367
Commit-Queue: Chloe Stefantsova <cstefantsova@google.com>
Reviewed-by: Johnni Winther <johnniwinther@google.com>

2022-05-20 11:41:42 +00:00

..

tool

[cfe] Run commands of tool/fasta.dart in the same VM

2022-03-10 15:23:15 +00:00

assumptions.dart

…

bounds_checks.dart

[cfe] Refactor bounds checking

2022-05-17 14:36:19 +00:00

const_canonical_type.dart

…

coverage.dart

[kernel] Add AbstractSuper* nodes

2022-05-20 09:50:01 +00:00

dart_type_equivalence.dart

[cfe] Refactor bounds checking

2022-05-17 14:36:19 +00:00

equivalence_helpers.dart

[cfe] Handle field/getter/setter in ReferenceName equality

2021-11-30 12:37:55 +00:00

equivalence.dart

[kernel] Add AbstractSuper* nodes

2022-05-20 09:50:01 +00:00

future_value_type.dart

…

heap.dart

[kernel] Migrate tests

2021-07-27 12:35:37 +00:00

hierarchy_based_type_environment.dart

[cfe] Split computation of hierarchy and members

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

legacy_erasure.dart

[kernel] Add annotate_overrides lint

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

merge_visitor.dart

[cfe] Refactor bounds checking

2022-05-17 14:36:19 +00:00

nnbd_top_merge.dart

…

node_creator.dart

[kernel] Add AbstractSuper* nodes

2022-05-20 09:50:01 +00:00

non_null.dart

…

norm.dart

…

printer.dart

[CFE] Add toText to Reference and CanonicalName

2022-04-25 11:13:44 +00:00

replacement_visitor.dart

[cfe] Refactor bounds checking

2022-05-17 14:36:19 +00:00

standard_bounds.dart

[cfe] Adjust the number of optional positional parameters in DOWN

2022-05-20 11:41:42 +00:00

text_util.dart

[CFE] Add toText to Reference and CanonicalName

2022-04-25 11:13:44 +00:00

types.dart

[cfe] Re-own TODOs assigned to 'dmitryas'

2022-04-05 09:04:53 +00:00

unaliasing.dart

[cfe] Refactor bounds checking

2022-05-17 14:36:19 +00:00

union_find.dart

[cfe] Updates cf. equivalence visitors comments

2021-08-24 10:37:49 +00:00