Konstantin Shcheglov bb6cab29b9 Check for correct overrides as the specification requires. ...

Specifically, we replace types of covariant parameters with `Object?`
or `Object` and use subtype check. Then we check types of covariant
formal parameters and corresponding overridden formal parameters.

It looks that NNBD related changes that are coming now require
such more precise following to the specification rules.

Change-Id: Idfa4e3a118050a1be79acce8c708b3aac07b5051
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/134043
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>

2020-01-31 19:35:23 +00:00

..

context

Clean up the remaining copyright notices

2019-03-24 20:11:28 +00:00

dart

Replace ClassElement/FunctionTypeAliasElement.instantiateToBounds() with TypeSystem.instantiateToBounds2()

2020-01-22 18:38:48 +00:00

diagnostic

Reland "Add support for recording context information with analysis errors, with one example"

2019-05-02 17:07:03 +00:00

error

[cfe,analyzer] Disallow type parameters on operator methods

2020-01-31 14:05:02 +00:00

exception

Fix annotate-overrides in analyzer.

2019-12-23 00:02:37 +00:00

file_system

Fix unnecessary_new in analyzer.

2019-12-06 01:11:30 +00:00

instrumentation

Make private fields final where possible

2019-12-17 06:12:39 +00:00

plugin

Convert all function parameters and typedefs to generic syntax

2019-12-16 23:36:38 +00:00

source

Remove SdkExtUriResolver.

2019-12-20 01:08:49 +00:00

src

Check for correct overrides as the specification requires.

2020-01-31 19:35:23 +00:00

task

Clean up the remaining copyright notices

2019-03-24 20:11:28 +00:00

analyzer.dart

Fix unnecessary_new in analyzer.

2019-12-06 01:11:30 +00:00