Use Show from effector to enforce better types in IDE

Author: AlexandrHoroshih

public-types/reflect.d.ts

@@ -1,5 +1,5 @@
 /* eslint-disable @typescript-eslint/consistent-type-definitions */
-import type { EventCallable, Store } from 'effector';
+import type { EventCallable, Show, Store } from 'effector';
 import type { useUnit } from 'effector-react';
 import type { ComponentType, FC, PropsWithChildren, ReactHTML } from 'react';
 
@@ -37,12 +37,11 @@ type BindFromProps<Props> = {
  * Props that are "taken" by Bind object are made **optional** in the final type,
  * so it is possible to owerrite them in the component usage anyway
  */
-type FinalProps<Props, Bind extends BindFromProps<Props>> = Omit<
-  Props,
-  keyof Bind
-> & {
-  [K in Extract<keyof Bind, keyof Props>]?: Props[K];
-};
+type FinalProps<Props, Bind extends BindFromProps<Props>> = Show<
+  Omit<Props, keyof Bind> & {
+    [K in Extract<keyof Bind, keyof Props>]?: Props[K];
+  }
+>;
 
 // relfect types
 /**