tree 3100eec661e5f978ee98ece72ab0d9c4c7b8b567
parent 6f90c5531ef8929d0d1413b0de7404d88b6aa00a
author Konstantin Shcheglov <scheglov@google.com> 1617898670 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1617898670 +0000

Migrate CorrectionProducer and two producers.

I decided against landing https://dart-review.googlesource.com/c/sdk/+/194321
It gets too bulky.

So, we will migrate producers, and only then tests, and will know
our null safety mistakes.

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