tree 0413e5654a6bccd091af32203568d766c377f874
parent f74c08acef5862ae2a0c29fa4d9aa368b743d78e
author Chloe Stefantsova <cstefantsova@google.com> 1642072936 +0000
committer Commit Bot <commit-bot@chromium.org> 1642072936 +0000

[cfe] Fail early on some subtype checks instead of crashing

Some subtype tests are crashing due to infinite recursion. It is a
known issue. An example of such test is FutureOr<T> against
FutureOr<S> where T and S are type variables declared as T extends
FutureOr<T> and S extends FutureOr<S>.

In some cases it's possible to fail early instead of crashing, for
exmaple, by checking Future-branch of the left-hand side first before
checking the type argumennt of FutureOr which would lead to the
infinite recursion. This CL does that, allowing some more type checks
to pass instead of crashing.

Change-Id: I075aa65522510db1a97ac2a8de7278a3ce3f400c
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/227820
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Commit-Queue: Chloe Stefantsova <cstefantsova@google.com>