fix: extracted morph inference

dev/configs/.changeset/heavy-melons-approve.md

@@ -0,0 +1,5 @@
+---
+"arktype": patch
+---
+
+Fix an issue causing some morphs to not be properly extracted when .infer(red)

dev/test/morph.test.ts

@@ -285,6 +285,10 @@ describe("morph", () => {
             ]
         ])
     })
+    it("union with output", () => {
+        const t = type("number|parsedNumber")
+        attest(t.infer).typed as number
+    })
     it("double intersection", () => {
         attest(() => {
             scope({

src/scopes/type.ts

@@ -105,9 +105,13 @@ export type AnonymousTypeName = `λ${string}`
 export const isAnonymousName = (name: string): name is AnonymousTypeName =>
     name[0] === "λ"
 
-export type asIn<t> = asIo<t, "in"> extends t ? t : asIo<t, "in">
+export type asIn<t> = [t, asIo<t, "out">] extends [asIo<t, "out">, t]
+    ? t
+    : asIo<t, "in">
 
-export type asOut<t> = asIo<t, "out"> extends t ? t : asIo<t, "out">
+export type asOut<t> = [t, asIo<t, "out">] extends [asIo<t, "out">, t]
+    ? t
+    : asIo<t, "out">
 
 type asIo<t, io extends "in" | "out"> = t extends ParsedMorph<infer i, infer o>
     ? io extends "in"