fix: fix dynamic hoc typing

Author: ije

framework/react/hoc.ts

@@ -13,6 +13,19 @@ import { useDeno, useRouter } from './hooks.ts'
 
 type ReactNode = ReactChild | ReactFragment | ReactPortal
 
+// Any prop that has a default prop becomes optional, but its type is unchanged
+// Undeclared default props are augmented into the resulting allowable attributes
+// If declared props have indexed properties, ignore default props entirely as keyof gets widened
+// Wrap in an outer-level conditional type to allow distribution over props that are unions
+type Defaultize<P, D> = P extends any
+  ? string extends keyof P ? P :
+  & Pick<P, Exclude<keyof P, keyof D>>
+  & Partial<Pick<P, Extract<keyof P, keyof D>>>
+  & Partial<Pick<D, Exclude<keyof D, keyof P>>>
+  : never
+
+type ReactManagedProps<C, P> = C extends { defaultProps: infer D } ? Defaultize<P, D> : P
+
 /**
  * `withRouter` allows you to use `useRouter` hook with class component.
  *
@@ -66,12 +79,12 @@ export function withDeno<T>(callback: () => (T | Promise<T>), revalidate?: numbe
  * }
  * ```
  *
- * @param {Function} factory - load factory.
+ * @param {Function} factory - dynamic loading factory.
  */
 export function dynamic<T extends ComponentType<any>>(
   factory: () => Promise<{ default: T }>
-): ComponentType<ComponentPropsWithRef<T> & { fallback?: ReactNode }> {
-  const DynamicComponent = ({ fallback, ...props }: ComponentPropsWithRef<T> & { fallback?: ReactNode }) => {
+): ComponentType<ReactManagedProps<T, ComponentPropsWithRef<T>> & { fallback?: ReactNode }> {
+  const DynamicComponent = ({ fallback, ...props }: ReactManagedProps<T, ComponentPropsWithRef<T>> & { fallback?: ReactNode }) => {
     const [mod, setMod] = useState<{ default: T } | null>(null)
 
     useEffect(() => {