a539d2ef5f
The CL is reverted because it didn't account for the case when a check of a user-specified type argument against the bound depends on another type that is only known after type inference is done. Change-Id: I1fd140af95ed37b9191a5b161a281d4639e3453f Reviewed-on: https://dart-review.googlesource.com/c/79048 Commit-Queue: Dmitry Stefantsov <dmitryas@google.com> Reviewed-by: Aske Simon Christensen <askesc@google.com>