Lars T Hansen c031dd3036 Bug 1546592 - Allow element segments to be 'anyref', and generalize. r=rhunt
The main changes here are:

* Element segments that carry an elementexpr can carry a type T that
  is other than 'funcref', though we require T <: anyref

* We generalize type handling around table initialization so that a
  table-of-T can be initialized from segment-of-U if U <: T.


Also:

* A declared element segment needs to have type funcref.  The spec is
  silent on this, but it's a conservative choice.

* A drive-by fix in serialize/deserialize, the 'kind' field was not
  being handled properly.  This doesn't affect any shipping product as
  the serialize/deserialize code is currently unused.

Differential Revision: https://phabricator.services.mozilla.com/D48690

--HG--
extra : moz-landing-system : lando
2019-10-17 13:25:24 +00:00
..