As of https://github.com/tc39/ecma262/pull/2874 (September 2022), ecma262 no longer uses the Type macro for simple type tests. We have replaced them with "x is a Y"-style notation. We also replaced most of the remaining uses of the Type macro with the new SameType AO in https://github.com/tc39/ecma262/pull/3408. It wasn't a problem that Web IDL continued to use the old-style Type checks until https://github.com/tc39/ecma262/pull/3420 which removes the final use of the Type macro and with it the Type macro itself.
This is the Web IDL integration, updating the type tests to the new form and allowing us to un-define the Type macro in ecma262.
See the related PR in HTML: https://github.com/whatwg/html/pull/10635
As of https://github.com/tc39/ecma262/pull/2874 (September 2022), ecma262 no longer uses the Type macro for simple type tests. We have replaced them with "x is a Y"-style notation. We also replaced most of the remaining uses of the Type macro with the new SameType AO in https://github.com/tc39/ecma262/pull/3408. It wasn't a problem that Web IDL continued to use the old-style Type checks until https://github.com/tc39/ecma262/pull/3420 which removes the final use of the Type macro and with it the Type macro itself.
This is the Web IDL integration, updating the type tests to the new form and allowing us to un-define the Type macro in ecma262.
/cc @syg @bakkot
Preview | Diff