feat(types): cheaper WithRequired (#4922)

* feat(types): cheaper `WithRequired`

* fix(types): intersect with `{}` (`NonNullable`-style) instead of `unknown` in `WithRequired`

---------

Co-authored-by: Dominik Dorfmeister <[email protected]>

Author: Andarist

packages/query-core/src/types.ts

@@ -263,8 +263,8 @@ export interface QueryObserverOptions<
   _optimisticResults?: 'optimistic' | 'isRestoring'
 }
 
-export type WithRequired<T, K extends keyof T> = Omit<T, K> &
-  Required<Pick<T, K>>
+export type WithRequired<T, K extends keyof T> = T & { [_ in K]: {} }
+
 export type DefaultedQueryObserverOptions<
   TQueryFnData = unknown,
   TError = unknown,