codegen: better proto switching

test262: 55.11% | 🧪 50254 | 🤠 27693 | ❌ 7204 (-3) | 💀 14009 (+2) | 🏗️ 32 | 💥 176 | ⏰ 141 (+1) | 📝 999

compiler/codegen.js

@@ -2382,24 +2382,22 @@ const generateCall = (scope, decl, _global, _name, unusedValue = false) => {
     }
 
     if (Object.keys(protoBC).length > 0) {
-      let def = internalThrow(scope, 'TypeError', `'${protoName}' proto func tried to be called on a type without an impl`, true);
+      protoBC.default = decl.optional ?
+        withType(scope, [ number(UNDEFINED) ], TYPES.undefined) :
+        internalThrow(scope, 'TypeError', `'${protoName}' proto func tried to be called on a type without an impl`, true);
 
       // fallback to object prototype impl as a basic prototype chain hack
-      if (protoBC[TYPES.object]) def = protoBC[TYPES.object];
+      if (protoBC[TYPES.object]) {
+        protoBC[TYPES.undefined] = protoBC[TYPES.null] = protoBC.default;
+        protoBC.default = protoBC[TYPES.object];
+      }
 
       // alias primitive prototype with primitive object types
       aliasPrimObjsBC(protoBC);
 
       return [
         ...out,
-
-        ...typeSwitch(scope, getNodeType(scope, target), {
-          ...protoBC,
-
-          // TODO: error better
-          default: decl.optional ? withType(scope, [ number(UNDEFINED) ], TYPES.undefined)
-            : def
-        }, valtypeBinary)
+        ...typeSwitch(scope, getNodeType(scope, target), protoBC, valtypeBinary)
       ];
     }
   }

package.json

@@ -1,7 +1,7 @@
 {
   "name": "porffor",
   "description": "a basic experimental wip aot optimizing js -> wasm engine/compiler/runtime in js",
-  "version": "0.55.8",
+  "version": "0.55.9",
   "author": "CanadaHonk",
   "license": "MIT",
   "scripts": {},

runner/index.js

@@ -1,6 +1,6 @@
 #!/usr/bin/env node
 import fs from 'node:fs';
-globalThis.version = '0.55.8';
+globalThis.version = '0.55.9';
 
 // deno compat
 if (typeof process === 'undefined' && typeof Deno !== 'undefined') {