ffc82e6f17
The lint is non-functional and will be deprecated soon. Bug: https://github.com/dart-lang/linter/issues/5107 Change-Id: I4d4b75a6c7978f584bef37351514391f55761c55 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/389594 Reviewed-by: Johnni Winther <johnniwinther@google.com> Reviewed-by: Nate Bosch <nbosch@google.com> Commit-Queue: Samuel Rawlins <srawlins@google.com> Reviewed-by: Samuel Rawlins <srawlins@google.com> Auto-Submit: Parker Lougheed <parlough@gmail.com>