tree d731cea0ac17053b6807909dc5d8a4f4a5be4129
parent 4f309f04e771cf06184e4329d1073a7eaccb9b8e
author Alexander Markov <alexmarkov@google.com> 1570380642 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1570380642 +0000

[vm,bytecode] Fix canonicalization of type arguments of recursive types

Previously, it was possible that type arguments of recursive types are
shared between unrelated recursive types if they have exactly the same shape
(e.g. Foo extends Base<Foo> and Bar extends Base<Bar> both have
type arguments <recursive-ref#0>).

Fixes ffi/structs_test in AOT+bytecode mode.

Change-Id: I516bc34c3b5797d76e1bf087ac3c8f075f1b6424
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/120380
Reviewed-by: Régis Crelier <regis@google.com>
Commit-Queue: Alexander Markov <alexmarkov@google.com>