Alexander Markov
7a2c8b3f90
This change adds support for types with different nullabilities to TFA, and adjusts subtyping checks in TFA to take nullability into account. This change assumes that NNBD strong mode is sound and there are no opted-out libraries. Fixes: https://github.com/dart-lang/sdk/issues/40717 Change-Id: I739b6ae317f218ced07636c09cfdbb277e1f81a8 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/140375 Commit-Queue: Alexander Markov <alexmarkov@google.com> Reviewed-by: Martin Kustermann <kustermann@google.com> Reviewed-by: Ryan Macnak <rmacnak@google.com> Reviewed-by: Régis Crelier <regis@google.com>