Fixes 0.16.0 issues (#2472)

waspc/data/Generator/templates/sdk/wasp/server/operations/wrappers.ts

@@ -1,5 +1,5 @@
 {{={= =}=}}
-import { IfAny, _Awaited, _ReturnType } from '../../universal/types'
+import { IfAny, _Awaited, _ReturnType, _Parameters } from '../../universal/types'
 
 {=# isAuthEnabled =}
 import { type AuthUser } from 'wasp/auth'
@@ -239,4 +239,4 @@ type GenericUnauthenticatedOperationDefinition = UnauthenticatedOperationDefinit
  * @template OperationDefinition The type of the operation's definition.
  */
 type EntityMapFor<OperationDefinition extends GenericUnauthenticatedOperationDefinition> =
-  Parameters<OperationDefinition>[1]["entities"]
+  _Parameters<OperationDefinition>[1]["entities"]

waspc/data/Generator/templates/sdk/wasp/universal/types.ts

@@ -37,3 +37,15 @@ export type Tail<T extends [unknown, ...unknown[]]> = T extends [unknown, ...inf
 
 // Source: https://stackoverflow.com/a/55541672
 export type IfAny<Value, Then, Else> = 0 extends (1 & Value) ? Then : Else;
+
+// If users use JS to define their operations and destructure object arguments,
+// Wasp's TS helper types can't infer correct types due to this TS bug:
+// https://github.com/microsoft/TypeScript/issues/52768 
+// The bug breaks the built-in `Parameters` helper, so we introduce a custom version
+// that works with Wasp's TS helper types like `EntityMapFor`.
+export type _Parameters<T extends (...args: any) => any> = T extends (
+  firstParam: infer FirstParam,
+  ...rest: infer Rest
+) => any
+  ? [FirstParam, ...Rest]
+  : Parameters<T>;