$mol_wire_sync, $mol_wire_async types tests

wire/async/async.test.ts

@@ -1,6 +1,21 @@
 namespace $ {
 
 	$mol_test({
+
+		'test types'( $ ) {
+			class A {
+				a() {
+					return ''
+				}
+				b() {
+					return $mol_wire_async(this).a()
+				}
+			}
+
+			const a = new A()
+			const b = a.b()
+			type Check = $mol_type_assert<typeof b, Promise<string>>
+		},
 
 		async 'Latest method calls wins'( $ ) {
 

wire/async/async.ts

@@ -30,7 +30,20 @@ namespace $ {
 				return fiber.async()
 			},
 
-		} ) as any as ObjectOrFunctionResultPromisify<Host>
+		} )  as any as (
+			Host extends ( ... args: infer Args )=> infer Res
+				? Res extends Promise<any>
+					? Host
+					: ( ... args: Args )=> Promise< Res >
+				: {}
+		) & {
+			[ key in keyof Host ]: Host[ key ] extends ( ... args: infer Args )=> infer Res
+				? Res extends Promise<any>
+					? Host[ key ]
+					: ( ... args: Args )=> Promise< Res >
+				: Host[ key ]
+		}
+		// as ObjectOrFunctionResultPromisify<Host>
 
 	}
 
@@ -43,7 +56,7 @@ namespace $ {
 	}
 
 	type ObjectOrFunctionResultPromisify<Some> = (
-			Some extends (...args: any) => unknown ? FunctionResultPromisify<Some> : {}
+		Some extends (...args: any) => unknown ? FunctionResultPromisify<Some> : {}
 	) & ( Some extends Object ? MethodsResultPromisify<Some> : Some )
 
 }

wire/sync/sync.test.ts

@@ -0,0 +1,23 @@
+namespace $ {
+
+	$mol_test({
+
+		'test types'( $ ) {
+			class A {
+				a() {
+					return Promise.resolve('')
+				}
+
+				b() {
+					return $mol_wire_sync(this).a()
+				}
+			}
+
+			const a = new A()
+			const b = a.b()
+			type Check = $mol_type_assert<typeof b, string>
+		},
+	})
+
+}
+

wire/sync/sync.ts

@@ -26,7 +26,19 @@ namespace $ {
 				return fiber.sync()
 			},
 
-		} ) as any as ObjectOrFunctionResultAwaited<Host>
+		} ) as any as (
+			Host extends ( ... args: infer Args )=> infer Res
+				? Res extends Promise< infer Res2 >
+					? ( ... args: Args )=> Res2
+					: Host
+				: {}
+		) & {
+			[ key in keyof Host ]: Host[ key ] extends ( ... args: infer Args )=> Promise< infer Res >
+				? ( ... args: Args )=> Res
+				: Host[ key ]
+		}
+
+		//as ObjectOrFunctionResultAwaited<Host>
 	}
 
 	type FunctionResultAwaited<Some> = Some extends (...args: infer Args) => infer Res
@@ -38,7 +50,7 @@ namespace $ {
 	}
 
 	type ObjectOrFunctionResultAwaited<Some> = (
-			Some extends (...args: any) => unknown ? FunctionResultAwaited<Some> : {}
+		Some extends (...args: any) => unknown ? FunctionResultAwaited<Some> : {}
 	) & ( Some extends Object ? MethodsResultAwaited<Some> : Some )
 
 }