tree 2f0ea66b5cbf15c9289029deae895557c7513979
parent 8d5958bd9a3a026c268cfcd84148e44e58d942c1
author Paul Berry <paulberry@google.com> 1550008048 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1550008048 +0000

Add migration support for the `@required` annotation.

If a named parameter is annotated as `@required`, then this overrides
the NamedNoDefaultParameterHeuristic; the parameter is considered
required regardless of what happens at call sites.  A duplicate
`@required` annotation is not inserted.

Change-Id: Ib1385d0a65dd9001bb7abede9de2a319f65a1f86
Reviewed-on: https://dart-review.googlesource.com/c/92844
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Reviewed-by: Dan Rubel <danrubel@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>