[VM/nnbd] Fix canonicalization of type 'Never' (fixes #40249).

Change-Id: I160efcff977c385309a7a7034c67779441dfbff3
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/134882
Reviewed-by: Ryan Macnak <rmacnak@google.com>
Commit-Queue: Régis Crelier <regis@google.com>
This commit is contained in:
Régis Crelier 2020-02-07 21:55:07 +00:00 committed by commit-bot@chromium.org
parent 6f6797e745
commit 4d10cd96d8

View file

@ -5007,6 +5007,7 @@ void Serializer::AddVMIsolateBaseObjects() {
AddBaseObject(Object::zero_array().raw(), "Array", "<zero_array>");
AddBaseObject(Object::dynamic_type().raw(), "Type", "<dynamic type>");
AddBaseObject(Object::void_type().raw(), "Type", "<void type>");
AddBaseObject(Object::never_type().raw(), "Type", "<never type>");
AddBaseObject(Object::empty_type_arguments().raw(), "TypeArguments", "[]");
AddBaseObject(Bool::True().raw(), "bool", "true");
AddBaseObject(Bool::False().raw(), "bool", "false");
@ -5498,6 +5499,7 @@ void Deserializer::AddVMIsolateBaseObjects() {
AddBaseObject(Object::zero_array().raw());
AddBaseObject(Object::dynamic_type().raw());
AddBaseObject(Object::void_type().raw());
AddBaseObject(Object::never_type().raw());
AddBaseObject(Object::empty_type_arguments().raw());
AddBaseObject(Bool::True().raw());
AddBaseObject(Bool::False().raw());