tree 487dbd1beede1ea4667805d1e42210397827859a
parent d6d5cb8a13137908f6778fe5b55d03d23d3e7a20
author Johnni Winther <johnniwinther@google.com> 1630496717 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1630496717 +0000

[kernel] Add annotate_overrides lint

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